PPDP | LOPSTR | WFLP 2018

Program

Select program by conference(s):

PPDP + LOPSTR + WFLP PPDP only LOPSTR only WFLP only

Select program by day:

Monday 3.Sept. Tuesday 4.Sept. Wednesday 5.Sept Thursday 6.Sept


Thursday, 6. September

WFLP
08:30
Registration [Location: 2nd floor, Hörsaalzentrum]

The registration desk will be opened from 8:30 a.m. It is located in the second floor of the building while the conference room of LOPSTR (lecture hall HZ 10) is located in the second floor of the building and the room SH1.101 is in another building (Seminarhaus).

09:00
LOPSTR & WFLP: Joint Invited Talk [Location: HZ 10 (third floor, Hörsaalzentrum)]
Experiences in designing scalable static analyses (Invited Talk)
Laure Gonnord

Proving the absence of bugs in a given software (problem which has been known to be intrinsically hard since Turing and Cook) is not the only challenge in software development. Indeed, the ever growing complexity of software increases the need for more trustable optimisations. Solving these two problems (reliability, optimisation) implies the development of safe (without false negative answers) and efficient (wrt memory and time) analyses, yet precise enough (with few false positive answers). In this talk I will present some experiences in the design of scalable static analyses inside compilers, and try to make a synthesis about the general framework we, together with my coauthors, used to develop them. I will also show some experimental evidence of the impact of this work on real-world compilers, as well as future perspective for this area of research. Keywords: Static Analysis, Abstract Interpretation, Compilation, Code Optimisation.

10:00
Coffee Break [Location: 2nd floor, Hörsaalzentrum]
10:30
WFLP: Contributed Talks #1 [Location: SH1.101 (Seminarhaus)]
10:30
Transpiling Programming Computable Functions to Answer Set Programs
Ingmar Dasseville and Marc Denecker
10:52
Synthesizing Set Functions
Sergio Antoy, Michael Hanus and Finn Teegen
11:14
When You Should Use Lists in Haskell (Mostly, You Should Not)
Johannes Waldmann
11:36
Runtime verification in Erlang by using contracts
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez and Salvador Tamarit
12:00
Lunch Break [Location: Mensa Casino]
13:30
WFLP: Contributed Talks #2 [Location: HZ 10 (third floor, Hörsaalzentrum)]
13:30
Reference Type Logic Variables in Constraint-logic Object-oriented Programming
Jan C. Dageförde
13:52
Exploring Parallel Execution Strategies for Constraint Handling Rules
Thom Fruehwirth and Daniel Gall
14:14
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs
Henning Christiansen and Maja Kirkeby
14:36
Code Generation for Higher Inductive Types
Paventhan Vivekanandan
15:00
Coffee Break [Location: 2nd floor, Hörsaalzentrum]
15:30
WFLP: Contributed Talks #3 [Location: HZ 10 (third floor, Hörsaalzentrum)]
15:30
Functional Federated Learning in Erlang (ffl-erl)
Gregor Ulm, Emil Gustavsson and Mats Jirstrand
15:52
Making Bubbling Practical
Steven Libby and Sergio Antoy
16:14
FMS: Functional Programming as a Modelling Language
Ingmar Dasseville and Gerda Janssens
16:36
Enhancing POI testing approach through the use of additional information
Sergio Pérez and Salvador Tamarit
16:58
Measuring Coverage of Prolog Programs Using Mutation Testing
Alexandros Efraimidis, Joshua Schmidt, Sebastian Krings and Philipp Körner
17:20
Towards an algebraic theory of analogical reasoning in logic programming
Christian Antic