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.
View general profile