A tutorial on WALA was presented at PLDI 2010. The slides are available here as a PDF, or they can be viewed in your web browser here.
