PADL'07: Conference Program

Opening: 8:45 - 9:00

Session 1: 9:00 - 10:00 (Invited Talk, Chair: Michael Hanus)

• John Hughes. QuickCheck Testing for Fun and Profit

Session 2: 10:30 - 12:30 (Chair: Doaitse Swierstra)

• Duncan Coutts, Don Stewart and Roman Leshchinskiy. Rewriting Haskell Strings
• Takeshi Morimoto, Yasunao Takano and Hideya Iwasaki. Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning
• Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch and Christian Müller. Algebraic Knowledge Discovery using Haskell
• Per Gustafsson and Konstantinos Sagonas. Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang

Session 3: 14:00 - 15:30 (Chair: Germán Vidal)

• Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini and Klaus Ostermann. Automatic Incrementalization of Prolog based Static Analyses
• Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert and Germán Puebla. Verification of Java Bytecode using Analysis and Transformation of Logic Programs
• Edison Mera, Pedro Lopez-Garcia, German Puebla, Manuel Carro and Manuel Hermenegildo. Combining Static Analysis and Profiling  for Estimating Execution Times

Session 4: 16:00 - 18:00 (Chair: Konstantinos Sagonas)

• Ricardo Rocha. On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation
• Beata Sarna-Starosta and C.R. Ramakrishnan. Compiling Constraint Handling Rules for Efficient Tabled Evaluation
• Vitor Santos Costa. Prolog Performance on Larger Datasets
• Alan Bond. BAD, a Declarative Language for Brain Modeling

Evening: Informal PADL Dinner

Session 5: 9:00 - 10:00 (Invited Talk, Chair: Vitor Santos Costa)

• Pedro Barahona. A Constraint Programming Approach to Bioinformatics Structural Problems

Session 6: 10:30 - 12:00 (Chair: Manuel Hermenegildo)

• Reza Rafeh, Maria Garcia de la Banda, Kimbal Marriott and Mark Wallace. From Zinc to Design Model
• Chongbinbg Liu and Enrico Pontelli. Inductive Logic Programming by Instance Patterns
• Andreas Podelski and Andrey Rybalchenko. ARMC: A Logical Choice for Software Model Checking with Abstraction Refinement

Session 7: 14:00 - 15:30 (Chair: Simon Peyton Jones)

• Claudio Russo. The Joins Concurrency Library
• Liwen Huang, Paul Hudak and John Peterson. HPorter: Using Arrows to Compose Parallel Processes
• Pablo Berdaguer, Alcino Cunha, Hugo Pacheco and Joost Visser. Coupled Schema Transformation and Data Conversion for XML and SQL

Session 8: 16:00 - 17:00 (Chair: Germán Puebla)

• Chuck Liang. Aspect-Oriented Programming in Higher-Order and Linear Logic
• Karl Klose, Klaus Ostermann and Michael Leuschel. Partial Evaluation of Pointcuts

Last modified: Fri Jan 12 09:39:55 CET 2007