Contract Verification using Symbolic Execution
February 19, 2013
An introduction to contracts, symbolic execution, and how to use the latter the verify the former.
An Introduction to Compiler Verification
January 28, 2013
What does it mean to verify a compiler correct? Why is compiler verification important? Here I will provide an introduction to the area of compiler verification.
Modeling "The Essence of Compiling with Continuations"
December 6, 2012
On applying lightweight modeling to a classic Programming Languages paper studying the connection between A-Normal Form and Continuation Passing Style.
Monads: How do they work?
March 5, 2012
One more blog post on Monads joins the millions already present on the Internet. These are my notes on Monads as I prepare to give an intro lecture on them.