PADL 05: Accepted Papers

1. Role-based Declarative Synchronization for Reconfigurable Systems
   Vlad Tanasescu, EPFL
   Pawel Wojciechowski, EPFL
   
2. Functional Framework for Sound Synthesis
   Jerzy Karczmarczuk, University of Caen
   
3. Improved Fusion for Optimizing Generics
   Sjaak Smetsers, University of Nijmegen
   Artem Alimarine, University of Nijmegen
   
4. Solving Constraints on Sets of Spatial Objects
   Jesus M. Almendros-Jimenez, Universidad de Almeria
   Antonio Corral, Universidad de Almeria
   
5. A Full Pattern-based Paradigm for XML Query Processing
   Benzaken Veronique, Universite Paris XI, LRI - CNRS
   Castagna Giuseppe, CNRS - LIENS
   Miachon Cedric, LIENS - CNRS
   
6. A Program Inverter LRinv and its Structure
   Masahiko Kawabe, Waseda University, Tokyo, Japan
   Robert Glueck, University of Copenhagen, Denmark
   
7. Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization
   James Bailey, University of Melbourne
   Peter Stuckey, University of Melbourne
   
8. A Provably Correct Compiler for Efficient Model Checking of Mobile Processes
   Ping Yang, Computer Science Dept., Stony Brook University
   Yifei Dong, School of Computer Science, University of Oklahoma
   C.R. Ramakrishnan, Computer Science Dept., Stony Brook University
   Scott. A. Smolka, Computer Science Dept., Stony Brook University
   
9. An Ordered Logic Program Solver
   Davy Van Nieuwenborgh, Free University Brussels
   Stijn Heymans, Free University Brussels
   Dirk Vermeir, Free University Brussels
   
10. Type Class Directives
    Bastiaan Heeren, Universiteit Utrecht
    Jurriaan Hage, Universiteit Utrecht
    
11. Specializing Narrowing for Timetable Generation: A Case Study
    Nadia Brauner, Laboratoire LEIBNIZ
    Rachid Echahed, Laboratoire LEIBNIZ
    Gerd Finke, Laboratoire LEIBNIZ
    Hanns GREGOR, Laboratoire LEIBNIZ
    Frederic Prost, Laboratoire LEIBNIZ
    
12. Solving Collaborative Fuzzy Agents Problems with CLP(FD)
    Susana Munoz-Hernandez, Technical University of Madrid
    Jose Manuel Gomez-Perez, Technical University of Madrid
    
13. Character-Based Cladistics and Answer Set Programming
    Daniel Brooks, University of Toronto
    Esra Erdem, Vienna University of Technology
    James Minett, Chinese University of Hong Kong
    Donald Ringe, University of Pennsylvania
    
14. Towards a More Practical Hybrid Probabilistic Logic Programming Framework
    Emad Saad, New Mexico State University
    Enrico Pontelli, New Mexico State University
    
15. Safe Programming with Pointers in ATS
    Dengping Zhu, Boston University
    Hongwei Xi, Boston University
    
16. Improving Memory usage in the BEAM
    Ricardo Lopes, DCC-FCUP & LIACC, University of Porto - Portugal
    Vitor Costa, COPPE/Sistemas, Universidade Federal do Rio de Janeiro - Brasil
    
17. Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
    Qian Wang, UT Dallas
    Gopal Gupta, UT Dallas
    Michael Leuschel, Southampton