Mark W. Bailey John Hatcliff Frank Tip PEPM 2006 paper abstracts. 4-8 2006 41 SIGPLAN Notices 3 http://doi.acm.org/10.1145/1140543.1140545 db/journals/sigplan/sigplan41.html#BaileyHT06