• Practical Aspects of Declarative Languages (PADL'08)
• Declarative Aspects of Multicore Programming (DAMP'08)

Accepted Papers

• Sathiamoorthy Subbarayan. Efficient Reasoning for Nogoods in Constraint Solvers with BDDs
• Bernd Brassel, Michael Hanus and Marion Mueller. High-Level Database Programming in Curry
• Richard Frost, Rahmatullah Hafiz and Paul Callaghan. Parser Combinators for Ambiguous Left-Recursive Grammars
• George Giorgidze and Henrik Nilsson. Switched-on Yampa. Declarative Programming of Modular Syntheziers
• Moritz Y. Becker and Sebastian Nanz. The Role of Abduction in Declarative Authorization Policies
• Amadeo Casas, Manuel Carro and Manuel Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
• Bruno PAGANO, Olivier ANDRIEU, Benjamin CANOU, Emmmanuel CHAILLOUX, Jean-Louis COLACO, Thomas MONIOT and Philippe WANG. Certified development tools implementation in Objective Caml
• Ralph Becket and Zoltan Somogyi. DCGs + Memoing = Packrat Parsing: But is it worth it?
• Pieter Koopman, Peter Achten and Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Navigation Input
• Phil Cox and Patrick Nicholson. Unification of Arrays in Spreadsheets with Logic Programming
• Mary Fernandez, Kathleen Fisher, J. Nathan Foster, Michael Greenberg and Yitzhak Mandelbaum. A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers
• Guillem Marpons, Julio Mari?o, ?ngel Herranz, Lars-Ake Fredlund, Manuel Carro and Juan Jos? Moreno-Navarro. Automatic Coding Rule Conformance Checking Using Logic Programming
• Paulo Moura, Paul Crocker and Paulo Jorge Nunes. Multi-threading programming in Logtalk
• Jost Berthold, Abyd Al Zain and Hans-Wolfgang Loidl. Scheduling light-weight parallelism in ARTCOP
• Gabriele Keller, Hugh Chaffey-Millar, Manuel Chakravarty, Don Stewart and Christopher Barner-Kowollik. Specialising Simulator Generators for High-Performance Monte-Carlo Methods
• Jost Berthold, Mischa Dieterle, Rita Loogen and Steffen Priebe. Hierarchical Master-Worker Skeletons
• Laleh Mousavi Eshkevari, Venera Arnaoudova and Constantinos Constantinides. Comprehension and dependency analysis of aspect-oriented programs through declarative reasoning
• Pablo Chico de Guzmán, Manuel Carro, Manuel Hermenegildo, Cláudio Silva and Ricardo Rocha. An Improved Continuation Call-Based Implementation of Tabling
• Martin Hirzel, Nathaniel Nystrom, Bard Bloom and Jan Vitek. Matchete: Paths through the Pattern Matching Jungle
• Sebastian Brand, Gregory Duck, Jakob Puchinger and Peter Stuckey. Flexible, Rule-based Constraint Model Linearisation

Accepted Papers

• Lukasz Ziarek and Suresh Jagannathan. Memoizing Multi-Threaded Transactions.
• Tran Cao Son, Son To, Tu Phan and Enrico Pontelli. Executing Action Languages for Planning Problems on Multi-core Platforms: Some Preliminary Results.
• Manuel Chakravarty, Roman Leshchinskiy, Simon Peyton Jones and Gabriele Keller. Partial Vectorisation of Haskell Programs.
• Clemens Grelck and Sven-Bodo Scholz. Efficient Heap Management for Declarative Data Parallel Programming on Multicores.
• Philipp Haller and Tom Van Cutsem. Implementing Joins using Extensible Pattern Matching.
• John Reppy and Yinqi Xiao. Toward a parallel implementation of Concurrent ML.
• Vitor Santos Costa. On Making Parallel Logic Programming Boring.