Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
The Yogi Project
Yogi is a research project within the Rigorous Software Engineering group at Microsoft Research India on software property checking. Our goal is to build a scalable software property checker by systematically combining static analysis with…
A Taste of Haskell – Part 1
I was lucky enough to be able to give a three-hour tutorial on Haskell at the O’Reilly Open Source Convention 2007, in Portland. A huge thank-you to Galois Inc, for making the video happen. View Part…
A Taste of Haskell – Part 2
I was lucky enough to be able to give a three-hour tutorial on Haskell at the O’Reilly Open Source Convention 2007, in Portland. A huge thank-you to Galois Inc, for making the video happen. View Part 1…
