The abstracts are available here, here, and here.

Monday, January 18, 2010

Chairs' Welcome: 9:00 - 9:05

Invited Talk 1: 9:05 - 10:05

  • Lennart Augustsson: O, Partial Evaluator, Where Art Thou?

Coffee break

Session 1: 10:30 - 11:30 (Java/Scala Types)

Session Chair: Jeremy G. Siek (University of Colorado at Boulder)

  • Nabil el Boustani and Jurriaan Hage. Corrective Hints for Type Incorrect Generic Java Programs.
  • Johannes Rudolph and Peter Thiemann. Mnemonics: Type-safe Bytecode Generation at Run Time.

Coffee break

Session 2: 12:00 - 13:00 (Tools 1)

Session Chair: Peter Thiemann (University of Freiburg)

  • Elvira Albert, Miguel Gomez-Zamalloa and German Puebla. PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode.
  • Martin Hofmann. Igor2 - an Analytical Inductive Functional Programming System.

Lunch

Session 3: 14:30 - 15:30 (Program Transformation)

Session Chair: Elvira Albert (Complutense University of Madrid)

  • José Pedro Magalhăes, Stefan Holdermans, Johan Jeuring and Andres Löh. Optimizing Generics Is Easy!
  • Michele Baggi, María Alpuente, Demis Ballis and Moreno Falaschi. A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT.

Coffee break

Session 4: 16:00 - 17:00 (Termination)

Session Chair: Stefan Holdermans (Utrecht University)

  • Hugh Anderson and Siau-Cheng KHOO. Regular Approximation and Bounded Domains for Size-Change Termination.
  • Évelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons and Xavier Urbain. A3PAT, an Approach for Certified Automated Termination Proofs.

Break

Video Talk: 17:15 - 17:40

  • Andy Gill, Garrin Kimmell and Kevin Matlage. Capturing Functions and Catching Satellites.

Tuesday, January 19, 2010

Invited Talk 2: 9:00 - 10:00

  • Jeremy G. Siek. General Purpose Languages Should be Metalanguages.

Coffee break

Session 5: 10:30 - 11:30 (Innovative Programming)

Session Chair: Nate Foster (University of Pennsylvania)

  • Fritz Henglein. Optimizing Relational Algebra Operations Using Generic Equivalence Discriminators and Lazy Products.
  • Adrian Riesco and Juan Rodriguez-Hortala. Programming with Singular and Plural Non-deterministic Functions.

Coffee break

Session 6: 12:00 - 13:00 (Synthesis and Compilation)

Session Chair: Jurriaan Hage (Utrecht University)

  • Martin Hofmann and Emanuel Kitzelmann. I/O Guided Detection of List Catamorphisms.
  • Andrew Moss and Dan Page. Bridging the Gap Between Symbolic and Efficient AES Implementations.

Lunch

Session 7: 14:30 - 15:30 (Haskell Analysis/Transformation)

Session Chair: German Puebla (Technical University of Madrid)

  • Christopher Brown and Simon Thompson. Clone Detection and Elimination for Haskell.
  • Stefan Holdermans and Jurriaan Hage. Making Stricterness More Relevant.

Coffee break

Session 8: 16:00 - 17:00 (Static Analysis Techniques)

Session Chair: Fritz Henglein (University of Copenhagen)

  • Arun Lakhotia, Davidson Boccardo, Anshuman Singh and Aleardo Manacero Júnior. Context-Sensitive Analysis of Obfuscated x86 Executables.
  • Xin Li and Mizuhito Ogawa. Conditional Weighted Pushdown Systems and Applications.

Break

Session 9: 17:15 - 18:15 (Tools 2)

Session Chair: Simon Thompson (University of Kent)

  • Ivan Lazar Miljenovic. The SourceGraph Program.
  • Florian Haftmann. From Higher-Order Logic to Haskell: There and Back Again.

Revision: r1.3 - 09 Dec 2009 - 08:55 - JanisVoigtlaender
PEPM11 > TentativeSchedule
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