Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Equality proofs and deferred type errors
Publication
Pasture Node State Specification
Video
A Domain Specific Language for Testing Concurrent Programs
We present Concurrit, a novel testing technique and domain-specific language (DSL) for unit and system testing of concurrent programs. Using Concurrit, a programmer can control and guide the thread schedule of the software-under-test (SUT) in…
Publication
Simulated Protozoa Optimization
Project
Network Verification
Networks need to run reliably, efficiently, and without users noticing any problems, even as they grow. Keeping networks tuned this way requires the development of tools that improve the functioning of large-scale datacenter networks. This…
