Magnus Madsen

According to our database, Magnus Madsen authored at least 25 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2023

With or Without You: Programming with Effect Exclusion.

Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., August, 2023

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact).

Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze

Dagstuhl Artifacts Ser., 2023

Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints.

Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants.

Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism.

Magnus Madsen, Jaco van de Pol

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

The Principles of the Flix Programming Language.

Magnus Madsen

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Flix: A Meta Programming Language for Datalog.

Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

Relational nullable types with Boolean unification.

Magnus Madsen, Jaco van de Pol

Proc. ACM Program. Lang., 2021

2020

Fuzzing channel-based concurrency runtimes using types and effects.

Quentin Stiévenart, Magnus Madsen

Proc. ACM Program. Lang., 2020

Polymorphic types and effects with Boolean unification.

Magnus Madsen, Jaco van de Pol

Proc. ACM Program. Lang., 2020

Fixpoints for the masses: programming with first-class Datalog constraints.

Magnus Madsen, Ondrej Lhoták

Proc. ACM Program. Lang., 2020

A Semantics for the Essence of React.

Magnus Madsen, Ondrej Lhoták, Frank Tip

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2018

Finding broken promises in asynchronous JavaScript programs.

Saba Alimadadi, Di Zhong, Magnus Madsen, Frank Tip

Proc. ACM Program. Lang., 2018

Implicit Parameters for Logic Programming.

Magnus Madsen, Ondrej Lhoták

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Safe and sound program analysis with Flix.

Magnus Madsen, Ondrej Lhoták

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Tail call elimination and data representation for functional languages on the Java virtual machine.

Magnus Madsen, Ramin Zarifi, Ondrej Lhoták

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

A model for reasoning about JavaScript promises.

Magnus Madsen, Ondrej Lhoták, Frank Tip

Proc. ACM Program. Lang., 2017

2016

From Datalog to flix: a declarative language for fixed points on lattices.

Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Feedback-directed instrumentation for deployed JavaScript applications.

Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Static analysis of event-driven Node.js JavaScript applications.

Magnus Madsen, Frank Tip, Ondrej Lhoták

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Sparse Dataflow Analysis with Pointers and Reachability.

Magnus Madsen, Anders Møller

Proceedings of the Static Analysis - 21st International Symposium, 2014

String Analysis for Dynamic Field Access.

Magnus Madsen, Esben Andreasen

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Practical static analysis of JavaScript applications in the presence of frameworks and libraries.

Magnus Madsen, Benjamin Livshits, Michael Fanning

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2011

Modeling the HTML DOM and browser API in static analysis of JavaScript web applications.

Simon Holm Jensen, Magnus Madsen, Anders Møller

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011