PASTE 2008: Atlanta, Georgia, USA

Shriram Krishnamurthi, Michal Young (Eds.): Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008. ACM 2008, ISBN 978-1-60558-382-2 BibTeX

Models of code behavior

Anna Zaks, Amir Pnueli:
Program analysis for compiler validation. 1-7
Electronic Edition (ACM DL) BibTeX
Arnab De, Abhik Roychoudhury, Deepak D'Souza:
Java memory model aware software validation. 8-14
Electronic Edition (ACM DL) BibTeX
Kiran Pamnany, John Jannotti:
Elyze: enabling safe parallelism in event-driven servers. 15-21
Electronic Edition (ACM DL) BibTeX

Reverse engineering

Marwan Abi-Antoun, Jonathan Aldrich:
A field study in static extraction of runtime architectures. 22-28
Electronic Edition (ACM DL) BibTeX
David Lo, Shahar Maoz:
Specification mining of symbolic scenario-based models. 29-35
Electronic Edition (ACM DL) BibTeX

Characterizing the heap

Laurent Hubert:
A non-null annotation inferencer for Java bytecode. 36-42
Electronic Edition (ACM DL) BibTeX
Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur:
Sharing analysis of arrays, collections, and recursive structures. 43-49
Electronic Edition (ACM DL) BibTeX
Yin Liu, Ana Milanova:
Static analysis for inference of explicit information flow. 50-56
Electronic Edition (ACM DL) BibTeX

Usability of analysis tools and results

Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal:
Path projection for user-centered static analysis tools. 57-63
Electronic Edition (ACM DL) BibTeX
Macneil Shonle, William G. Griswold, Sorin Lerner:
Addressing common crosscutting problems with Arcum. 64-69
Electronic Edition (ACM DL) BibTeX
Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao:
XFindBugs: eXtended FindBugs for AspectJ. 70-76
Electronic Edition (ACM DL) BibTeX

Change analysis

Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao:
Effective identification of failure-inducing changes: a hybrid approach. 77-83
Electronic Edition (ACM DL) BibTeX
Mohammad-Amin Jashki, Reza Zafarani, Ebrahim Bagheri:
Towards a more efficient static software change impact analysis method. 84-90
Electronic Edition (ACM DL) BibTeX