Accepted Papers

The following papers (in no particular order) will be presented at the workshop.

Regular research papers:

• Christopher Brown and Simon Thompson. Clone Detection and Elimination for Haskell.
• Adrian Riesco and Juan Rodriguez-Hortala. Programming with Singular and Plural Non-deterministic Functions.
• Andrew Moss and Dan Page. Bridging the Gap Between Symbolic and Efficient AES Implementations.
• Johannes Rudolph and Peter Thiemann. Mnemonics: Type-safe Bytecode Generation at Run Time.
• Martin Hofmann and Emanuel Kitzelmann. I/O Guided Detection of List Catamorphisms.
• Xin Li and Mizuhito Ogawa. Conditional Weighted Pushdown Systems and Applications.
• Hugh Anderson and Siau-Cheng KHOO. Regular Approximation and Bounded Domains for Size-Change Termination.
• Stefan Holdermans and Jurriaan Hage. Making Stricterness More Relevant.
• Nabil el Boustani and Jurriaan Hage. Corrective Hints for Type Incorrect Generic Java Programs.
• Évelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons and Xavier Urbain. A3PAT, an Approach for Certified Automated Termination Proofs.
• José Pedro Magalhães, Stefan Holdermans, Johan Jeuring and Andres Löh. Optimizing Generics Is Easy!
• Arun Lakhotia, Davidson Boccardo, Anshuman Singh and Aleardo Manacero Júnior. Context-Sensitive Analysis of Obfuscated x86 Executables.
• Fritz Henglein. Optimizing Relational Algebra Operations Using Generic Equivalence Discriminators and Lazy Products.
• Michele Baggi, María Alpuente, Demis Ballis and Moreno Falaschi. A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT.

Tool demonstration papers:

• Florian Haftmann. From Higher-Order Logic to Haskell: There and Back Again.
• Martin Hofmann. Igor2 - an Analytical Inductive Functional Programming System.
• Ivan Lazar Miljenovic. The SourceGraph Program.
• Elvira Albert, Miguel Gomez-Zamalloa and German Puebla. PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode.