[PASTE logo]

8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

November 9-10, 2008 (co-located with SIGSOFT FSE 2008)



Sunday, November 9

1100-1200 Invited Talk: Tevfik Bultan
1200-1330 -lunch- (included in registration)
1330-1500 Models of Code Behavior
1500-1600 5 minute madness/demos/break
1600-1700 Reverse Engineering

Monday, November 10

0900-1000 Invited Talk: Somesh Jha
1000-1030 -break-
1030-1200 Characterizing the Heap
1200-1330 -lunch- (included in registration)
1330-1500 Usability of Analysis Tools and Results
1500-1600 5 minute madness/demos/break
1600-1700 Change Analysis

Models of Code Behavior

Anna Zaks and Amir Pnueli, Program Analysis for Compiler Validation

Arnab De, Abhik Roychoudhury, Deepak D'Souza, Java Memory Model aware Software Validation

Kiran Pamnany and John Jannotti, Elyze: Enabling Safe Parallelism in Event-driven Servers

Reverse Engineering

Marwan Abi-Antoun, Jonathan Aldrich, A Field Study in Static Extraction of Runtime Architectures

David Lo, Shahar Maoz, Specification Mining of Symbolic Scenario-Based Models

Characterizing the Heap

Laurent Hubert, A Non-Null Annotation Inferencer for Java Bytecode

Mark Marron, Mario Mendez-Lojo, Manuel Hermenegildo, Darko Stefanovic, Deepak Kapur, Sharing Analysis of Arrays, Collections, and Recursive Structures

Yin Liu and Ana Milanova, Static Analysis for Inference of Explicit Information Flow

Usability of Analysis Tools and Results

Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, and Vibha Sazawal, Path Projection for User-Centered Static Analysis Tools

Macneil Shonle, William G. Griswold, Sorin Lerner, Addressing Common Crosscutting Problems with Arcum

Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao, XFindBugs: eXtended FindBugs for AspectJ

Change Analysis

Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao, Effective Identification of Failure-Inducing Changes: A Hybrid Approach

Mohammad-Amin Jashki, Reza Zafarani, Ebrahim Bagheri, Towards a More Efficient Static Software Change Impact Analysis Method