Abstract is missing.
- Evaluating static analysis defect warnings on production softwareNathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou. 1-8 [doi]
- Finding more null pointer bugs, but not too manyDavid Hovemeyer, William Pugh. 9-14 [doi]
- Introducing natural language program analysisLori L. Pollock, K. Vijay-Shanker, David Shepherd, Emily Hill, Zachary P. Fry, Kishen Maloor. 15-16 [doi]
- Interstatement must aliases for data dependence analysis of heap locationsJu Qian, Baowen Xu, Hongbo Min. 17-24 [doi]
- Light context-sensitive points-to analysis for javaAna Milanova. 25-30 [doi]
- Heap analysis in the presence of collection librariesMark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur. 31-36 [doi]
- Comparing call graphsOndřej Lhoták. 37-42 [doi]
- An overview of the saturn projectAlex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins. 43-48 [doi]
- Case study: supplementing program analysis with natural language analysis to improve a reverse engineering taskDavid Shepherd, Lori L. Pollock, K. Vijay-Shanker. 49-54 [doi]
- Discovering accurate interclass test dependencesWeilei Zhang, Barbara G. Ryder. 55-62 [doi]
- Refining buffer overflow detection via demand-driven path-sensitive analysisWei Le, Mary Lou Soffa. 63-68 [doi]
- AWE: improving software analysis through modular integration of static and dynamic analysesRuben E. Brown. 69-74 [doi]
- Dynamic purity analysis for java programsHaiying Xu, Christopher J. F. Pickett, Clark Verbrugge. 75-82 [doi]
- Improving software quality with static analysisJeffrey S. Foster, Michael W. Hicks, William Pugh. 83-84 [doi]
- Enforcing and validating user-defined programming disciplinesBrian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein. 85-86 [doi]