The following papers have been accepted for presentation at the workshop (in no particular order):

• Jakob Puchinger and Peter Stuckey. Automating Branch-and-Bound for Dynamic Programs
• Janis Voigtländer. The destroy/build-rule (A case for doing things right from the start)
• Huiqing Li and Simon Thompson. Tool Support for Refactoring Functional Programs
• Boris Feigin and Alan Mycroft. Jones Optimality and Hardware Virtualization / A Report on Work in Progress
• Isabella Mastroeni and Damiano Zanardini. Data dependencies and program slicing: From syntax to abstract semantics
• Stephen A. Edwards and Jia Zeng. Static Elaboration of Recursion for Concurrent Software
• Nic Volanschi and Christian Rinderknecht. Unparsed Patterns: Easy User-Extensibility of Program Manipulation Tools
• Ping Zhu and Siau-Cheng Khoo. Specialization for Applications Using Shared Libraries
• Jurriaan Hage and Stefan Holdermans. Heap Recycling for Lazy Languages
• Daniel Prusa and Jan Jancura. Generic Framework for Integration of Programming Languages into Net Beans IDE
• Torben Mogensen. Semi-Inversion of Functional Parameters
• Corneliu Popeea, Dana N. Xu and Wei Ngan Chin. A Practical Inference and Specializer for Array Bound Checks Elimination
• Nik Sultana and Simon Thompson. Mechanical verification of refactorings
• Ando Saabas and Tarmo Uustalu. Proof optimization for partial redundancy elimination
• Pawel Pietrzak, Jesús Correas Fernández, German Puebla and Manuel Hermenegildo. A Practical Type Analysis for Verification of Modular Prolog Programs
• Alessandro Warth, James Douglass and Todd Millstein. Packrat Parsers Can Support Left Recursion
• Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan. Closing the Stage: From staged code to typed closures
• Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy and John O'Leary. Statically Guaranteeing Synthesizability of High Level Hardware Descriptions
• Shin-Cheng Mu. Maximum Segment Sum is Back - Deriving Algorithms for Two Segment Problems with Bounded Lengths
• Djoko Djoko Simplice, Rémi Douence and Pascal Fradet. Aspects Preserving Properties