Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
portfolio
publications
Research Progress on Distributed System Model Checking
Published in Journal of Software, 2025
This paper provides a comprehensive survey of research progress in distributed system model checking.
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
Published in ICLR 2026, 2026
A benchmark suite for evaluating AI capabilities on formally modeling complex real-world systems.
Specula: Scaling Formal Specifications for Autonomous Model Checking of System Code
Published in arXiv, 2026
An agentic system that generates and validates TLA+ specifications, finds deep bugs through model checking, and reproduces them in system code.
talks
Specula: Generating TLA+ Specifications from System Code Using Generative AI Permalink
Published:
An introduction to Specula and its approach to generating TLA+ specifications from real system code using generative AI.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.