Posts

Oct 23, 2016
Here: Have Some PLUM Scrum
Oct 15, 2016
Appreciating Research as Problems
Sep 11, 2016
The nonobvious -- but important -- aspects of teaching (for me)
May 11, 2016
Program Visualization as Abstract Interpretation
Mar 10, 2016
Half-Baked Ideas on The Future of Static Analysis and Security
Mar 6, 2016
The Environment Problem and Abstract Counting
Sep 22, 2012
Efficient SAT Solving
Sep 4, 2012
On Understanding Coinduction