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.
Posts by Collection
portfolio
publications
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.