Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Alternation for Termination
Video
A Proof Rule for Multi-Threaded Programs
A modular proof rule for the verification of temporal safety and liveness properties of multi-threaded programs, and how this rule can be transformed into an automatic method. Joint work with Ashutosh Gupta and Corneliu Popeea.
