Cheng Li

Phd Student
Dependable Systems Group
Max Planck Institute for Software Systems
Department of Computer Science
Saarland University


Room 309
Building E1 5, Campus
66123 Saarbruecken,Germany

Email: chengli at mpi-sws dot org
Phone: +49 681 9303-8813
Fax: +49 681 9303-9199








  • Thesis

    • Building Fast and Consistent (Geo)Replicated Systems: from Principles to Practice [pdf]

      Defended on May 30, 2016

  • Conference Papers

    • Geo-Replication: Fast If Possible, Consistent If Necessary[pdf]

      Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sergio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno Preguiça, Rodrigo Rodrigues Marc Shapiro and Viktor Vafeiadis, IEEE Data Engineering Bulletin, Volume 39, Page 81-92. IEEE Computer Society. March 2016.

    • Minimizing Coordination in Replicated Systems[pdf]

      Cheng Li, João Leitão, Allen Clement, Nuno Preguiça and Rodrigo Rodrigues, In Proceedings of the Workshop on on Principles and Practice of Consistency for Distributed Data (PaPoC'15), Bordeaux, France

    • Visigoth Fault Tolerance[pdf][technical report]

      Daniel Porto, João Leitão, Cheng Li, Aniket Kate, Allen Clement, Flavio Junqueira and Rodrigo Rodrigues, In Proceedings of of the European Conference on Computer Systems (EuroSys'15), Bordeaux, France

    • Automating the Choice of Consistency Levels in Replicated Systems[pdf]

      Cheng Li, João Leitão, Allen Clement, Nuno Preguiça, Rodrigo Rodrigues and Viktor Vafeiadis, In Proceedings of the 2014 USENIX Annual Technical Conference (USENIX ATC 2014), Philadelphia, PA, USA

    • Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary[pdf][technical report][poster]

      Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Preguiça, and Rodrigo Rodrigues, In Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2012), Hollywood, CA, USA

    • Finding Complex Concurrency Bugs in Large Multi-Threaded Applications[pdf]

      Pedro Fonseca, Cheng Li, and Rodrigo Rodrigues, In Proceedings of the 6th European Professional Society on Computer Systems (EuroSys 2011), Salzburg, Austria

    • A study of the Internal and External Effects of Concurrency Bugs [pdf]

      Pedro Fonseca, Cheng Li, Vishal Singhal and Rodrigo Rodrigues, In Proceedings of the 40th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010), Chicago, USA

  • Poster

    • VsnMobSim: An Interactive Vehicular Sensor Network Simulator for Proactive Urban Monitoring (Poster) [pdf]

      Cheng Li, Manu Bansal, Uichin Lee, Kang-Won Lee, and Mario Gerla, Annual Conference of International Technology Alliance,(ACITA 2008), Sep. 2008