Slides, etc. from group tutorials.
11 August 2011
String analysis using the HAMPI tool. Based on Vijay Ganesh's CAV 2011 tutorial.
9 September 2010
Introduction to the WALA static analysis libraries from IBM Research. Based the PLDI 2010 tutorial.