ASAP – As Scalable As Possible

Short biography

Achour Mostefaoui is currently Assistant Professor at the Computer Science Department of the University of Rennes, France. He received his Engineer Degree in Computer Science in 1990 from the University of Algiers, and a PhD in Computer Science in 1994 from the University of Rennes, France. Moreover, Achour Mostefaoui headed those last years the computer science Engineer Degree of the University of Rennes.

Research interests

His research interests include synchronization, fault-tolerance and scalability in distributed systems, group communication, data consistency and distributed checkpointing.

Selected publications

Publications list

Transactions and Journals: 13	Conferences: 26	Activity Reports: 15

Transaction and Journal

• Brice Nédelec, Julian Tanke, Pascal Molli, Achour Mostefaoui, Davide Frey. An Adaptive Peer-Sampling Protocol for Building Networks of Browsers.World Wide Web, Springer Verlag, In press, 21 (3), pp.629-661. ⟨10.1007/s11280-017-0478-5⟩.

• Achour Mostefaoui, Michel Raynal. Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with t .Acta Informatica, Springer Verlag, 2017, 54 (5), pp.501 - 520. ⟨10.1007/s00236-016-0269-y⟩.

• Achour Mostefaoui, Matoula Petrolia, Michel Raynal, Claude Jard. Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems.Theory of Computing Systems, Springer Verlag, 2017, 60 (4), pp.677 - 694. ⟨10.1007/s00224-016-9699-8⟩.

• Achour Mostéfaoui, Michel Raynal. Intrusion-Tolerant Broadcast and Agreement Abstractions in the Presence of Byzantine Processes.IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2016, 27 (4), pp.1-24. ⟨10.1109/TPDS.2015.2427797⟩.

• Achour Mostéfaoui, Hamouma Moumen, Michel Raynal. Signature-Free Asynchronous Binary Byzantine Consensus with t$.Journal of the ACM (JACM), Association for Computing Machinery, 2015, 62, pp.1000-1020. ⟨10.1145/2785953⟩.

• Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound.Theoretical Computer Science, Elsevier, 2010, 411 (1), pp.58-69. ⟨10.1016/j.tcs.2009.09.002⟩.

• Achour Mostefaoui, Michel Raynal, Gilles Trédan. On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System.IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2009, 20 (6), pp.778-787.

• Eli Gafni, Achour Mostefaoui, Michel Raynal, Corentin Travers. From adaptive renaming to set agreement.Theoretical Computer Science, Elsevier, 2009, 410 (14), pp.1328-1335.

• Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. On the computability power and the robustness of set agreement-oriented failure detector classes.Distributed Computing, Springer Verlag, 2008, 21 (3), pp.201-222.

• Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement.SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2008, 38 (4), pp.1574-1601.

• Roy Friedman, Achour Mostefaoui, Michel Raynal. On the Respective Power of *P and *S to Solve One-Shot Agreement Problems.IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2007, 18 (5), pp.589-597.

• Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation.Journal of Parallel and Distributed Computing, Elsevier, 2007, 67 (1), pp.125-129.

• Achour Mostefaoui, Roy Friedman, Michel Raynal, Sergio Rajsbaum. Asynchronous Agreement and Its Relation with Error-Correcting Codes.IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2007, 56 (7), pp.865-875.

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⟩.

• Davide Frey, Achour Mostefaoui, Matthieu Perrin, Pierre-Louis Roman, François Taïani. Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systems. Proceedings of the 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS 2016), Sep 2016, Budapest, Hungary. pp.197-206, ⟨10.1109/SRDS.2016.032⟩.

