[Apologies for multiple messages]
PADL'07: Preliminary Program
colocated with POPL'07 in NICE, France January 14-15, 2007
http://www.informatik.uni-kiel.de/~mh/padl07/
Sunday, January 14, 2007
Opening: 8:45 - 9:00 Session 1: 9:00 - 10:00 (Invited Talk)
* John Hughes. (Chalmers Univ. of Tech.) QuickCheck Testing for Fun and Profit
Coffee break Session 2: 10:30 - 12:30
* 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
Lunch Session 3: 14:00 - 15:30
* Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini and Klaus Ostermann. Automatic Incrementalization of Prolog based Static Analyses * Elvira Albert, Miguel Gsmez-Zamalloa, Laurent Hubert and German 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
Coffee break Session 4: 16:00 - 17:30
* 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
Evening: Informal PADL Dinner
Monday, January 15, 2007 Session 5: 9:00 - 10:00 (Invited Talk)
* Pedro Barahona. (Universidade Nova de Lisboa) A Constraint Programming Approach to Bioinformatics Structural Problems
Coffee break Session 6: 10:30 - 12:30
* Alan Bond. BAD, a Declarative Language for Brain Modeling * 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
Lunch Session 7: 14:00 - 15:30
* 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
Coffee break Session 8: 16:00 - 17:00
* Chuck Liang. Aspect-Oriented Programming in Higher-Order and Linear Logic * Karl Klose, Klaus Ostermann and Michael Leuschel. Partial Evaluation of Pointcuts
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------