Magnus Madsen

30 papers A* 2A 6B 4C 1Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Flix: A Design for Language-Integrated Datalog.
Proc. ACM Program. Lang.
Magnus Madsen, Ondrej Lhoták
2025 B conf
Overloading the Dot.
CC
Joseph Tan, Magnus Madsen
2025 J jnl
Qualified Types with Boolean Algebras.
Proc. ACM Program. Lang.
Edward Lee, Jonathan Lindegaard Starup, Ondrej Lhoták, Magnus Madsen
2024 J jnl
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming.
Proc. ACM Program. Lang.
Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, Martin Elsman
2024 J jnl
Associated Effects: Flexible Abstractions for Effectful Programming.
Proc. ACM Program. Lang.
Matthew Lutze, Magnus Madsen
2023 A conf
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints.
ECOOP
Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták
2023 J jnl
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems.
Proc. ACM Program. Lang.
Magnus Madsen, Jaco van de Pol, Troels Henriksen
2023 A conf
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism.
ECOOP
Magnus Madsen, Jaco van de Pol
2023 J jnl
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact).
Dagstuhl Artifacts Ser.
Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze
2023 A conf
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants.
ECOOP
Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze
2023 J jnl
With or Without You: Programming with Effect Exclusion.
Proc. ACM Program. Lang.
Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser
2022 — conf
Flix: A Meta Programming Language for Datalog.
Datalog
Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták
2022 — conf
The Principles of the Flix Programming Language.
Onward!
Magnus Madsen
2021 J jnl
Relational nullable types with Boolean unification.
Proc. ACM Program. Lang.
Magnus Madsen, Jaco van de Pol
2020 A conf
A Semantics for the Essence of React.
ECOOP
Magnus Madsen, Ondrej Lhoták, Frank Tip
2020 J jnl
Fixpoints for the masses: programming with first-class Datalog constraints.
Proc. ACM Program. Lang.
Magnus Madsen, Ondrej Lhoták
2020 J jnl
Fuzzing channel-based concurrency runtimes using types and effects.
Proc. ACM Program. Lang.
Quentin Stiévenart, Magnus Madsen
2020 J jnl
Polymorphic types and effects with Boolean unification.
Proc. ACM Program. Lang.
Magnus Madsen, Jaco van de Pol
2018 J jnl
Finding broken promises in asynchronous JavaScript programs.
Proc. ACM Program. Lang.
Saba Alimadadi, Di Zhong, Magnus Madsen, Frank Tip
2018 C conf
Implicit Parameters for Logic Programming.
PPDP
Magnus Madsen, Ondrej Lhoták
2018 A conf
Safe and sound program analysis with Flix.
ISSTA
Magnus Madsen, Ondrej Lhoták
2018 B conf
Tail call elimination and data representation for functional languages on the Java virtual machine.
CC
Magnus Madsen, Ramin Zarifi, Ondrej Lhoták
2017 J jnl
A model for reasoning about JavaScript promises.
Proc. ACM Program. Lang.
Magnus Madsen, Ondrej Lhoták, Frank Tip
2016 A* conf
Feedback-directed instrumentation for deployed JavaScript applications.
ICSE
Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
2016 A* conf
From Datalog to flix: a declarative language for fixed points on lattices.
PLDI
Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták
2015 A conf
Static analysis of event-driven Node.js JavaScript applications.
OOPSLA
Magnus Madsen, Frank Tip, Ondrej Lhoták
2014 B conf
Sparse Dataflow Analysis with Pointers and Reachability.
SAS
Magnus Madsen, Anders Møller
2014 B conf
String Analysis for Dynamic Field Access.
CC
Magnus Madsen, Esben Andreasen
2013 — conf
Practical static analysis of JavaScript applications in the presence of frameworks and libraries.
ESEC/SIGSOFT FSE
Magnus Madsen, Benjamin Livshits, Michael Fanning
2011 — conf
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications.
SIGSOFT FSE
Simon Holm Jensen, Magnus Madsen, Anders Møller