ASAP – As Scalable As Possible

Selected publications

Publications list

Transaction and Journal

• Damien Imbs, Michel Raynal. Help when needed, but no more: Efficient read/write partial snapshot.Journal of Parallel and Distributed Computing, Elsevier, 2012, 72 (1), pp.1-12.

• Damien Imbs, Michel Raynal. Software transactional memories: an approach for multicore programming.Journal of Supercomputing, Springer Verlag, 2011, 57 (2), pp.203-215.

• Damien Imbs, Michel Raynal. A liveness condition for concurrent objects: x-wait-freedom.Concurrency and Computation: Practice and Experience, Wiley, 2011, 23 (17), pp.2154-2166.

• Damien Imbs, Michel Raynal. A note on atomicity: boosting Test&Set to solve Consensus.Information Processing Letters, Elsevier, 2009, ⟨10.1016/j.ipl.2009.02.004⟩.

Conferences

• Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Which Broadcast Abstraction Captures k-Set Agreement?. 31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. pp.1-16, ⟨10.4230/LIPIcs.DISC.2017.27⟩.

• Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer. Reliable Shared Memory Abstraction on Top of Asynchronous Byzantine Message-Passing Systems. Structural Information and Communication Complexity, 2014, Hida Takayama, Japan. pp.37-53, ⟨10.1007/978-3-319-09620-9_5⟩.

• Tyler Crain, Damien Imbs, Michel Raynal. Towards a universal construction for transaction-based multiprocess programs. 13th International Conference on Distributed Computing and Networking (ICDCN'12), 2012, Hong Kong, Hong Kong SAR China.

• Tyler Crain, Damien Imbs, Michel Raynal. Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. 11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'11), 2011, Melbourne, Australia. pp.244-257.

• Damien Imbs, Sergio Rajsbaum, Michel Raynal. The Universe of Symmetry Breaking Tasks. 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO'11), 2011, Gdansk, Poland. pp.66-77.

• Damien Imbs, Michel Raynal. The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication. Proc. 13th Int'l Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'11), 2011, Grenoble, France. pp.268-282.

• Damien Imbs, Michel Raynal. A Simple Snapshot Algorithm for Multicore Systems. 5th Latin-American Symposium on Dependable Computing (LADC'11), 2011, São José dos Campos, Brazil. pp.17-24.

• Damien Imbs, Michel Raynal, Gadi Taubenfeld. On Asymmetric Progress Conditions. 29th ACM Symposium on Principles of Distributed Computing (PODC'10), Jul 2010, Zurich, Switzerland. pp.55-64.

• Damien Imbs, Michel Raynal. The Multiplicative Power of Consensus Numbers.. 29th ACM Symposium on Principles of Distributed Computing (PODC'10), Jul 2010, Zurich, Switzerland. pp.26-35.

• Damien Imbs, Michel Raynal. The x-Wait-freedom Progress Condition. Proc. 16th Int'l European Parallel Computing Conference (EUROPAR'10), 2010, Ischia - Naples, Italy. pp.584-595.

• Damien Imbs, Michel Raynal. On Adaptive Renaming under Eventually Limited Contention. Proc. 12th Int'l Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'10), 2010, New York, United States. pp.377-387.

• Damien Imbs, Michel Raynal. Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, lyon, France. ⟨10.1007/978-3-642-05118-0_26⟩.

• Damien Imbs, Michel Raynal. Help when needed, but no more: Efficient Read/Write Partial Snapshot. 23rd International Symposium on Distributed Computing (DISC'09), Sep 2009, Elche, Spain. ⟨10.1007/978-3-642-04355-0_16⟩.

• Damien Imbs, Michel Raynal. Software Transactional Memories: an Approach for Multicore Programming. 10th International Conference on Parallel Computing Technologies (PaCT'09), Aug 2009, Novosibirsk, Russia. ⟨10.1007/978-3-642-03275-2_4⟩.

• Damien Imbs, Michel Raynal. A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition. 16th Colloquium on Structural Information and Communication Complexity (SIROCCO'09), May 2009, Piran, Slovenia.

• Damien Imbs, Michel Raynal. Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. International Conference on Distributed Computing and Networking (ICDCN'09), Jan 2009, Hyderabad, India. ⟨10.1007/978-3-540-92295-7_11⟩.

Technical Reports

• Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits.[Research Report] LIF, Université Aix-Marseille; LINA-University of Nantes; IMDEA Software Institute; Institut Universitaire de France; IRISA, Université de Rennes. 2017.

• Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version).[Research Report] IRISA, Inria Rennes; LS2N-University of Nantes; Technion - Israel Institute of Technology. 2017.

• Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer. Reliable Shared Memory Abstractions on Top of Asynchronous t-Resilient Byzantine Message-passing Systems.[Research Report] PI-2018, 2014.

• Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal. Enriching the reduction map of sub-consensus tasks.[Research Report] PI-1976, 2011, pp.14.

• Damien Imbs, Michel Raynal. The weakest failure detector to implement a register in asynchronous systems with hybrid communication.[Research Report] PI-1972, 2011, pp.11.

• Tyler Crain, Damien Imbs, Michel Raynal. Towards a universal construction for transaction-based multiprocess programs.[Research Report] PI-1971, 2011, pp.16.

• Damien Imbs, Sergio Rajsbaum, Michel Raynal. The Universe of Symmetry Breaking Tasks.[Research Report] PI-1965, 2011, pp.16.

• Tyler Crain, Damien Imbs, Michel Raynal. Read invisibility, virtual world consistency and permissiveness are compatible.[Research Report] PI-1958, 2010, pp.21.

• Damien Imbs, Michel Raynal. A Simple Snapshot Algorithm for Multicore Systems.[Research Report] PI 1955, 2010.

• Damien Imbs, Michel Raynal, Gadi Taubenfeld. On Asymmetric Progress Conditions.[Research Report] PI-1952, 2010, pp.15.

• Damien Imbs, Michel Raynal. The Multiplicative Power of Consensus Numbers.[Research Report] PI 1949, 2010, pp.17.

• Damien Imbs, Michel Raynal. The x-Wait-freedom Progress Condition.[Research Report] PI 1944, 2010, pp.11.

• Damien Imbs, Michel Raynal. Visiting Gafni's Reduction Land: from the BG Simulation to the Extended BG Simulation.[Research Report] PI 1931, 2009, pp.12.

• Damien Imbs, Michel Raynal. A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition.[Research Report] PI 1923, 2009, pp.23.

• Damien Imbs, Michel Raynal. Help when needed, but no more: Efficient Read/Write Partial Snapshot.[Research Report] PI 1907, 2008, pp.26.

• Damien Imbs, Michel Raynal. Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort.[Research Report] PI 1894, 2008, pp.20.

• Damien Imbs, Michel Raynal. A Lock-based Protocol for Software Transactional Memory.[Research Report] PI 1893, 2008, pp.26.

• Damien Imbs, José Ramón González de Mendivil Moreno, Michel Raynal. On the Consistency Conditions of Transactional Memories.[Research Report] PI 1917, 2008, pp.23.