ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Fri 10 Jun 2022 09:30 - 10:30 at Aurora Borealis 1 - Friday

Flix is a new functional, imperative, and logic programming language under development by programming language researchers at Aarhus University, the University of Waterloo, Universität Tübingen, and by a growing community of open-source contributors.

In this talk, I will present several notable features of Flix, including its support for first-class Datalog constraints and its polymorphic type and effect system.

AITO Dahl-Nygaard Prize Winners 2022

About AITO, Dahl-Nygaard Prize

Magnus Madsen is an assistant professor at Aarhus University.

Magnus Madsen is the leader behind Flix, a declarative language for implementing modular and expressive program analyses. Flix seamlessly integrates logic, functional and imperative features, and supports interoperability with Java. The language has a solid implementation and runs on the JVM. Notable applications of Flix include high-level declarative implementations of interprocedural analysis frameworks like IFDS and IDE, a new polymorphic effect system for tracking side-effects, and a novel expressive type system for nullability.

Magnus has also done noteworthy work on static and dynamic analysis for JavaScript, in particular for reasoning about asynchrony in applications with events and promises, and for developing practical bug-finding tools.

Fri 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
09:00
30m
Awards
Awards, Outlooks, and Farewells
Keynotes
Mira Mezini TU Darmstadt, Ben Hermann Technical University Dortmund, Karim Ali University of Alberta, Jan Vitek Northeastern University; Czech Technical University, Stefan Winter LMU Munich, Alessandra Gorla IMDEA Software Institute, Guido Salvaneschi University of St. Gallen
09:30
60m
Talk
Dahl-Nygaard Junior Prize: Magnus Madsen - An Introduction to the Flix Programming Language
Keynotes
K: Magnus Madsen Aarhus University
File Attached