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

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 third floor of the building and the room SH1.101 is in another building (Seminarhaus).

09:00
LOPSTR & WFLP: Joint Invited Talk [Chair: Pedro Lopez  • 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
LOPSTR: Invited Tutorial #2 [Chair: Fred Mesnard • Location: HZ 10 (third floor, Hörsaalzentrum)]
25 years of Ciao (Invited Tutorial)
Manuel Hermenegildo

Ciao is a logic-based, multi-paradigm programming language which has pioneered over the years many interesting language- and programming environment-related concepts. An example is the notion of programming languages as modular language-building tools rather than closed designs. Another is the idea of dynamic languages that can optionally and gradually offer formal guarantees, which is also a solution for the classic dichotomy between dynamic and static typing: Ciao has many dynamic features (e.g., dynamically typed, dynamic program modification) but includes an assertion language for (optionally) declaring program properties and powerful tools for static inference and static/dynamic checking of such assertions, testing, documentation, etc. We will provide a hands-on overview of these features, concentrating on the novel aspects, the motivations behind their design and implementation, their evolution over time, and, specially, their use. In particular, we will show how the system can be used not only as a programming tool and as a language design tool, but also as a general-purpose program analysis and verification tool, based on the technique of translating program semantics (ranging from source to bytecode, LLVM, or assembly) into Horn-clause representation, and idea which Ciao also introduced early on. Finally, we will present some recent work in areas such as scalability, incrementality, or static vs. dynamic costs, as well as some future plans and ideas.

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
Functional Federated Learning in Erlang (ffl-erl)
Gregor Ulm, Emil Gustavsson and Mats Jirstrand
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
Making Bubbling Practical
Steven Libby and Sergio Antoy
15:52
FMS: Functional Programming as a Modelling Language
Ingmar Dasseville and Gerda Janssens
16:14
Enhancing POI testing approach through the use of additional information
Sergio Pérez and Salvador Tamarit
16:36
Measuring Coverage of Prolog Programs Using Mutation Testing
Alexandros Efraimidis, Joshua Schmidt, Sebastian Krings and Philipp Körner