Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Differential Assertion Checking
Publication
Combining Model Checking and Testing
Publication
Asynchronous Resilient Linearizability
Project
R2: A Probabilistic Programming System
What is R2? R2 is a probabilistic programming system that uses powerful techniques from program analysis and verification for efficient Markov Chain Monte Carlo (MCMC) inference. The language that is used to describe probabilistic models…
Video
Research Bits: Rafa Calvo
“Research Bits” provide a glimpse into the research being conducted around the world through brief interviews with researchers. In this interview, Rafa Calvo from the University of Sydney notes that software engineers focus on experience…