• Achour Mostefaoui, Michel Raynal. Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. The 2016 ACM Symposium on Principles of Distributed Computing (PODC'16), Jul 2016, Chicago, United States. pp.381-389.

• Achour Mostefaoui, Michel Raynal. Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems. The 4th International Conference on Networked Systems, May 2016, Marrakech, Morocco. pp.250-265.

• Achour Mostefaoui, Hamouma Moumen, Michel Raynal. Modular randomized byzantine k-set agreement in asynchronous message-passing systems. The 17th International Conference on Distributed Computing and Networking (ICDCN'16), Jan 2016, Singapore, Singapore. pp.1-10.

• Zohir Bouzid, Achour Mostéfaoui, Michel Raynal. Minimal Synchrony for Byzantine Consensus. Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC 2015), Jul 2015, Donostia-San Sebastián, Spain. pp.461-470, ⟨10.1145/2767386.2767418⟩.

• Achour Mostéfaoui, Michel Raynal. Asynchronous Byzantine Systems: From Multivalued to Binary Consensus with t . 22nd International Colloquium on Structural Information & Communication Complexity (SIROCCO'15), Jul 2015, Montserrat, Spain.

• Achour Mostefaoui, Moumen Hamouna, Michel Raynal. Signature-Free Asynchronous Byzantine Consensus with $t . ACM PODC, Jul 2014, Paris, France. pp.2-9.

• Achour Mostefaoui, Michel Raynal, Julien Stainer. Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems. 11th IEEE International Symposium on Network Computing and Applications (NCA 2012), Aug 2012, Cambridge, United States. ⟨10.1109/NCA.2012.19⟩.

• Achour Mostefaoui, Michel Raynal, Julien Stainer. Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems. 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.341-355.

• Achour Mostefaoui, Michel Raynal. Looking for Efficient Implementations of Concurrent Objects. 11th International Conference on Parallel Computing Technologies (PaCT'11), Sep 2011, Kazan, Russia. pp.74-87.

• Olivier Baldellon, Achour Mostefaoui, Michel Raynal. A Symmetric Synchrony Condition for Solving Byzantine Consensus. 12th International Conference on Distributed Computing and Networking (ICDCN 2011), Jan 2011, Bangalore, India. pp.215-226.

• Olivier Baldellon, Achour Mostefaoui, Michel Raynal. A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks. 12th International Conference on Distributed Computing and Networking (ICDCN'11), Jan 2011, Bangalore, India. pp.215-226.

• Achour Mostefaoui, Michel Raynal. Signature-Free Broadcast-Based Intrusion Tolerance. 14th International Conference On Principles Of Distributed Systems (OPODIS 2010), Dec 2010, Tozeur, Tunisia. pp.143-159.

• Marin Bertier, Achour Mostefaoui, Gilles Tredan. Low-Cost Secret-Sharing in Sensor Networks. 12th IEEE International High Assurance Systems Engineering Symposium (HASE 2010), IEEE, Nov 2010, San Jose, CA, United States. pp.1-9.

• Hamouma Moumen, Achour Mostefaoui. Time-Free Authenticated Byzantine Consensus. 10th IEEE International Symposium on Network Computing and Applications (NCA'11), IEEE, Jul 2010, Cambridge, MA, United States. pp.140-146.

• Achour Mostefaoui. What Agreement Problems Owe Michel. Distributed Computing, 23rd International Symposium, DISC 2009, Sep 2009, Elche, Spain. pp.5.

• Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana. Large-scale networked systems: from anarchy to geometric self-structuring. 10th International Conference on Distributed Computing and Networking (ICDCN), Jan 2009, Hyderabad, India. pp.: 25-36.

• Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana. (BA) From Anarchy to Geometric Structuring: the Power of Virtual Coordinates. Proceedings of ACM Sigact-Sigops Symposium on Principles of Distributed Computing (PODC), Aug 2008, Toronto, Canada.

• Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing Power vs. Efficiency in Synchronous Set Agreement. 9th International Conference on Distributed Computing and Networking, Jan 2008, Kolkata, India. pp.99-111.

• Hamouma Moumen, Achour Mostefaoui, Gilles Trédan. Byzantine Consensus with Few Synchronous Links. 11th International Conference On Principles Of Distributed Systems, Dec 2007, Guadeloupe, French West Indies, France. pp.76-89.

• Achour Mostefaoui. Towards a Computing Model for Open Distributed Systems. Parallel Computing Technologies, 9th International Conference, Sep 2007, Pereslavl-Zalessky, Russia. pp.74-79.

• Achour Mostefaoui, Gilles Trédan. Towards the minimal synchrony for byzantine consensus. 26th Annual ACM Symposium on Principles of Distributed Computing, Aug 2007, Portland, United States. pp.314-315.

• Achour Mostefaoui, Michel Raynal, Corentin Travers. From Renaming to Set Agreement. 14th International Colloquium on Structural Information and Communication Complexity, Jun 2007, Castiglioncello, Italy. pp.66-80.

• Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Bruno Sericola. Persistance de noyau dans les systèmes dynamiques à grande échelle. 9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.59-62.

• Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Bruno Sericola. Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. Proceedings of the Workshop on Reliability in Decentralized Distributed Systems, Nov 2006, Montpellier, France. pp.1470--1479.

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.

• Davide Frey, Achour Mostefaoui, Matthieu Perrin, Anne-Marie Kermarrec, Christopher Maddock, Andreas Mauthe, Pierre-Louis Roman, François Taïani. D.1.3 – Protocols for emergent localities.[Technical Report] D1.3, IRISA; LINA-University of Nantes; Inria Rennes Bretagne Atlantique; Lancaster University. 2016.

• Achour Mostefaoui, Michel Raynal. Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems.[Research Report] IRISA. 2016, pp.14.

• Davide Frey, Roy Friedman, Achour Mostefaoui, Matthieu Perrin, Michel Raynal, François Taïani. D.1.2 – Modular quasi-causal data structures.[Research Report] D1.2, LINA-University of Nantes; IRISA. 2015.

• Brice Nédelec, Julian Tanke, Davide Frey, Pascal Molli, Achour Mostefaoui. Spray: an Adaptive Random Peer Sampling Protocol.[Technical Report] LINA-University of Nantes; INRIA Rennes - Bretagne Atlantique. 2015.

• Davide Frey, Achour Mostefaoui, Matthieu Perrin, François Taïani. D.1.1 – Survey on Weak Consistency Approaches for Large-Scale Systems.[Technical Report] D1.1, LINA-University of Nantes; IRISA. 2015.

• Achour Mostefaoui, Michel Raynal, Julien Stainer. Chasing the Weakest Failure Detector for k-Set Agreement in Message-passing Systems.[Research Report] PI-1981, 2011, pp.15.

• Achour Mostefaoui, Michel Raynal, Julien Stainer. Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems.[Research Report] PI-1973, 2011, pp.13.

• Achour Mostefaoui, Michel Raynal. Looking for Efficient Implementations of Concurrent Objects.[Research Report] PI-1969, 2011, pp.10.

• Olivier Baldellon, Achour Mostefaoui, Michel Raynal. A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus.[Research Report] PI 1954, 2010, pp.8.

• Achour Mostefaoui, Michel Raynal. Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value.[Research Report] PI-1953, 2010, pp.15.

• Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement.[Research Report] PI 1897, 2008, pp.30.

• Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing power vs efficiency in synchronous set agreement.[Research Report] PI 1836, 2007, pp.13.

• Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Gilles Trédan, Aline Viana. Large-scale networked systems: from anarchy to geometric self-structuring.[Research Report] PI 1876, 2007, pp.21.