PASTE 2005: Lisbon, Portugal

Michael D. Ernst, Thomas P. Jensen (Eds.): Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005. ACM 2005, ISBN 1-59593-239-9 BibTeX

Opening

Manuvir Das:
PASTE at Microsoft. 1
Electronic Edition (ACM DL) BibTeX
Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
An empirical framework for comparing effectiveness of testing and property-based formal analysis. 2-5
Electronic Edition (ACM DL) BibTeX

Static analysis

Donglin Liang, Maikel Pennings, Mary Jean Harrold:
Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. 6-12
Electronic Edition (ACM DL) BibTeX
David Hovemeyer, Jaime Spacco, William Pugh:
Evaluating and tuning a static analysis to find null pointer bugs. 13-19
Electronic Edition (ACM DL) BibTeX
Jean Privat, Roland Ducournau:
Link-time static analysis for efficient separate compilation of object-oriented languages. 20-27
Electronic Edition (ACM DL) BibTeX

Monitoring and testing

Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
Low overhead program monitoring and profiling. 28-34
Electronic Edition (ACM DL) BibTeX
Sriraman Tallam, Neelam Gupta:
A concept analysis inspired greedy algorithm for test suite minimization. 35-42
Electronic Edition (ACM DL) BibTeX
Jonathan Cook, Alessandro Orso:
MonDe: safe updating through monitored deployment of new component versions. 43-46
Electronic Edition (ACM DL) BibTeX

Security and state

Andrew C. Myers:
Making distributed systems secure with program analysis and transformation. 47
Electronic Edition (ACM DL) BibTeX
Dick Hamlet:
Invariants and state in testing and formal methods. 48-51
Electronic Edition (ACM DL) BibTeX

Analysis frameworks

Hari Hampapuram, Yue Yang, Manuvir Das:
Symbolic path simulation in path-sensitive dataflow analysis. 52-58
Electronic Edition (ACM DL) BibTeX
Christopher J. F. Pickett, Clark Verbrugge:
SableSpMT: a software framework for analysing speculative multithreading in Java. 59-66
Electronic Edition (ACM DL) BibTeX
Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland:
Representation-independent program analysis. 67-74
Electronic Edition (ACM DL) BibTeX

Low-level code

Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere:
LANCET: a nifty code editing tool. 75-81
Electronic Edition (ACM DL) BibTeX
Michael Barnett, K. Rustan M. Leino:
Weakest-precondition of unstructured programs. 82-87
Electronic Edition (ACM DL) BibTeX
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh:
String analysis for x86 binaries. 88-95
Electronic Edition (ACM DL) BibTeX

Reverse engineering and symbolic execution

Atanas Rountev, Olga Volgin, Miriam Reddoch:
Static control-flow analysis for reverse engineering of UML sequence diagrams. 96-102
Electronic Edition (ACM DL) BibTeX
Sarfraz Khurshid, Yuk Lai Suen:
Generalizing symbolic execution to library classes. 103-110
Electronic Edition (ACM DL) BibTeX
Jeff H. Perkins:
Automatically generating refactorings to support API evolution. 111-114
Electronic Edition (ACM DL) BibTeX