PASTE 2005: Lisbon, Portugal

Opening

• Manuvir Das:
  PASTE at Microsoft. 1
  
• Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
  An empirical framework for comparing effectiveness of testing and property-based formal analysis. 2-5
  

Static analysis

• Donglin Liang, Maikel Pennings, Mary Jean Harrold:
  Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. 6-12
  
• David Hovemeyer, Jaime Spacco, William Pugh:
  Evaluating and tuning a static analysis to find null pointer bugs. 13-19
  
• Jean Privat, Roland Ducournau:
  Link-time static analysis for efficient separate compilation of object-oriented languages. 20-27
  

Monitoring and testing

• Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
  Low overhead program monitoring and profiling. 28-34
  
• Sriraman Tallam, Neelam Gupta:
  A concept analysis inspired greedy algorithm for test suite minimization. 35-42
  
• Jonathan Cook, Alessandro Orso:
  MonDe: safe updating through monitored deployment of new component versions. 43-46
  

Security and state

• Andrew C. Myers:
  Making distributed systems secure with program analysis and transformation. 47
  
• Dick Hamlet:
  Invariants and state in testing and formal methods. 48-51
  

Analysis frameworks

• Hari Hampapuram, Yue Yang, Manuvir Das:
  Symbolic path simulation in path-sensitive dataflow analysis. 52-58
  
• Christopher J. F. Pickett, Clark Verbrugge:
  SableSpMT: a software framework for analysing speculative multithreading in Java. 59-66
  
• Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland:
  Representation-independent program analysis. 67-74
  

Low-level code

• Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere:
  LANCET: a nifty code editing tool. 75-81
  
• Michael Barnett, K. Rustan M. Leino:
  Weakest-precondition of unstructured programs. 82-87
  
• Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh:
  String analysis for x86 binaries. 88-95
  

Reverse engineering and symbolic execution

• Atanas Rountev, Olga Volgin, Miriam Reddoch:
  Static control-flow analysis for reverse engineering of UML sequence diagrams. 96-102
  
• Sarfraz Khurshid, Yuk Lai Suen:
  Generalizing symbolic execution to library classes. 103-110
  
• Jeff H. Perkins:
  Automatically generating refactorings to support API evolution. 111-114