Rachid Guerraoui
EPFL IC IINFCOM DCL
INR 310 (Bâtiment INR)
Station 14
CH-1015 Lausanne
EHE ASSOCIATIONS ETUD-EPFL BSA
Unit: BSA
Biography
Rachid Guerraoui has been affiliated with Ecole des Mines of Paris, the Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories and the Massachusetts Institute of Technology. He has worked in a variety of aspects of distributed computing, including distributed algorithms and distributed programming languages. He is most well known for his work on (e-)Transactions, epidemic information dissemination and indulgent algorithms.
He co-authored a book on Transactional Systems (Hermes) and a book on reliable distributed programming (Springer). He was appointed program chair of ECOOP 1999, ACM Middleware 2001, IEEE SRDS 2002, DISC 2004 and ACM PODC 2010.
His publications are available at http://lpdwww.epfl.ch/rachid/papers/generalPublis.html
Current work
Rachid Guerraoui's current projects include secure distributed storage, transactional shared memory and the computability of distributed algorithms.
His recent research has been sponsored by the European Commission, the Swiss National Science Foundation, LODH, MSR and HP.
Fields of expertise
Distributed algorithms, secure distributed storage, transactional shared memory and distributed programming languages
Publications
MAIN PUBLICATIONS
Infoscience
A. Girault; G. Gössler; R. Guerraoui; J. Hamza; D.-A. Seredinschi : Monotonic Prefix Consistency in Distributed Systems. 2018-05-30. 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Madrid, Spain, June 18-20, 2018. DOI : 10.1007/978-3-319-92612-4_3.
A. Bellet; R. Guerraoui; M. Taziki; M. Tommasi : Personalized and Private Peer-to-Peer Machine Learning. 2018-04-09. AISTATS.
A. Bellet; R. Guerraoui; M. Taziki; M. Tommasi : Personalized and Private Peer-to-Peer Machine Learning. 2018-04-09.
R. Guerraoui; J. Wang : On the Unfairness of Blockchain. 2018. NETYS 2018 , Essaouira, Morocco, May 9, 2018 - May 11, 2018.
K. Antoniadis; P. Blanchard; R. Guerraoui; J. Stainer : The entropy of a distributed computation random number generation from memory interleaving; DISTRIBUTED COMPUTING. 2018. DOI : 10.1007/s00446-017-0311-5.
V. Gramoli; R. Guerraoui; V. Trigonakis : (TMC)-C-2: a software transactional memory for many-cores; Distrib. Comput.. 2018. DOI : 10.1007/s00446-017-0310-6.
L. N. Hoang; R. Guerraoui : Deep Learning Works in Practice. But Does it Work in Theory?. 2018.
E. M. El Mhamdi; R. Guerraoui; S. L. A. Rouault : The Hidden Vulnerability of Distributed Learning in Byzantium. 2018. International Conference on Machine Learning, Stockholm, Sweden, July 10-15, 2018.
N. Cohen; R. Guerraoui; M. I. Zablotchi : The Inherent Cost of Remembering Consistently. 2018. 30th ACM Symposium on Parallelism in Algorithms and Architectures, Vienna, Austria, July 16 - 18, 2018. DOI : 10.1145/3210377.3210400.
T. David; A. Dragojević; R. Guerraoui; M. I. Zablotchi : Log-Free Concurrent Data Structures. 2018. 2018 USENIX Annual Technical Conference, BOSTON, MA, USA, JULY 11–13, 2018.
R. Guerraoui; A.-M. Kermarrec; M. Taziki : The Utility and Privacy Effects of a Click. 2017-08-07. SIGIR, Shinjuku, Tokyo, Japan, August 7-11, 2017.
O. M. Balmau; D. Didona; R. Guerraoui; W. Zwaenepoel; H. Yuan et al. : TRIAD: creating synergies between memory, disk and log in log structured key-value stores. 2017-07-12. USENIX ATC, Santa Clara, CA, USA, July 12-14, 2017.
O. M. Balmau; R. Guerraoui; V. Trigonakis; M. I. Zablotchi : FloDB: Unlocking Memory in Persistent Key-Value Stores. 2017-04-23. EuroSys, Belgrade, Serbia, April 23-26, 2017. DOI : 10.1145/3064176.3064193.
A. Girault; G. Gössler; R. Guerraoui; J. Hamza; D.-A. Seredinschi : Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems. 2017.
G. Chatzopoulos; A. Dragojevic; R. Guerraoui : ESTIMA: Extrapolating ScalabiliTy of In-Memory Applications; ACM Transactions on Parallel Computing. 2017. DOI : 10.1145/3108137.
E. M. El Mhamdi; R. Guerraoui; S. L. A. Rouault : On The Robustness of a Neural Network. 2017. 36th IEEE International Symposium on Reliable Distributed Systems, Hong Kong, September 26-29, 2017.
K. Antoniadis; R. Guerraoui; J. Stainer; V. Trigonakis : Sequential Proximity: Towards Provably Scalable Concurrent Search Algorithms. 2017. Networked Systems: 5th International Conference, Marrakech, Morocco, May 17-19, 2017. p. 405-420. DOI : 10.1007/978-3-319-59647-1_30.
A. Bouajjani; C. Enea; R. Guerraoui; J. Hamza : On verifying causal consistency. 2017. 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), Paris, France, January, 15-21, 2017. p. 626-638. DOI : 10.1145/3009837.3009888.
E. M. El Mhamdi; H. Hendrikx; R. Guerraoui; A. D. O. Maurer : Dynamic Safe Interruptibility for Decentralized Multi-Agent Reinforcement Learning. 2017.
R. Guerraoui; A.-M. Kermarrec; T. Lin; R. Patra : Heterogeneous Recommendations: What You Might Like To Read After Watching Interstellar. 2017. PVLDB, Munich, Germany, August 28 - 31, 2017. p. 1070-1081.
P. F. Blanchard; R. Guerraoui; J. Stainer; M. I. Zablotchi : The Disclosure Power of Shared Objects. 2017. NETYS 2017, Marrakech, Morocco, May 17-19, 2017. DOI : 10.1007/978-3-319-59647-1_17.
G. Damaskinos; R. Guerraoui; R. Patra : Capturing the Moment: Lightweight Similarity Computations. 2017. 2017 IEEE 33rd International Conference on Data Engineering (ICDE), San Diego, CA, USA, 19-22 April 2017. p. 747-758. DOI : 10.1109/ICDE.2017.126.
P. F. Blanchard; E. M. El Mhamdi; R. Guerraoui; J. Stainer : Brief Announcement: Byzantine-Tolerant Machine Learning. 2017. Principles Of Distributed Computing, Washington D.C, USA, July, 2017. DOI : 10.1145/3087801.3087861.
R. Guerraoui; J. Wang : How Fast can a Distributed Transaction Commit?. 2017. the 36th ACM SIGMOD-SIGACT-SIGAI Symposium, Chicago, Illinois, USA, May 14-19, 2017. p. 107-122. DOI : 10.1145/3034786.3034799.
G. Chatzopoulos; R. Guerraoui; T. Harris; V. Trigonakis : Abstracting Multi-Core Topologies with MCTOP. 2017. Twelfth European Conference on Computer Systems (EuroSys '17), Belgrade, Serbia, April 23-26, 2017. p. 544-559. DOI : 10.1145/3064176.3064194.
P. Felber; V. Gramoli; R. Guerraoui : Elastic transactions; Journal Of Parallel And Distributed Computing. 2017. DOI : 10.1016/j.jpdc.2016.10.010.
D. Didona; N. Diegues; A.-M. Kermarrec; R. Guerraoui; R. Neves et al. : ProteusTM: Abstraction Meets Performance in Transactional Memory. 2016-04-02. 21th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Atlanta, GA, April 2–6, 2016. DOI : 10.1145/10.1145/2872362.2872385.
R. Guerraoui; A. D. O. Maurer : Collision-Free Pattern Formation. 2016. OPODIS 2016.
R. Guerraoui; D. Kozhaya; M. Oriol; Y.-A. Pignolet : WHO'S ON BOARD? Probabilistic Membership for Real-Time Distributed Control Systems. 2016. 35th IEEE International Symposium on Reliable Distributed Systems Workshops (SRDSW), Budapest, HUNGARY, SEP 26-29, 2016. p. 167-176. DOI : 10.1109/Srds.2016.27.
D. Dzung; R. Guerraoui; D. Kozhaya; Y.-A. Pignolet : Never Say Never Probabilistic & Temporal Failure Detectors. 2016. 30th IEEE International Parallel and Distributed Processing Symposium (IPDPS), Illinois Inst Technol, Chicago, IL, MAY 23-27, 2016. p. 679-688. DOI : 10.1109/Ipdps.2016.92.
R. Guerraoui; J. Wang : Optimal Fair Computation. 2016. 30th International Symposium on Distributed Computing, DISC 2016, Paris, France, September 27-29, 2016. p. 143-157. DOI : 10.1007/978-3-662-53426-7_11.
R. Guerraoui; M. Pavlovic; D.-A. Seredinschi : Trade-offs in Replicated Systems; IEEE Data Engineering Bulletin. 2016.
R. Guerraoui; E. Le Merrer; R. Patra; B.-D. Tran : Frugal Topology Construction for Stream Aggregation in the Cloud. 2016. 35th Annual IEEE International Conference on Computer Communications, San Francisco, CA, USA.
O. M. Balmau; R. Guerraoui; M. Herlihy; M. I. Zablotchi : Fast and Robust Memory Reclamation for Concurrent Data Structures. 2016. 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA '16), Pacific Grove, California, USA, July 11 - 13, 2016. DOI : 10.1145/2935764.2935790.
R. Guerraoui; D. Kozhaya; Y.-A. Pignolet-Oswald : Right On Time Distributed Shared Memory. 2016. IEEE Real-Time Systems Symposium, Porto, 2016.
R. Guerraoui; A.-M. Kermarrec; M. Pavlovic; D.-A. Seredinschi : Atum: Scalable Group Communication Using Volatile Groups. 2016. 17th International Middleware Conference, Trento, Italy, 12-16 December 2016. p. 1-14. DOI : 10.1145/2988336.2988356.
R. Guerraoui; M. Pavlovic; D.-A. Seredinschi : Incremental Consistency Guarantees for Replicated Objects. 2016. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16), Savannah, GA, USA, November 2–4, 2016. p. 169-184.
J. Antić; G. Chatzopoulos; R. Guerraoui; V. Trigonakis : Locking Made Easy. 2016. 17th ACM/IFIP/USENIX International Middleware Conference (Middleware '16), Trento, Italy, December 12-16, 2016. p. 1-14. DOI : 10.1145/2988336.2988357.
A. Boutet; D. Frey; R. Guerraoui; A. Jegou; A.-M. Kermarrec : Privacy-preserving distributed collaborative filtering; Computing. 2016. DOI : 10.1007/s00607-015-0451-z.
D. Didona; N. Diegues; A.-M. Kermarrec; R. Guerraoui : ProteusTM: Abstraction Meets Performance in Transactional Memory. 2016. 21st International Conference on Architectural Support for Programming Languages and Operating Systems, Atlanta, GA, APR 02-06, 2016. p. 757-771. DOI : 10.1145/2872362.2872385.
T. A. David; R. Guerraoui : Concurrent Search Data Structures Can Be Blocking and Practically Wait-Free. 2016. 28th ACM Symposium on Parallelism in Algorithms and Architectures, Pacific Grove, California, USA, SPAA’16, July 11–13, 2016. p. 337-348. DOI : 10.1145/2935764.2935774.
B. Falsafi; R. Guerraoui; J. Picorel Obando; V. Trigonakis : Unlocking Energy. 2016. 2016 USENIX Annual Technical Conference, Denver, Colorado, USA, June 22-24, 2016. p. 393-406.
E. M. El Mhamdi; R. Guerraoui : When Neurons Fail - Technical Report. 2016.
G. Chatzopoulos; A. Dragojevic; R. Guerraoui : ESTIMA: Extrapolating ScalabiliTy of In-Memory Applications. 2016. 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Barcelona, Spain, March 12-16, 2016. p. 27:1--27:11. DOI : 10.1145/2851141.2851159.
R. Guerraoui; V. Trigonakis : Optimistic Concurrency with OPTIK. 2016. 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16, Barcelona, Spain, 12-16 03 2016. DOI : 10.1145/2851141.2851146.
R. Guerraoui; A. D. O. Maurer : Byzantine Fireflies. 2015. Distributed computing (DISC), Tokyo, Japan, October 7-9, 2015.
V. Bushkov; R. Guerraoui : Safety-Liveness Exclusion in Distributed Computing. 2015. ACM Symposium on Principles of Distributed Computing. DOI : 10.1145/2767386.2767401.
J.-P. Bahsoun; R. Guerraoui; A. Shoker : Making BFT Protocols Really Adaptive. 2015. 2015 IEEE International Parallel and Distributed Processing Symposium (IPDPS), Hyderabad, May 25-29, 2015. p. 904-913. DOI : 10.1109/IPDPS.2015.21.
S. Dubois; R. Guerraoui; P. Kuznetsov; F. Petit; P. Sens : The Weakest Failure Detector for Eventual Consistency. 2015. the 2015 ACM Symposium, Donostia-San Sebastian, Spain, July 21-23, 2015. p. 375-384. DOI : 10.1145/2767386.2767404.
R. Guerraoui; A. Maurer : Byzantine Fireflies. 2015. 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015. p. 47-59. DOI : 10.1007/978-3-662-48653-5_4.
V. Gramoli; R. Guerraoui : Special issue on NETYS selected papers; Computing. 2015. DOI : 10.1007/s00607-015-0466-5.
C. Wang; R. Guerraoui : A Thrifty Universal Construction. 2015. NETYS, Agadir, Morocco.
R. Guerraoui; A.-M. Kermarrec; R. Patra; M. Taziki : D2P: Distance-Based Differential Privacy in Recommenders; VLDB Endowment. 2015. DOI : 10.14778/2757807.2757811.
P.-L. Aublin; R. Guerraoui; N. Knezevic; V. Quema; M. Vukolic : The Next 700 BFT Protocols; ACM Transactions on Computer Systems. 2015. DOI : 10.1145/2658994.
T. A. David; R. Guerraoui; V. Trigonakis : Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures. 2015. Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Istanbul, Turkey, March 14–18, 2015. DOI : 10.1145/2694344.2694359.
T. David; R. Guerraoui; M. Yabandeh : Consensus inside. 2014. the 15th International Middleware Conference, Bordeaux, France, 08-12 December 2014. p. 145-156. DOI : 10.1145/2663165.2663321.
R. Guerraoui; E. Ruppert : A paradox of eventual linearizability in shared memory. 2014. the 2014 ACM symposium, Paris, France, 15-18 07 2014. p. 40-49. DOI : 10.1145/2611462.2611484.
A. Boutet; D. Frey; R. Guerraoui; A. Jégou; A.-M. Kermarrec : Privacy-Preserving Distributed Collaborative Filtering. 2014. Second International Conference, NETYS, Marrakech, Morocco, May 15-17, 2014. p. 169-184. DOI : 10.1007/978-3-319-09581-3_12.
R. Guerraoui; E. Ruppert : Linearizability Is Not Always a Safety Property. 2014. Second International Conference, NETYS, Marrakech, Morocco, May 15-17, 2014. p. 57-69. DOI : 10.1007/978-3-319-09581-3_5.
R. Guerraoui; M. Letia : Disjoint-Access Parallelism Does Not Entail Scalability. 2014. Second International Conference, NETYS, Marrakech, Morocco, May 15-17, 2014. p. 41-56. DOI : 10.1007/978-3-319-09581-3_4.
A. Boutet; D. Frey; R. Guerraoui; A.-M. Kermarrec; R. Patra : HyRec: leveraging browsers for scalable recommenders. 2014. 15th International Middleware Conference, Bordeaux, France, December 8-18, 2014. p. 85-96. DOI : 10.1145/2663165.2663315.
R. Guerraoui; V. Gramoli : Reusable Concurrent Data Types. 2014. 28th European Conference on Object-Oriented Programming (ECOOP), Uppsala, Sweden, July 28 – August 1, 2014. DOI : 10.1007/978-3-662-44202-9_8.
R. Guerraoui; D. Alistarh : Distributed Algorithms; Computing Handbook, Third Edition; CRC Press, 2014. p. 16.
X. Bai; R. Guerraoui; A.-M. Kermarrec : Personalizing Top-k Processing Online in a Peer-to-Peer Social Tagging Network; Acm Transactions On Internet Technology. 2014. DOI : 10.1145/2602572.
D. Alistarh; J. Aspnes; K. Censor-Hillel; S. Gilbert; R. Guerraoui : Tight Bounds for Asynchronous Renaming; Journal of The ACM. 2014. DOI : 10.1145/2597630.
R. Guerraoui; K. Huguenin; A.-M. Kermarrec; M. Monod; S. Prusty et al. : Tracking freeriders in gossip-based content dissemination systems; Computer Networks. 2014. DOI : 10.1016/j.comnet.2014.02.023.
V. Bushkov; D. Dziuma; P. Fatourou; R. Guerraoui : The PCL Theorem. Transactions cannot be Parallel, Consistent and Live.. 2014. 26th ACM Symposium on Parallelism in Algorithms and Architectures, Prague, Czech Republic, June 23 - 25, 2014. DOI : 10.1145/2612669.2612690.
A. Giurgiu; R. Guerraoui; K. Huguenin; A.-M. Kermarrec : Computing in social networks; Information And Computation. 2014. DOI : 10.1016/j.ic.2013.11.001.
V. Gramoli; R. Guerraoui : Democratizing Transactional Programming; Communications Of The Acm. 2014. DOI : 10.1145/2541883.2541900.
R. Banabic; G. Candea; R. Guerraoui : Finding Trojan Message Vulnerabilities in Distributed Systems. 2014. 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Salt Lake City, Utah, USA, March 1-5, 2014. DOI : 10.1145/2541940.2541984.
S. Dubois; R. Guerraoui : Introducing Speculation in Self-Stabilization: An Application to Mutual Exclusion. 2013. p. 290-298. DOI : 10.1145/2484239.2484246.
R. Guerraoui; F. Huc; A.-M. Kermarrec : Highly Dynamic Distributed Computing with Byzantine Failures. 2013. p. 176-183. DOI : 10.1145/2484239.2484263.
N. Braud-Santoni; R. Guerraoui; F. Huc : Fast Byzantine Agreement. 2013. 2013 ACM symposium on Principles of distributed computing, Montreal, Canada, July 22-24, 2013. p. 57-64. DOI : 10.1145/2484239.2484243.
A. Boutet; D. Frey; R. Guerraoui; A. Jegou; A.-M. Kermarrec : WHATSUP: A Decentralized Instant News Recommender. 2013. p. 741-752. DOI : 10.1109/IPDPS.2013.47.
T. David; R. Guerraoui; V. Trigonakis : Everything You Always Wanted to Know about Synchronization but Were Afraid to Ask. 2013. p. 33-48. DOI : 10.1145/2517349.2522714.
Y. Benkaouz; R. Guerraoui; M. Erradi; F. Huc : A Distributed Polling with Probabilistic Privacy. 2013. IEEE 32nd International Symposium on Reliable Distributed Systems, Braga, Portugal, September 30-October 03, 2013. DOI : 10.1109/SRDS.2013.13.
V. Gramoli; R. Guerraoui; M. Letia : Composing Relaxed Transactions. 2013. 27th IEEE International Parallel & Distributed Processing Symposium (IPDPS'13), Boston, Massachusetts USA, May 20-24, 2013. p. 1171-1182.
C. Delporte-Gallet; H. Fauconnier; R. Guerraoui; A.-M. Kermarrec; E. Ruppert et al. : Byzantine Agreement with Homonyms. 2013. 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC). p. 321-340. DOI : 10.1007/s00446-013-0190-3.
C. Georgiou; S. Gilbert; R. Guerraoui; D. R. Kowalski : Asynchronous Gossip; Journal of The ACM. 2013. DOI : 10.1145/2450142.2450147.
D. Alistarh; M. A. Bender; S. Gilbert; R. Guerraoui : How to Allocate Tasks Asynchronously. 2012. 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science (FOCS), New Brunswick, NJ, USA, October 20-23, 2012. p. 331-340. DOI : 10.1109/FOCS.2012.41.
D. Alistarh; R. Guerraoui; P. Kuznetsov; G. Losa : On the cost of composing shared-memory algorithms. 2012. Proceedinbgs of the 24th ACM symposium, Pittsburgh, Pennsylvania, USA, 25-27 06 2012. p. 298. DOI : 10.1145/2312005.2312057.
D. Alistarh; H. Attiya; R. Guerraoui; C. Travers : Early Deciding Synchronous Renaming in O( logf ) Rounds or Less. 2012. 19th International Colloquium, SIROCCO, Reykjavik, Iceland, June 30-July 2, 2012. p. 195-206. DOI : 10.1007/978-3-642-31104-8_17.
J. Barreto; A. Dragojevic; P. Ferreira; R. Filipe; R. Guerraoui : Unifying Thread-Level Speculation and Transactional Memory. 2012. p. 187-207. DOI : 10.1007/978-3-642-35170-9_10.
R. Guerraoui : Special section with selected papers from PODC 2010. 2012. 29th Annual ACM Symposium on Principles of Distributed Computing, PODC, Zurich, Switzerland, July 25-28, 2010. p. 163-163. DOI : 10.1007/s00446-012-0166-8.
R. Guerraoui; V. Kuncak; G. Losa : Abortable Linearizable Modules; Archive of Formal Proofs (AFP). 2012.
V. Gramoli; R. Guerraoui; V. Trigonakis : TM2C: A software transactional memory for many-cores. 2012. EuroSys, Bern, Switzerland, April 10-13, 2012. p. 351-364. DOI : 10.1145/2168836.2168872.
R. Guerraoui; V. Hadzilacos; P. Kuznetsov; S. Toueg : The Weakest Failure Detectors To Solve Quittable Consensus And Nonblocking Atomic Commit; Siam Journal On Computing. 2012. DOI : 10.1137/070698877.
R. Guerraoui; V. Kuncak; G. Losa : Speculative Linearizability; Acm Sigplan Notices. 2012. DOI : 10.1145/2254064.2254072.
D. Alistarh; S. Gilbert; R. Guerraoui; C. Travers : Generating Fast Indulgent Algorithms; Theory Of Computing Systems. 2012. DOI : 10.1007/s00224-012-9407-2.
S. Gambs; R. Guerraoui; H. Harkous; F. Huc; A.-M. Kermarrec : Scalable and Secure Polling in Dynamic Distributed Networks. 2012. 31st IEEE International Symposium on Reliable Distributed Systems, Irvine, California, October 8-11, 2012. DOI : 10.1109/SRDS.2012.63.
V. Bushkov; R. Guerraoui; M. Kapałka : On the liveness of transactional memory. 2012. 31st ACM Symposium on Principles of Distributed Computing, Madeira, Portugal, 16-18 07 2012. p. 9. DOI : 10.1145/2332432.2332435.
D. Alistarh; S. Gilbert; R. Guerraoui; C. Travers : Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement; Algorithmica. 2012. DOI : 10.1007/s00453-011-9581-7.
R. Guerraoui; K. Huguenin; A.-M. Kermarrec; M. Monod; Y. Vigfusson : Decentralized polling with respectable participants; Journal Of Parallel And Distributed Computing. 2012. DOI : 10.1016/j.jpdc.2011.09.003.
H. Attiya; R. Guerraoui; D. Hendler; P. Kuznetsov; M. M. Michael et al. : Laws of order. 2011. 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Austin, USA, January 26-28, 2011. p. 487. DOI : 10.1145/1925844.1926442.
D. Dobre; R. Guerraoui; M. Majuntke; N. Suri; M. Vukolić : The complexity of robust atomic storage. 2011. the 30th annual ACM SIGACT-SIGOPS symposium, San Jose, California, USA, 06-08 06 2011. p. 59. DOI : 10.1145/1993806.1993816.
C. Delporte-Gallet; H. Fauconnier; R. Guerraoui; A.-M. Kermarrec; E. Ruppert et al. : Byzantine agreement with homonyms. 2011. the 30th annual ACM SIGACT-SIGOPS symposium, San Jose, California, USA, 06-08 06 2011. p. 21. DOI : 10.1145/1993806.1993810.
R. Guerraoui; M. Yabandeh : Model Checking a Networked System Without the Network. 2011. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI '11), Boston, Massachusetts, USA, March 30-April 1, 2011.
C. Cachin; R. Guerraoui; L. Rodrigues : Introduction to Reliable and Secure Distributed Programming ; Springer.
P. Attie; R. Guerraoui; P. Kuznetsov; N. Lynch; S. Rajsbaum : The impossibility of boosting distributed service resilience; Information and Computation. 2011. DOI : 10.1016/j.ic.2010.07.005.
C. Delporte-Gallet; H. Fauconnier; R. Guerraoui; A. Tielmann : The disagreement power of an adversary; Distributed Computing. 2011. DOI : 10.1007/s00446-010-0122-4.
Teaching & PhD
Teaching
- Communication Systems,
- Computer Science
PhD Programs
- Doctoral program in computer and communication sciences
PhD Students
Antoniadis Karolos
Damaskinos Georgios
El Mhamdi El Mahdi
Guirguis Arsany Hany Abdelmessih
Monti Matteo
Pavlovic Matej
Rouault Sébastien Louis Alexandre
Seredinschi Dragos-Adrian
Zablotchi Mihail Igor
Banabic Radu ...
Boichat Romain ...
Bushkov Victor ...
Bähni Sébastien ...
Chatzopoulos Georgios ...
David Tudor Alexandru ...
Doudou Assia ...
Dragojevic Aleksandar ...
Dutta Partha ...
Eugster Patrick ...
Handurukande Sidath ...
Kapalka Michal ...
Knezevic Nikola ...
Kouznetsov Petr ...
Kozhaya David ...
Letia Mihai ...
Levy Ron ...
Losa Giuliano ...
Monod Maxime ...
Patra Rhicheek ...
Pochon Bastian ...
Spring Jesper Honig ...
Taziki Mahsa ...
Trigonakis Vasileios ...
Vukolic Marko ...
Wang Jingjing ...
Yabandeh Maysam ...
Damaskinos Georgios
El Mhamdi El Mahdi
Guirguis Arsany Hany Abdelmessih
Monti Matteo
Pavlovic Matej
Rouault Sébastien Louis Alexandre
Seredinschi Dragos-Adrian
Zablotchi Mihail Igor
Past PhD Students
Alistarh Dan ...Banabic Radu ...
Boichat Romain ...
Bushkov Victor ...
Bähni Sébastien ...
Chatzopoulos Georgios ...
David Tudor Alexandru ...
Doudou Assia ...
Dragojevic Aleksandar ...
Dutta Partha ...
Eugster Patrick ...
Handurukande Sidath ...
Kapalka Michal ...
Knezevic Nikola ...
Kouznetsov Petr ...
Kozhaya David ...
Letia Mihai ...
Levy Ron ...
Losa Giuliano ...
Monod Maxime ...
Patra Rhicheek ...
Pochon Bastian ...
Spring Jesper Honig ...
Taziki Mahsa ...
Trigonakis Vasileios ...
Vukolic Marko ...
Wang Jingjing ...
Yabandeh Maysam ...
Courses
Concurrent algorithms
With the advent of multiprocessors, it becomes crucial to master the underlying algorithmics of concurrency. The objective of this course is to study the foundations of concurrent algorithms and in particular the techniques that enable the construction of... 
Section of Communication Systems, 2018-2019, Master semester 3, language : english
Section of Computer Science, 2018-2019, Master semester 1, language : english
Section of Computer Science, 2018-2019, Master semester 3, language : english
Distributed algorithms
Reliable broadcast
Causal Broadcast
Total Order Broadcast
Consensus
Non-Blocking Atomic Commit
Group Membership, V...
Section of Communication Systems, 2018-2019, Master semester 1, language : english
Section of Communication Systems, 2018-2019, Master semester 3, language : english
Section of Computer Science, 2018-2019, Master semester 1, language : english
Section of Computer Science, 2018-2019, Master semester 3, language : english