PASTE 2007: San Diego, California, USA

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