COORDINATOR: Thomas Zimmermann (Microsoft Research, United States)
Behavioural Validation of Software Engineering Artefacts, Guido De Caso (Universidad de Buenos Aires, Argentina)
QED: A Proof System based on Reduction and Abstraction for the Static Verification of Concurrent Software, Tayfun Elmas (Koc University, Turkey)
Software Engineering Abstractions for the Multi-Touch Revolution, Lode Hoste (Vrije Universiteit Brussel, Belgium)
Predicting Build Outcome with Developer Interaction in Jazz, Adrian Schroeter (University of Victoria, Canada)
Improved Social Trustability of Code Search Results, Florian S. Gysin (University of Bern, Switzerland)
Test-Driven Roles for Pair Programming, Max Goldman (Massachusetts Institute of Technology, United States)
Providing support for creating next generation software architecture languages, Ivano Malavolta (Università dell'Aquila, Italy)
STORM: Static Unit Testing of Concurrent Programs, Zvonimir Rakamaric (University of British Columbia, Canada)
Making program refactoring safer, Gustavo Soares (Federal University of Campina Grande, Brazil)
Staying Aware of Relevant Feeds in Context, Thomas Fritz (University of British Columbia, Canada)
(SRC) Code Bubbles: Rethinking the User Interface Paradigm of Integrated Development Environments, Andrew Bragdon (Brown University, United States)
Summarizing Software Concerns, Sarah Rastkar (University of British Columbia, Canada)
Commit 2.0, Marco D'Ambros (University of Lugano, Switzerland)
Helios: Impact Analysis for Event-Based Components and Systems, Daniel Popescu (University of Southern California, United States)