Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Project
Code Hunt Workshops
1st Code Hunt Workshop, Redmond February, 15-16, 2015 Slides and Videos Deep Dive into Pex for Code Hunt Nikolai Tillmann [Slides] [Video] Code Hunt Contest Analytics Judith Bishop [Slides] [Video] Model Counting for Test Coverage…
Video
End of Internship Talks
End for Internship talks given by: Perry Wang Title: “Low* and subset of F* that will compile down to C” Time : 10-10:45 Laure Thompson Title: “Spartan and proving implementations of cryptographic algorithms correct” Time…
Publication
Synthesizing Program Input Grammars
Publication
Just-in-Time Static Analysis
Publication
Rendering Mathematics for the Web using Madoko
Publication