Abstract is missing.
- Mnemonics: Type-safe Bytecode Generation at Run TimeJohannes Rudolph, Peter Thiemann.
- Making “Stricterness” More RelevantStefan Holdermans, Jurriaan Hage.
- A3PAT, an Approach for Certified Automated Termination ProofsÉvelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons, Xavier Urbain.
- O, Partial Evaluator, Where Art Thou?Lennart Augustsson.
- I/O Guided Detection of List Catamorphisms: Towards Problem Specific Use of Program Templates in IPMartin Hofmann, Emanuel Kitzelmann.
- Optimizing Relational Algebra Operations Using Generic Equivalence Discriminators and Lazy ProductsFritz Henglein.
- Context-Sensitive Analysis of Obfuscated x86 Executables
Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero Jr..
- Corrective Hints for Type Incorrect Generic Java ProgramsNabil El Boustani, Jurriaan Hage.
- Optimizing Generics Is Easy!José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh.
- From Higher-Order Logic to Haskell: There and Back AgainFlorian Haftmann.
- Regular Approximation and Bounded Domains for Size-Change TerminationHugh Anderson, Siau-Cheng Khoo.
- Programming with Singular and Plural Non-deterministic FunctionsAdrián Riesco, Juan Rodríguez-Hortalá.
- IGOR II — An Analytical Inductive Functional Programming System: Tool DemoMartin Hofmann.
- Bridging the Gap Between Symbolic and Efficient AES ImplementationsAndrew Moss, Dan Page.
- PET: A Partial Evaluation-based Test Case Generation Tool for Java BytecodeElvira Albert, Miguel Gómez-Zamalloa, Germán Puebla.
- Clone Detection and Elimination for HaskellChristopher Brown, Simon Thompson.
- General Purpose Languages Should Be MetalanguagesJeremy G. Siek.
- The SourceGraph ProgramIvan Lazar Miljenovic.
- A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCTMaría Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi.
- Conditional Weighted Pushdown Systems and ApplicationsXin Li, Mizuhito Ogawa.