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