Xuyang Li
Contact: li5274 # purdue dot edu
Xuyang Li is a second-year PhD student advised by Prof. Jingbo Wang at Purdue University. In 2024, he graduated with his master’s degree from Nanjing University, under the supervision of Prof. Xinyu Feng and Prof. Hongjin Liang.
He works on practical formal methods and software engineering. His past research experience involves compiler verification, polyhedral compilation, and weak memory models. He now works on scalable and incremental probabilistic Datalog with Souffle and ProbLog for program analysis. He is also interested in what vibe theorem proving could bring to the software community.
Get in touch!
Announcements
| Jul 22, 2026 | Our paper Conflict Extraction in Probabilistic Datalog Analyses has been accepted to ASE 2026 and is to appear. |
|---|---|
| Jul 22, 2026 | Our papers Incremental Inference for Probabilistic Datalog and PSoufflé: Scaling Exact Probabilistic Logic Inference for Program Analysis have been accepted to CAV 2026 and FMCAD 2026, respectively. |
| Jul 22, 2026 | I am currently an Applied Scientist Intern at Amazon Annapurna Labs, where I am designing an agentic compiler-testing system for ML compilers. |