PASTE 2007: San Diego, California, USA

Manuvir Das, Dan Grossman (Eds.): Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007. ACM 2007, ISBN 978-1-59593-595-3 BibTeX

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