• Program Phase Classification for Power Behavior Characterization
  Chunling Hu, John McCabe, Daniel Jimenez and Ulrich Kremer (Rutgers University)
• A New Bignum Multiplication Algorithm
  Michael Malenkov, Chris Dutra and Marco T. Morazan (Seton Hall University)
• Truck Security Tool for U.S. Customs and Border Protection
  Catalin Constantin, Jerry Dekker, Bonnie Rajchel and Richard Sasko (Purdue University Calumet)

• Test Coverage Tools for Database Applications
  Eric Tang, Phyllis Frankl (Polytechnic University) and Yuetang Deng (Google)
• Toward Systematic Testing of Access Control Policies
  Evan Martin and Tao Xie (North Carolina State University)
• Towards Automatically Creating Test Suites from Web Application Field Data
  Sara Sprenkle, Emily Gibson, Sreedevi Sampath and Lori Pollock (University of Delaware)

Keynote: Optimizing AspectJ with abc, by Laurie Hendren

• Identifier Splitting: A Study Of Two Techniques
  Henry Feild, David Binkley and Dawn Lawrie (Loyola College)
• Mining Change and Version Management Histories to Evaluate an Analysis Tool
  Danhua Shao, Sarfraz Khurshid and Dewayne E. Perry (U. Texas at Austin)

• Mithun Acharya, Tao Xie and Jun Xu, "Generating and Inferring Interface Properties for Static Analysis"
• Sreedevi Sampath, Sara Sprenkle, Emily Gibson and Lori Pollock, "Applying Concept Analysis to User-session-based Testing of Web Applications"
• Emily Gibson and Lori Pollock, "Providing Remote Debugging Feedback without Revealing Sensitive Information"
• James Jablin and Patrick Clancy, "Student Experiences with the use of Attribute Grammars in the Teaching of Compiler Design and Implementation"
• Stan Rosenberg, "Encoding a denotational model of Java with exceptions in a theorem prover"
• Jerry Hom and Ulrich Kremer, "Inter-program Optimizations for Disk Energy Reduction"
• Adrian Stere, "A Software Testbed Architecture for Distributed, Mobility-Aware Applications"
• Desiree Ottoni, "Offset Assignment Using Simultaneous Variable Coalescing"
• Fancong Zeng, Michael Littman, "Exploiting Partially Observable Markov Decision Processes for Java Deadlock Detection"
• Chen Fu and Barbara G. Ryder, "Testing and Understanding Error Recovery Code in Java Applications"
• Yin Liu and Ana Milanova, "Static Analysis for Dynamic Coupling Metrics"
• Nishkam Ravi, Marco Gruteser and Liviu Iftode, "Information Flow Control for Location-based Services".
• Kiran Nagaraja, Andrew Tjang, F`abio Oliveira, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen, "Model-Based Validation for Dealing with Operator Mistakes".