News Archive

• [Dec 2024] Our paper on Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials (with Qihao Lian) has been accepted to OOPSLA 2025. Cheers!
• [Jun 2024] Our papers on Programmable MCMC with Soundly Composed Guide Programs (with Long Pham, Feras Saad, and Jan Hoffmann) and Semantics Lifting for Syntactic Sugar (with Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, and Zhenjiang Hu) has been conditionally accepted to OOPSLA 2024.
• [Jun 2024] Our paper on Formalizing, Mechanizing, and Verifying Class-based Refinement Types (with Ke Sun, Sheng Chen, Meng Wang, and Dan Hao) has been accepted to ECOOP 2024.
• [Jan 2024] Our article on Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms has been accepted to TOPLAS.
• [Dec 2023] Our paper on Newtonian Program Analysis of Probabilistic Programs (with Tom Reps) has been accepted to OOPSLA 2024.
• [Sep 2023] I will serve on PLDI 2024 Program Committee.
• [July 2023] Our technical report about Newtonian Program Analysis of Probabilistic Programs is available on arXiv.
• [May 2023] I will serve on OOPSLA 2024 Review Committee.
• [May 2023] I will serve on ASE 2023 Program Committee.
• [Sep 2022] Our paper on Probabilistic Resource-Aware Session Types (with Ankush and Jan) has been conditionally accepted to POPL 2023!
• [May 2022] I successfully defended my thesis: Static Analysis of Probabilistic Programs: An Algebraic Approach. Cheers!
• [Sep 2021] I am on the academic job market for 2022 positions. Please reach out to me if you think I would be a good fit for your department.
• [Feb 2021] I am excited that our papers Sound Probabilistic Inference via Guide Types and Central Moment Analysis for Cost Accumulators in Probabilistic Programs with Jan and Tom have been conditionally accepted to PLDI 2021.
• [Nov 2020] Our technical report about Probabilistic Resource-Aware Session Types is available on arXiv.
• [Jun 2020] Our articles Liquid Resource Types and Raising Expectations: Automating Expected Cost Analysis with Types have been accepted to ICFP 2020.
• [May 2019] Check out our recent MFPS paper on A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism with Jan and Tom.
• [Feb 2019] Great news: Our paper on Resource-Guided Program Synthesis has been conditionally accepted to PLDI 2019.
• [Nov 2018] I am excited that our paper Type-Guided Worst-Case Input Generation with Jan Hoffmann has been accepted to POPL 2019.
• [Mar 2018] Check out my talent show Chengdu on SCS Day 2018!
• [Feb 2018] I am excited that our paper PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs (with Jan Hoffmann and Tom Reps) has been conditionally accepted to PLDI 2018.
• [Jun 2017] I graduated from Peking University! My diploma thesis is about Accelerating Program Analyses by Conditional Summarization with Datalog.