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.

Revision: r1.7 - 12 Nov 2009 - 15:42 - JanisVoigtlaender
PEPM10 > AcceptedPapers
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback