Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
Our OOPSLA’18 paper introduces performance debugging techniques for automated reasoning tools.
Yes, and I did, but you shouldn’t.
The cause of, and solution to, all your multicore performance problems.
An introduction to the field of program synthesis, the idea that computers can write programs automatically if we just tell them what we want.
On the AWS Storage blog, we wrote a post about how we’re using formal methods to build Amazon S3.
I defended my PhD!
I was interviewed for the People of Programming Languages series at POPL 2018.
Our paper Synthesizing Memory Models from Framework Sketches and Litmus Tests will appear at PLDI 2017! More info on the MemSynth homepage.
Our work on DNA storage was selected to appear in IEEE Micro’s Top Picks from the Computer Architecture Conferences special issue later this year!
Our work on using DNA for digital data storage is featured in the New York Times.
I’m on the artifact evaluation committee for POPL’16.
Read about Uncertain<T> in IEEE Micro as part of their Top Picks from the Computer Architecture Conferences special issue.
Uncertain<T> was selected to appear in IEEE Micro’s Top Picks from the Computer Architecture Conferences special issue later this year!
I’ll be on the artifact evaluation committee for PLDI’15.