ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Magnus Madsen

Registered user since Mon 21 Sep 2015

Name:Magnus Madsen

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.

Affiliation:Aarhus University
Research interests:Programming Languages


Show activities from other conferences

ECOOP 2022-profile
View general profile