Registered user since Mon 21 Sep 2015
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.
|ECOOP 2022|| Dahl-Nygaard Junior Prize: Magnus Madsen - An Introduction to the Flix Programming Language|
Committee Member in Program Committee within the Research Papers-track
|Show activities from other conferences|
View general profile