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