Damien Imbs

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 23

Top Venues

CoRR

Theor. Comput. Sci.

SIROCCO

PODC

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Damien Imbs, Michel Raynal, Gadi Taubenfeld
Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms. SIROCCO (2022)
Damien Imbs, Michel Raynal, Gadi Taubenfeld
Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms. CoRR (2022)
Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects. Theor. Comput. Sci. 886 (2021)
Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
Leader-based de-anonymization of an anonymous read/write memory. Theor. Comput. Sci. 836 (2020)
Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
From Bezout's Identity to Space-Optimal Election in Anonymous Memory Systems. PODC (2020)
Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. PODC (2019)
Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
Anonymous Read/Write Memory: Leader Election and De-anonymization. SIROCCO (2019)
Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
Mutex-based Desanonymization of an Anonymous Read/Write Memory. CoRR (2019)
Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld
Mutex-Based De-anonymization of an Anonymous Read/Write Memory. NETYS (2019)
Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. ICDCN (2018)
Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. CoRR (2018)
Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. CoRR (2017)
Damien Imbs, Petr Kuznetsov, Thibault Rieutord
Progress-Space Tradeoffs in Single-Writer Memory Implementations. OPODIS (2017)
Damien Imbs, Petr Kuznetsov, Thibault Rieutord
Progress-Space Tradeoffs in Single-Writer Memory Implementations. CoRR (2017)
Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version). CoRR (2017)
Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
Which Broadcast Abstraction Captures k-Set Agreement?. DISC (2017)
Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
Which Broadcast Abstraction Captures $k$-Set Agreement? CoRR (2017)
Dmitry Feichtner-Kozlov, Damien Imbs
Topological Methods in Distributed Computing (Dagstuhl Seminar 16282). Dagstuhl Reports 6 (7) (2016)
Zohir Bouzid, Damien Imbs, Michel Raynal
A necessary condition for Byzantine k-set agreement. Inf. Process. Lett. 116 (12) (2016)
Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal
Generalized Symmetry Breaking Tasks and Nondeterminism in Concurrent Objects. SIAM J. Comput. 45 (2) (2016)
Damien Imbs, Michel Raynal
-Resilience for Efficiency in Asynchronous Byzantine Reliable Broadcast. Parallel Process. Lett. 26 (4) (2016)
Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer
Read/write shared memory abstraction on top of asynchronous Byzantine message-passing systems. J. Parallel Distributed Comput. (2016)
Damien Imbs, Michel Raynal, Julien Stainer
Are Byzantine Failures Really Different from Crash Failures? DISC (2016)
Damien Imbs
The Synchronization Power of Atomic Bitwise Operations. OPODIS (2015)
Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal
Failure detectors in homonymous distributed systems (with an application to consensus). J. Parallel Distributed Comput. 83 (2015)
Damien Imbs, Michel Raynal
Simple and Efficient Reliable Broadcast in the Presence of Byzantine Processes. CoRR (2015)
Damien Imbs, Sergio Rajsbaum, Adrián Valle
Untangling Partial Agreement: Iterated x-consensus Simulations. SSS (2015)
Damien Imbs, Michel Raynal, Julien Stainer
From Byzantine Failures to Crash Failures in Message-Passing Systems: a BG Simulation-based approach. CoRR (2015)
Zohir Bouzid, Damien Imbs, Michel Raynal
A Necessary Condition for Byzantine $k$-Set Agreement. CoRR (2015)
Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer
Reliable Shared Memory Abstraction on Top of Asynchronous Byzantine Message-Passing Systems. SIROCCO (2014)
Damien Imbs, Michel Raynal
The weakest failure detector to implement a register in asynchronous systems with hybrid communication. Theor. Comput. Sci. 512 (2013)
Tyler Crain, Damien Imbs, Michel Raynal
Towards a universal construction for transaction-based multiprocess programs. Theor. Comput. Sci. 496 (2013)
Damien Imbs, Michel Raynal
Help when needed, but no more: Efficient read/write partial snapshot. J. Parallel Distributed Comput. 72 (1) (2012)
Tyler Crain, Damien Imbs, Michel Raynal
Towards a Universal Construction for Transaction-Based Multiprocess Programs. ICDCN (2012)
Damien Imbs, Michel Raynal
Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations). Theor. Comput. Sci. 444 (2012)
Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal
Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks. LATIN (2012)
Damien Imbs, Michel Raynal
Trying to Unify the LL/SC Synchronization Primitive and the Notion of a Timed Register. AINA (2012)
Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal
Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus). ICDCS (2012)
Damien Imbs, Michel Raynal
A Simple Snapshot Algorithm for Multicore Systems. LADC (2011)
Damien Imbs, Michel Raynal
Software transactional memories: an approach for multicore programming. J. Supercomput. 57 (2) (2011)
Damien Imbs, Sergio Rajsbaum, Michel Raynal
The Universe of Symmetry Breaking Tasks. SIROCCO (2011)
Tyler Crain, Damien Imbs, Michel Raynal
Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. ICA3PP (1) (2011)
Damien Imbs, Sergio Rajsbaum, Michel Raynal
The universe of symmetry breaking tasks. PODC (2011)
Damien Imbs, Michel Raynal
-wait-freedom. Concurr. Comput. Pract. Exp. 23 (17) (2011)
Damien Imbs, Michel Raynal
The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication. SSS (2011)
Tyler Crain, Damien Imbs, Michel Raynal
Brief announcement: read invisibility, virtual world consistency and permissiveness are compatible. SPAA (2011)
Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal
Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus) CoRR (2011)
Damien Imbs, Michel Raynal
-Wait-Freedom Progress Condition. Euro-Par (1) (2010)
Damien Imbs, Michel Raynal
On Adaptive Renaming under Eventually Limited Contention. SSS (2010)
Damien Imbs, Michel Raynal
The multiplicative power of consensus numbers. PODC (2010)
Damien Imbs, Michel Raynal, Gadi Taubenfeld
On asymmetric progress conditions. PODC (2010)
Damien Imbs, Michel Raynal
Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. ICDCN (2009)
Damien Imbs, Michel Raynal
Help When Needed, But No More: Efficient Read/Write Partial Snapshot. DISC (2009)
Damien Imbs, José Ramón González de Mendívil, Michel Raynal
Brief announcement: virtual world consistency: a new condition for STM systems. PODC (2009)
Damien Imbs, Michel Raynal
Software Transactional Memories: An Approach for Multicore Programming. PaCT (2009)
Damien Imbs, Michel Raynal
A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition. SIROCCO (2009)
Damien Imbs, Michel Raynal
Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. SSS (2009)
Damien Imbs, Michel Raynal
A note on atomicity: Boosting Test&Set to solve consensus. Inf. Process. Lett. 109 (12) (2009)
Damien Imbs, Michel Raynal
A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. OPODIS (2008)

Damien Imbs.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Damien Imbs