**Dr. Cong Li (李聪)**
Ph.D @ Nanjing University
Visitor @ ETH Zurich
![](images/blog.svg class="titleiconimg") [Blog](https://github.com/connglli/blog-notes) ·  [GitHub](https://github.com/connglli) ·  [Twitter](https://twitter.com/connglli)
![ ](images/photo.jpg width="25%")
Cong Li is a researcher and software engineer of [Ant Group](https://www.antgroup.com).
He obtained his Ph.D degree in the [Institute of Computer Software (ICS)](https://cs.nju.edu.cn/ics) at [Nanjing University (NJU)](https://www.nju.edu.cn), advised by [Prof. Yanyan Jiang](https://cs.nju.edu.cn/ics/people/yanyanjiang/index.html) and [Prof. Chang Xu](https://cs.nju.edu.cn/changxu).
During his Ph.D, he has visited the [Advanced Software Technologies (AST) Lab](https://ast.inf.ethz.ch) at [ETH Zurich (ETH)](https://ethz.ch/en), advised by [Prof. Zhendong Su](https://people.inf.ethz.ch/suz).
His research interests broadly span programming languages and compilers, software engineering, and operating system, especially compiler and language virtual machine testing, program synthesis, and Android app testing.
He is now working on leveraging large language models to facilitate compiler fuzzing such as fuzzing the JIT compilers of modern language virtual machines like JVM (HotSpot, OpenJ9, etc.).
Feel free to drop him an email if you are interested in fuzzing language virtual machines like JVMs and JavaScript engines.
Address: Antfin Metaspace, Hangzhou, China
Email: chifei.lc # antgroup.com
Open Source Contributions
===================================================================
His research has actively contributed to the JVM community and received thanks from HotSpot's and OpenJ9's JIT complier teams.
His work was also [liked](https://mastodon.social/@mreinhold/111137654333720854) by [Mark Reinhold](https://mreinhold.org), the Chief Architect of the Java Platform Group at Oracle.
Specifically, he has found 80+ JIT compiler bugs in four widely-used production JVMs, namely HotSpot, OpenJ9, Graal, and the Android Runtime (ART), where 50+ have been confirmed or fixed.
These bugs are diverse ranging from segmentation faults (SIGSEGV), fatal arithmetic error (SIGFPE), emergency abort (SIGABRT), assertion failures, mis-compilations, to performance issues.
The following lists some selected JIT compiler bugs that he found:
- HotSpot: [JDK-8287223](https://bugs.openjdk.java.net/browse/JDK-8287223), [JDK-8290781](https://bugs.openjdk.java.net/browse/JDK-8290781), [JDK-8293996](https://bugs.openjdk.java.net/browse/JDK-8293996), [JDK-8289043](https://bugs.openjdk.java.net/browse/JDK-8289043), [JDK-8288975](https://bugs.openjdk.java.net/browse/JDK-8288975), etc.
- OpenJ9: [15305](https://github.com/eclipse-openj9/openj9/issues/15305), [15319](https://github.com/eclipse-openj9/openj9/issues/15319), [15335](https://github.com/eclipse-openj9/openj9/issues/15335), [15369](https://github.com/eclipse-openj9/openj9/issues/15369), [15338](https://github.com/eclipse-openj9/openj9/issues/15338), etc.
- ART: [227382489](https://issuetracker.google.com/issues/227382489), [229134124](https://issuetracker.google.com/issues/229134124), [230079540](https://issuetracker.google.com/issues/230079540), [230635320](https://issuetracker.google.com/issues/230635320), etc.
- Graal: [4754](https://github.com/oracle/graal/issues/4754), [6350](https://github.com/oracle/graal/issues/6350), [6351](https://github.com/oracle/graal/issues/6351), etc.
Education
===================================================================
Visitor
: 10.2021 - 10.2022
:
*ETH Zurich*, [Institute for Programming Languages and Systems](https://pls.inf.ethz.ch), [Advanced Software Technologies Lab](https://ast.inf.ethz.ch)
:
Advisor: [Prof. Zhendong Su](https://people.inf.ethz.ch/suz)
Ph.D
: 09.2018 - 06.2023
:
*Nanjing University*, [State Key Lab for Novel Software Technology](https://keysoftlab.nju.edu.cn/main.htm), [Institute of Computer Software](https://cs.nju.edu.cn/ics)
:
Advisors: [Prof. Yanyan Jiang](https://cs.nju.edu.cn/ics/people/yanyanjiang/index.html)
and
[Prof. Chang Xu](https://cs.nju.edu.cn/changxu)
B.Sc
: 09.2014 - 06.2018
:
*Nanjing University*, [Department of Computer Science and Technology](https://cs.nju.edu.cn)
:
Advisors: [Prof. Lili Wei](https://liliweise.github.io)
and
[Prof. Chang Xu](https://cs.nju.edu.cn/changxu)
Work & Interns
===================================================================
Ant Group
: 08.2023 – Present
:
Researcher, Senior Software Engineer
Alibaba
(Intern)
: 07.2017 - 09.2017
:
Software Engineer (HTML5, JavaScript, TypeScript, and JsBridge)
Selected Publications
===================================================================
+ *Fuzzing Compilers with Large Language Models*
Anonymous, *Cong Li*, and other collaborators
 [Under Review](#)
·
 [CCF-A](https://www.ccf.org.cn/Academic_Evaluation/By_category)
·
 [Core-A*](http://portal.core.edu.au/conf-ranks)
+ *Static Analysis in the Era of Large Language Models*
*Cong Li*, and other collaborators
 [Under Review](#)
·
 [CCF-A](https://www.ccf.org.cn/Academic_Evaluation/By_category)
·
 [Core-A*](http://portal.core.edu.au/conf-ranks)
+ *Understanding and Detecting Accessibility Issues for Ageing Users*
Anonymous, *Cong Li*, and other collaborators
 [Under Review](#)
·
 [CCF-A](https://www.ccf.org.cn/Academic_Evaluation/By_category)
·
 [Core-A*](http://portal.core.edu.au/conf-ranks)
+ Best Paper Award *Validating JIT Compilers via Compilation Space Exploration*
*Cong Li*, Yanyan Jiang, Chang Xu, and Zhendong Su
Proceedings of the 2023 ACM Symposium on Operating Systems Principles (SOSP '23)
 [SOSP '23](https://sosp2023.mpi-sws.org)
·
 [CCF-A](https://www.ccf.org.cn/Academic_Evaluation/By_category)
·
 [Core-A*](http://portal.core.edu.au/conf-ranks)
·
 [PDF](pdfs/artemis_sosp23.pdf)
·
 [Supplementary Material](pdfs/artemis_sosp23_supplementary_meterial.pdf)
·
 [Slides](pdfs/artemis_sosp23_slides.pdf)
·
 [Tool: Artemis](https://github.com/test-jitcomp/Artemis)
+ *Cross-Device Record and Replay for Android Apps*
*Cong Li*, Yanyan Jiang, and Chang Xu
Proceedings of the 2022 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '22)
 [ESEC/FSE '22](https://2022.esec-fse.org)
·
 [CCF-A](https://www.ccf.org.cn/Academic_Evaluation/By_category)
·
 [Core-A*](http://portal.core.edu.au/conf-ranks)
·
 [PDF](pdfs/rx_esecfse22.pdf)
·
 [Tool: Rx](https://github.com/connglli/directorx)
·
 [Video](https://youtu.be/xmR-0mwxeKE)
+ *Push-Button Synthesis of Watch Companions for Android Apps*
*Cong Li*, Yanyan Jiang, and Chang Xu
Proceedings of the 2022 Internaltional Conference on Software Engineering (ICSE '22)
 [ICSE '22](https://conf.researchr.org/home/icse-2022)
·
 [CCF-A](https://www.ccf.org.cn/Academic_Evaluation/By_category)
·
 [Core-A*](http://portal.core.edu.au/conf-ranks)
·
 [PDF](pdfs/jigsaw_icse22.pdf)
·
 [Artifact: Jigsaw](https://zenodo.org/record/5850491)
·
 [Video](https://youtu.be/-7YZ3nfk3XY)
[Go to full paper list in chronological order ↗](papers.html target="_blank")
Honors & Awards
===================================================================
- 2023, Best Paper Award, SOSP '2023 (in Chinese: SOSP'23 最佳论文奖)
- 2023, Outstanding Graduate, NJU (in Chinese: 南京大学优秀毕业生)
- 2022, National Scholarship, China (in Chinese: 国家奖学金)
- 2022, Pacemaker to Excellent Postgraduate Student, NJU (in Chinese: 南京大学优秀研究生标兵)
- 2021, Joint Ph.D Student Scholarship, CSC (in Chinese: 国家留学基金委博士研究生联合培养奖学金)
- 2019, The Elite Scholarship First Class, China (in Chinese: 博士研究生英才奖学金, 一等)
- 2018, President Scholarship for Doctoral Students, NJU (in Chinese: 博士研究生校长特别奖学金)
- 2018, Outstanding Graduate, NJU (in Chinese: 南京大学优秀毕业生)
- 2017, HUAWEI Scholarship (in Chinese: 华为奖学金)
Teaching
===================================================================
- Spring 2021, TA, Principles and Techniques of Compilers, NJU
- Spring 2020, TA, Principles and Techniques of Compilers, NJU
Hobbies
===================================================================
On his spare time, he likes reading Japanese and Chinese mangas (and animes).
Specifically, he is a BIG FAN of One Piece, Bleach, and Hunter × Hunter.
He prefers Dragon Ball, Yo Yo Hakusho, Demon Slayer: Kimetsu no Yaiba, Haikyu!!, and many Shonen mangas for Japanese.
He loves The Legend of Qin as for Chinese.
Some Korean ones also fit his tastes like Noblesse and Tower of God.
Recently, he is revising Demon Slayer: Kimetsu no Yaiba.
*******************************************
* *
* .---. . *
* | * o | * *
* | .-. .-. .-. | . *
* | | | | | | | | | | *
* '---' '-' ' ' '-'| '---' ' *
* | | *
* '-' *
* *
*******************************************
----- Updated on: Fri Feb 2 21:52:35 CST 2024 -----