PROGRAM

PPDP

8:30—9:00 Morning coffee and registration

9:00 –10:00

Room I02

Invited talk

Serge Abiteboul: Issues in Ethical Data Management

Chair - B. Pientka

10:00—10:30 Coffee break

10:30—12:00

Room I01

Language Design and Implementation

Wilmer Ricciotti: A Core Calculus for Provenance

Yann Regis-Gianas, Thibaut Girka and David Mentré: Verifiable Semantic Difference Languages

Yann Regis-Gianas and Paul Laforgue: Copattern-matchings and first-class observations in OCaml, with a macro

Chair - Jesper Cockx

12:00—14:00 Lunch

14:00—15:00

Room I01

Constraint Logic Programming and CHR

TEST of TIME Award:

Leslie De Konick, Tom Schrijvers and Bart Demoen: User-definable rule priorities for CHR Checking for Curry

Fred Mesnard, Etienne Payet and German Vidal: Selective Unifi-cation in Constraint Logic Programming

Chair - Tom Fruehwirth

15:00—15:30 Coffee break

15:30—16:30

Room I02

Processes and Streams

Claudio Antares Mezzina and Jorge A. Pérez: Causally Consistent Reversible Choreographies: A Monitors-as-Memories Approach

Amos Robinson and Ben Lippmeier: Machine fusion: merging merges, more or less

Chair - Wilmer Ricciotti

17:30—18:30 Welcome drink

Monday, October 9

The Citadel of Namur, one of the largest fortresses built in Europe, is strategically located on a hilltop near the confluence of the Meuse and Sambre rivers and as such overlooking the city. While the original citadel dates back to the year 937, it was built in its current form in the seventeenth century. From 1891 onwards, the site was transformed into a vast park, a green lung over-hanging the capital of Wallonia.

PROGRAM PROGRAM

PPDP

8:30—9:00 Morning coffee and registration

9:00 –10:00

Room I02

Invited talk

Sumit Gulwani: Programming by Examples: Applications, Algorithms, and Ambiguity Resolution

Chair - Brigitte Pientka

10:00—10:30 Coffee break

10:30—12:00

Room I01

Compilation and Code Generation

Thomas Winant, Jesper Cockx and Dominique Devriese: Expres-sive and Strongly Type-Safe Code Generation

Olivier Savary Bélanger and Andrew W. Appel: Shrink Fast Cor-rectly!

Ulrich Schöpp: Defunctionalisation as Modular Closure Conversion

Chair - Yann Regis-Gianas

12:00—14:00 Lunch

14:00—15:00

Room I01

Applications of Declarative Languages

Nicos Angelopoulos and Jan Wielemaker: Accessing biological data as Prolog facts

Roman Barták and Adrien Maillard: Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Plan-ning Domain Models

Chair - Michael Hanus

15:00—22:00 Excursion and conference dinner

Tuesday, October 10

LOPSTR

8:30—9:00 Morning coffee and registration

9:00 –10:00

Room I02

Invited talk

Sumit Gulwani: Programming by Examples: Applications, Algo-rithms, and Ambiguity Resolution

Chair - Brigitte Pientka

10:00—10:30 Coffee break

10:30—12:00

Room I03

Term rewriting and CHR

Stephen Skeirik, Andrei Stefanescu and José Meseguer: A Constructor-Based Reachability Logic for Rewrite Theories

Maja Kirkeby and Henning Christiansen: Confluence and Conver-gence in Probabilistically Terminating Reduction Systems

Tom Fruehwirth: Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms

Chair - Michael Hanus

12:00—14:00 Lunch

14:00—15:00

Room I03

Analysis I

Elvira Albert, Miguel Gomez-Zamalloa and Miguel Isabel: On the Generation of Initial Contexts for Effective Deadlock Detection

Abel Garcia and Cosimo Laneve: Deadlock detection of Java Byte-code

Chair - Henning Christiansen

15:00—22:00 Excursion and conference dinner

Tuesday, October 10

PROGRAM PROGRAM

PPDP

8:30—9:00 Morning coffee and registration

9:00—10:00

Room I02

Invited talk

Marieke Huisman: A Verification Technique for Deterministic Parallel Programs

Chair - Fabio Fioravanti

10:00—10:30 Coffee break

