李 誠

電 話：(0551) 63603412

Email：chengli7@ustc.edu.cn

個人主頁：http://staff.ustc.edu.cn/~chengli7


主要研究方向： 大規模、實時、高可用分布式係統 (Large-scale, Real-time and Highly available Distributed systems)


李誠博士 (英文名 Cheng Li)，男，出生於1987年6月，現為188bet亚洲体育博彩及真人 副教授。2009年獲得南開大學計算機科學與技術學士學位，2016年獲得德國馬普學會軟件係統所 (MPI-SWS)/薩爾大學(UdS)聯合培養博士學位。曾任美國甲骨文公司瑞士蘇黎世實驗室 (Oracle Labs Swiss) 高級技術研究員，葡萄牙計算機係統工程研究所 (INESC-ID, Portugal) 副研究員。李誠研究員一直從事分布式計算、一致性模型、係統性能優化、容災容錯等方麵的基礎理論和係統構建的研究工作。其成果發表於包括OSDI，USENIX ATC，EuroSys等係統領域的知名國際會議上。曾擔任SOSP Poster Session共同主席 (2017)，國際會議APSys程序委員會委員 (2017)，並參加CCF A類期刊TOS、TON以及其他一些知名國際會議ICAC、DSN等的論文審稿工作。


代表性論著：

  1. Building Fast and Consistent (Geo-)Replicated Systems: from Principles to Practice. PhD Thesis. MPI-SWS/UdS, 2016.

  2. Geo-Replication: Fast If Possible, Consistent If Necessary. 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, In Bulletin of the Technical Committee on Data Engineering. IEEE Computer Society. 2016. （equal contribution）

  3. Minimizing Coordination in Replicated Systems. Cheng Li, João Leitão, Allen Clement, Nuno Preguiça, and Rodrigo Rodrigues. In Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC 2015, collocated with EuroSys), Bordeaux, France, 2015.

  4. Visigoth Fault Tolerance. Daniel Porto, João Leitão, Cheng Li, Allen Clement, Aniket Kate, Flavio Junqueira, and Rodrigo Rodrigues. In Proceedings of the 10th European Conference on Computer Systems (EuroSys 2015), Bordeaux, France, 2015.

  5. Lower Bound and Correctness Proofs for Consensus in the Visigoth Model. Daniel Porto, João Leitão, Cheng Li, Allen Clement, Aniket Kate, Flavio Junqueira, and Rodrigo Rodrigues. Technical Report, Nova University of Lisbon, 2015.

  6. Automating the Choice of Consistency Levels in Replicated Systems. 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

  7. Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary. 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

  8. Finding Complex Concurrency Bugs in Large Multi-Threaded Applications. Pedro Fonseca, Cheng Li, and Rodrigo Rodrigues. In Proceedings of the 6th European Professional Society on Computer Systems (EuroSys 2011), Salzburg, Austria

  9. A study of the Internal and External Effects of Concurrency Bugs. 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


Baidu
map