Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Microsoft Research Blog
Realizing Practical Benefits from Research
In the age of big data, the challenge is no longer how to collect or store vast quantities of data—it’s how to make sense of it and use it for practical benefit. Scientific researchers, governmental…
Project
Corral Program Verifier
Corral is a whole-program analysis tool for Boogie programs. Corral uses goal-directed symbolic search techniques to find assertion violations. It leverages the powerful theorem prover Z3. It is available open source on GitHub. Corral, by default, does a bounded search…
Publication
Automating Theorem Proving with SMT
Video
Webinar: Try F# for Big and Broad Data
Try F# is an easy on-ramp to learning F#, a simple and pragmatic programming language combining functional, object-oriented, and scripting programming. This webinar shows how to use the Try F# tutorials to solve real-world scenarios,…
