Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. - Simon Holm Jensen; Magnus Madsen; Anders Møller (SIGSOFT FSE, 2011)

Practical static analysis of JavaScript applications in the presence of frameworks and libraries. - Magnus Madsen; Benjamin Livshits; Michael Fanning (ESEC/SIGSOFT FSE, 2013)

String Analysis for Dynamic Field Access. - Magnus Madsen; Esben Andreasen (CC, 2014)

Sparse Dataflow Analysis with Pointers and Reachability. - Magnus Madsen; Anders Møller (SAS, 2014)

Static analysis of event-driven Node.js JavaScript applications. - Magnus Madsen; Frank Tip; Ondrej Lhoták (OOPSLA, 2015)

Feedback-directed instrumentation for deployed JavaScript applications. - Magnus Madsen; Frank Tip; Esben Andreasen; Koushik Sen; Anders Møller (ICSE, 2016)

From Datalog to flix: a declarative language for fixed points on lattices. - Magnus Madsen; Ming-Ho Yee; Ondrej Lhoták (PLDI, 2016)

A model for reasoning about JavaScript promises. - Magnus Madsen; Ondrej Lhoták; Frank Tip (Proc. ACM Program. Lang., 2017)

Tail call elimination and data representation for functional languages on the Java virtual machine. - Magnus Madsen; Ramin Zarifi; Ondrej Lhoták (CC, 2018)

Safe and sound program analysis with Flix. - Magnus Madsen; Ondrej Lhoták (ISSTA, 2018)

Implicit Parameters for Logic Programming. - Magnus Madsen; Ondrej Lhoták (PPDP, 2018)

Finding broken promises in asynchronous JavaScript programs. - Saba Alimadadi; Di Zhong; Magnus Madsen; Frank Tip (Proc. ACM Program. Lang., 2018)

A Semantics for the Essence of React. - Magnus Madsen; Ondrej Lhoták; Frank Tip (ECOOP, 2020)

Fixpoints for the masses: programming with first-class Datalog constraints. - Magnus Madsen; Ondrej Lhoták (Proc. ACM Program. Lang., 2020)

Polymorphic types and effects with Boolean unification. - Magnus Madsen; Jaco van de Pol (Proc. ACM Program. Lang., 2020)

Fuzzing channel-based concurrency runtimes using types and effects. - Quentin Stiévenart; Magnus Madsen (Proc. ACM Program. Lang., 2020)

Relational nullable types with Boolean unification. - Magnus Madsen; Jaco van de Pol (Proc. ACM Program. Lang., 2021)

Flix: A Meta Programming Language for Datalog. - Magnus Madsen; Jonathan Lindegaard Starup; Ondrej Lhoták (Datalog, 2022)

The Principles of the Flix Programming Language. - Magnus Madsen (Onward!, 2022)

Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. - Magnus Madsen; Jaco van de Pol (ECOOP, 2023)

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. - Magnus Madsen; Jonathan Lindegaard Starup; Matthew Lutze (ECOOP, 2023)

Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. - Jonathan Lindegaard Starup; Magnus Madsen; Ondrej Lhoták (ECOOP, 2023)

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact). - Magnus Madsen; Jonathan Lindegaard Starup; Matthew Lutze (Dagstuhl Artifacts Ser., 2023)

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact). - Magnus Madsen; Jaco van de Pol; Troels Henriksen (Zenodo, 2023)

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact). - Magnus Madsen; Jaco van de Pol; Troels Henriksen (Zenodo, 2023)

With or Without You: Programming with Effect Exclusion. - Matthew Lutze; Magnus Madsen; Philipp Schuster; Jonathan Immanuel Brachthäuser (Proc. ACM Program. Lang., 2023)

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. - Magnus Madsen; Jaco van de Pol; Troels Henriksen (Proc. ACM Program. Lang., 2023)

AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. - Robert Schenck 001; Nikolaj Hey Hinnerskov; Troels Henriksen; Magnus Madsen; Martin Elsman (Proc. ACM Program. Lang., 2024)

Associated Effects: Flexible Abstractions for Effectful Programming. - Matthew Lutze; Magnus Madsen (Proc. ACM Program. Lang., 2024)

Overloading the Dot. - Joseph Tan; Magnus Madsen (CC, 2025)