Program

PPDP

8:30—9:00

Morning coffee and registration

9:00 –10:00

Invited talk

Room I02

♦ Serge Abiteboul: Issues in Ethical Data Management

Chair – B. Pientka

10:00—10:30

Coffee break

10:30—12:00

Language Design and Implementation

Room I01

♦ 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

Constraint Logic Programming and CHR

Room I01

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

Processes and Streams

Room I02

♦ 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

PPDP

8:30—9:00

Morning coffee and registration

9:00 –10:00

Invited talk

Room I02

♦ Sumit Gulwani: Programming by Examples: Applications, Algorithms,

and Ambiguity Resolution

Chair – Brigitte Pientka

10:00—10:30

Coffee break

10:30—12:00

Compilation and Code Generation

Room I01

♦ 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

Applications of Declarative Languages

Room I01

♦ 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

LOPSTR

8:30—9:00

Morning coffee and registration

9:00 –10:00

Invited talk

Room I02

♦ Sumit Gulwani: Programming by Examples: Applications, Algo-

rithms, and Ambiguity Resolution

Chair – Brigitte Pientka

10:00—10:30

Coffee break

10:30—12:00

Term rewriting and CHR

Room I03

♦ 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

Analysis I

Room I03

♦ 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

PPDP

8:30—9:00

Morning coffee and registration

9:00—10:00

Invited talk

Room I02

♦ Marieke Huisman: A Verification Technique for Deterministic Parallel

Programs

Chair – Fabio Fioravanti

10:00—10:30

Coffee break

10:30—12:00

Theoretical Foundations

Room I01

♦ 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

SMT in Logic Programming and Rewriting

Room I01

♦ 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

Declarative Programming in the Real World

Room I01

♦ 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

Invited talk

Room I02

♦ Marieke Huisman: A Verification Technique for Deterministic Paral-

lel Programs

Chair – Fabio Fioravanti

10:00—10:30

Coffee break

10:30—12:00

Analysis II

Room I03

♦ 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

Verification I

Room I03

♦ 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

Verification II

Room I03

♦ 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

LOPSTR

8:30—9:00

Morning coffee and registration

9:00 –10:00

Invited talk

Room I03

♦ 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

Theory

Room I03

♦ 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

Program development I

Room I03

♦ 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

Program development II

Room I03

♦ 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