출판 Heap Decomposition for Concurrent Shape Analysis T. Lev-Ami, Roman Manevich, Mooly Sagiv, G. Ramalingam, Josh Berdine Static Analysis Symposium (SAS) | July 2008
출판 The Real Value of Testing Jim Larus Proceedings of the 2008 International Symposium on Software Testing and Analysis | July 2008
출판 Scrap your type applications Barry Jay, Simon Peyton Jones Mathematics of Program Construction (MPC’08) | July 2008
출판 Memory Model Safety of Programs Sebastian Burckhardt, Madan Musuvathi July 2008 July 2008 Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2) 프로젝트
출판 Finding Errors in .NET with Feedback-Directed Random Testing Carlos Pacheco, Shuvendu Lahiri, Thomas Ball MSR-TR-2008-29 | July 2008 International Symposium on Software Testing and Analysis (ISSTA '08)
출판 Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models Mark Marron, Darko Stefanovic , Deepak Kapur , Manuel Hermenegildo July 2008
출판 Program Analysis as Constraint Solving Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan PLDI’08, June 7-13, 2008, Tucson, Arizona, USA | June 2008 프로젝트
출판 Parallel Generational-Copying Garbage Collection with a Block-Structured Heap Simon Marlow, Tim Harris, Simon Peyton Jones ISMM ’08: Proceedings of the 7th international symposium on Memory management | June 2008
출판 Inferring Locks for Atomic Sections Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani PLDI’08, June 7-13, 2008, Tucson, Arizona, USA | June 2008