Magnus Madsen
Curriculum Vitae
Magnus Madsen

About Magnus

I am postdoctoral researcher at the University of Waterloo (Canada) in the Programming Languages Group under the supervision of Ondřej Lhoták.

I received my PhD from Aarhus University for the thesis Static Analysis of Dynamic Languages. My thesis advisor was Anders Møller.

My full curriculum vitae. My Google Scholar. My DBLP. My GitHub.

My email is my username on this machine at uwaterloo dot ca.

Research Interests

My primary area of research is static analysis. I am currently pursuing a logic foundation for the implementation of static analyzers, especially for points-to and dataflow analysis. In practical terms, we are trying to design an extension of the Datalog language which has wider support for different kinds of fixpoint problems.

I have previously worked on various aspects of static analysis of JavaScript. Including how to accurately model the HTML DOM and browser environment, how to deal with large and complex libraries, dynamic field accesses and techniques for improving the performance of dataflow analyses in the presence of pointers and reachability.

I enjoy functional programming and the Scala programming language.

Papers