| 2025 | CC | Overloading the Dot. | Joseph Tan, Magnus Madsen |
| 2023 | ECOOP | Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. | Magnus Madsen, Jaco van de Pol |
| 2023 | ECOOP | Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. | Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze |
| 2023 | ECOOP | Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. | Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhotk |
| 2022 | Onward | The Principles of the Flix Programming Language. | Magnus Madsen |
| 2020 | ECOOP | A Semantics for the Essence of React. | Magnus Madsen, Ondrej Lhotk, Frank Tip |
| 2018 | CC | Tail call elimination and data representation for functional languages on the Java virtual machine. | Magnus Madsen, Ramin Zarifi, Ondrej Lhotk |
| 2018 | ISSTA | Safe and sound program analysis with Flix. | Magnus Madsen, Ondrej Lhotk |
| 2018 | PPDP | Implicit Parameters for Logic Programming. | Magnus Madsen, Ondrej Lhotk |
| 2016 | ICSE | Feedback-directed instrumentation for deployed JavaScript applications. | Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Mller |
| 2016 | PLDI | From Datalog to flix: a declarative language for fixed points on lattices. | Magnus Madsen, Ming-Ho Yee, Ondrej Lhotk |
| 2015 | OOPSLA | Static analysis of event-driven Node.js JavaScript applications. | Magnus Madsen, Frank Tip, Ondrej Lhotk |
| 2014 | CC | String Analysis for Dynamic Field Access. | Magnus Madsen, Esben Andreasen |
| 2014 | SAS | Sparse Dataflow Analysis with Pointers and Reachability. | Magnus Madsen, Anders Mller |