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