Talks

2025

CStar: Unifying Programming and Verification in C

Sponsor Invited Talks, SPLASH 2025 · Oct 18, 2025

Slides Video
Algebraic Program Analysis of Probabilistic Programs

2025 Shanghai Workshop on Structural AI · Jun 14, 2025

Slides

2024

Newtonian Program Analysis of Probabilistic Programs

Programming Language Seminar, Peking University · Jul 2, 2024

Slides
Algebraic Program Analysis of Probabilistic Programs

Spring 2024 Seminar Series, PROBPROG · Apr 10, 2024

Slides

2022

Semantics of Probabilistic Programs: An Algebraic Approach

Seminar, Tsinghua University · Mar 12, 2022

Slides

2021

Type-Guided Worst-Case Input Generation

Speaking Skills, Carnegie Mellon University · Jun 3, 2021

Slides

2020

Type-Based Resource-Guided Search

PLunch, Carnegie Mellon University · Oct 16, 2020

Slides

2019

Resource-Guided Program Synthesis

PLunch, Carnegie Mellon University · Nov 22, 2019

Slides

2018

PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs

PLunch, Carnegie Mellon University · Apr 20, 2018

Slides
TiML: A Functional Language for Practical Complexity Analysis with Invariants

PLunch, Carnegie Mellon University · Feb 9, 2018

Slides