Proceedings of the 2008 workshop on Static analysis
ACM Digital Library