Magnus Madsen

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 21

Top Topics

Datalog Queries

Programming Language

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

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