PLAS 2008 paper abstracts | ACM SIGPLAN Notices | DeepDyve