10:30—12:00

Room I01

Theoretical Foundations

Beniamino Accattoli and Bruno Barras: Environments and the Complexity of Abstract Machines

Jose Espirito Santo and Silvia Ghilezan: Characterization of strong normalizability for a sequent lambda calculus with co-control

David Sabel: Alpha-Renaming of Higher-Order Meta-Expressions

Chair - Uli Schöpp

12:00—14:00 Lunch

14:00—15:00

Room I01

SMT in Logic Programming and Rewriting

Jacob Howe, Ed Robbins and Andy King: Theory Learning with Symmetry Breaking

Luis Aguirre, Narciso Marti-Oliet, Miguel Palomino and Isabel Pita: Conditional Narrowing Modulo SMT and Axioms

Chair - Tom Schrijvers

15:00—15:30 Coffee break

15:30—17:00

Room I01 Declarative Programming in the Real World

Jacek Chrząszcz and Aleksy Schubert: Function definitions for compound values in object-oriented languages

Christopher Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baque-ro, Peter Van Roy and Annette Bieniusa: Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report

Chair - David Sabel

Wednesday, October 11

LOPSTR

8:30—9:00 Morning coffee and registration

9:00 –10:00

Room I02

Invited talk

Marieke Huisman: A Verification Technique for Deterministic Paral-lel Programs

Chair - Fabio Fioravanti

10:00—10:30 Coffee break

10:30—12:00

Room I03

Analysis II

Salvador Lucas: A Semantic Approach to the Analysis of Rewriting-Based Systems

Andreas Behrend, Christiane Engels and Stefan Brass: A Rule-Based Approach to Analyzing Database Schema Objects with Data-log

Umer Liqat, Zorana Bankovic, Pedro Lopez-Garcia and Manuel V Hermenegildo: Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks

Chair - Frédéric Mesnard

12:00—14:00 Lunch

14:00—15:00

Room I03

Verification I

Michael Hanus: Combining Static and Dynamic Contract Checking for Curry

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti: Enhancing Predicate Pairing with Abstraction for Relational Verification

Chair - Pedro Lopez-Garcia

15:00—15:30 Coffee break

15:30—17:00

Room I03

Verification II

Raúl Gutiérrez and José Meseguer: Variant-Based Decidable Validity in Initial Algebras with Predicates

Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga and Carlos Luna: A certified reference validation mechanism for the permission model of Android

Huu Vu Nguyen and Tayssir Touili: CARET analysis of multi-threaded programs

Chair - Emanuele De Angelis

Wednesday, October 11

PROGRAM

LOPSTR

8:30—9:00 Morning coffee and registration

9:00 –10:00

Room I03

Invited talk

Grigore Rosu: K: A Logic-Based Framework for Program Semantics

and Analysis

Chair - John Gallagher

10:00—10:30 Coffee break

10:30—12:00

Room I03

Theory

Hassan Aït-Kaci and Gabriella Pasi: Lattice Operations on Terms with Fuzzy Signatures

Olivier Bodini and Paul Tarau: On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms

Mauricio Ayala-Rincon, Washington de Carvalho Segundo, Ma-

ribel Fernandez and Daniele Nantes-Sobrinho: Nominal C-

Unification

Chair - Alberto Pettorossi

12:00—14:00 Lunch

14:00—15:00

Room I03

Program development I

Gergö Barany: Liveness-Driven Random Program Generation

David Insa, Sergio Pérez, Josep Silva and Salvador Tamarit:

Erlang Code Evolution Control

Chair - John Gallagher

15:00—15:30 Coffee break

15:30—16:30

Room I03

Program development II

Michele Alberti and Julien Signoles: Context Generation from Formal Specifications for C Analysis Tools

Irina Mariuca Asavoae, Mihail Asavoae and Adrian Riesco: Con-

text-Updates Analysis and Refinement in Chisel

Chair - Wim Vanhoof

Thursday, October 12

For several centuries, flag throwing has been part of the rich tradition of Na-mur. It seems to have been introduced in the region during the Spanish-Netherlands period (1555-1715) and is kept alive by Les Alfers de Namur.

Being in existence for already more than 600 years, the stiltwalkers of Na-mur are one of the oldest group of stiltwalkers in the world.

Folklore and tradi t ions of Namur