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

Models of code behavior

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

Reverse engineering

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

Characterizing the heap

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

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
Macneil Shonle, William G. Griswold, Sorin Lerner:
Addressing common crosscutting problems with Arcum. 64-69
Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao:
XFindBugs: eXtended FindBugs for AspectJ. 70-76

Change analysis

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

Last update Fri May 25 08:31:07 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page