9th Symposium on Practical Aspects of Declarative Langs (Call for Participation)

From: Gopal Gupta <gupta_at_utdallas.edu>
Date: Tue, 21 Nov 2006 12:17:52 -0600 (CST)

               [Apologies for multiple messages]

                 PADL'07: Preliminary Program

              colocated with POPL'07 in NICE, France
                        January 14-15, 2007


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

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

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

curry mailing list
Received on Mi Nov 22 2006 - 13:46:53 CET

This archive was generated by hypermail 2.3.0 : Di Dez 05 2023 - 07:15:08 CET