Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Wed 18 Jul 2018 11:00 - 11:30 at Cairo - Session I Chair(s): Max Schaefer

Flix is a functional and logic language suited for the implementation of static analysis tools. Flix is inspired by Datalog and extends its semantics from constraints on relations to constraints on lattices. The key ingredients being the addition of user-defined lattices as well as monotone filter and transfer functions. This talk presents an overview of Flix, including recent progress made in ensuring the safety and soundness of program analyses written in Flix.

I am an assistant professor at the Aalborg University, Aalborg, Denmark. I was previously a postdoctoral researcher at the University of Waterloo under the supervision of Ondřej Lhoták. I received my PhD from Aarhus University.

Wed 18 Jul

dpa-2018-papers
11:00 - 12:30: DPA - Session I at Cairo
Chair(s): Max SchaeferSemmle
dpa-2018-papers11:00 - 11:30
Talk
Magnus MadsenAalborg University
dpa-2018-papers11:30 - 12:00
Talk
Tamás Szabóitemis AG / TU Delft, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Sebastian ErdwegTU Delft, Markus Voelteritemis
File Attached
dpa-2018-papers12:00 - 12:30
Talk
Rei ThiessenGoogle Inc.
File Attached