PASTE 2008: Atlanta, Georgia, USA

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