Magnus Madsen

Research output

Research output per year 2011 2018 2020 2023 2024 2025

• 17 Article in proceedings
• 5 Journal article
• 2 Paper
• 1 Ph.D. thesis
• 1 More
  • 1 Conference article

Research output per year

Research output per year

Search results

• 2025

  Overloading the Dot

  Tan, J. & Madsen, M., Feb 2025, CC 2025 - Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction. Kluss, D., Achour, S. & Palsberg, J. (eds.). Association for Computing Machinery, Inc., p. 60-69 10 p.

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Programming Language 100%
  • Autocompletion 100%
  • Functional Languages 50%
  • Syntactics 50%
  • Object Oriented Programming 50%
• 2024

  Associated Effects: Flexible Abstractions for Effectful Programming

  Lutze, M. & Madsen, M., Jun 2024, In: Proceedings of the ACM on Programming Languages . 8, 163.

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  Open Access

  • Effectful Programming 100%
  • Type Classes 100%
  • Class Instance 100%
  • Partial Functions 33%
  • Expressive Power 33%
  1 Citation (Scopus)

• AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming

  Schenck, R., Hinnerskov, N. H., Henriksen, T., Madsen, M. & Elsman, M., Oct 2024, In: Proceedings of the ACM on Programming Languages . 8, OOPSLA2, p. 1787-1813 27 p., 334.

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  Open Access

  • Function Application 100%
  • Polymorphic Function 100%
  • Typed Arrays 100%
  • Integer Linear Programming 100%
  • Application Function 100%

• Scientists and Code: Programming as a Tool

  Berger, C. P., Lutze, M. C. D., Elmqvist, N., Madsen, M. & Klokmose, C. N., 2024.

  Research output: Contribution to conference › Paper › Research › peer-review

  • Human Computer Interaction 100%
  • Centered Approach 100%
  • Contextual Inquiry 100%
  • ChatGPT 100%
  • Technical System 100%
• 2023

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

  Starup, J. L., Madsen, M. & Lhoták, O., Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 263).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  Open Access

  • Datalog 100%
  • Program Construct 16%
  • Logic Programming 16%
  • Programming Language 16%
  • Expressive Power 16%

• Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

  Madsen, M., Van De Pol, J. & Henriksen, T., Oct 2023, In: Proceedings of the ACM on Programming Languages . 7, OOPSLA2, p. 516–543 240.

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  Open Access

  File

  • Type Inference 100%
  • Hybrid Approach 100%
  • Speed-up 50%
  • Programming Pattern 50%
  • binary decision diagram 50%
  1 Downloads (Pure)

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

  Madsen, M. & Pol, J. V. D., Jul 2023, 37th European Conference on Object-Oriented Programming (ECOOP 2023). Ali, K. & Salvaneschi, G. (eds.). Dagstuhl Publishing, 27 p. 18. (Leibniz International Proceedings in Informatics, Vol. 263).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  Open Access

  • Parallelism 100%
  • Data Structure 100%
  • Order Function 50%
  • Programming Language Feature 50%
  • Type Inference 50%
  2 Citations (Scopus)

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

  Madsen, M., Starup, J. L. & Lutze, M., Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Dagstuhl Publishing, p. 17:1-17:27 17. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 263).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Type Systems 100%
  • Type System 100%
  • Pattern Matching 50%
  • Data Type 25%
  • Type Inference 25%

• With or Without You: Programming with Effect Exclusion

  Lutze, M., Madsen, M., Schuster, P. & Brachthäuser, J. I., Aug 2023, In: Proceedings of the ACM on Programming Languages . 7, ICFP, p. 448-475 28 p.

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  Open Access

  File

  • Fragment Program 100%
  • Signature Function 100%
  • Algebra of Set 100%
  • Arbitrary Unknown 100%
  • Principal Type 100%
  5 Citations (Scopus)

  1 Downloads (Pure)
• 2022

  Flix: A Meta Programming Language for Datalog

  Madsen, M., Starup, J. L. & Lhoták, O., Sept 2022, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022). CEUR-WS.org, p. 202-206 (CEUR Workshop Proceedings, Vol. 3203).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

  • Datalog 100%
  • Programming Language 100%
  61 Downloads (Pure)

• The Principles of the Flix Programming Language

  Madsen, M., 29 Nov 2022, Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022. New York: Association for Computing Machinery, p. 112-127 16 p.

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  Open Access

  • Programming Language 100%
  • Design Principle 100%
  • Design Language 75%
  • Static Semantics 25%
  • Language Designer 25%
  3 Citations (Scopus)
• 2021

  Relational nullable types with Boolean unification

  Madsen, M. & Van De Pol, J., Oct 2021, In: Proceedings of the ACM on Programming Languages . 5, OOPSLA, p. 1-28 28 p., 110.

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review

  Open Access

  File

  • Type Systems 100%
  • Programming Pattern 33%
  • Parametric Polymorphism 16%
  • Type Inference 16%
  • Open Source Project 16%
  6 Citations (Scopus)

  58 Downloads (Pure)
• 2020

  A Semantics for the Essence of React

  Madsen, M., Lhoták, O. & Tip, F., 1 Nov 2020, 34th European Conference on Object-Oriented Programming (ECOOP 2020). Hirschfeld, R. & Pape, T. (eds.). Dagstuhl: Dagstuhl Publishing, Vol. 166. p. 12:1-12:26 12. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 166).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  Open Access

  • Web Application 100%
  • User Interfaces 66%
  • Operational Semantics 33%
  • Formal Specification 33%
  • Javascript Code 33%
  2 Citations (Scopus)

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

  Madsen, M. & Lhoták, O., 13 Nov 2020, Proceedings of the ACM on Programming Languages. OOPSLA ed. Association for Computing Machinery, Vol. 4. 28 p. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  Open Access

  • Datalog 100%
  • Programming Language 42%
  • Type Systems 28%
  • lambda-calculus 14%
  • Soundness 14%
  19 Citations (Scopus)

• Fuzzing channel-based concurrency runtimes using types and effects

  Stiévenart, Q. & Madsen, M., 13 Nov 2020, Proceedings of the ACM on Programming Languages. OOPSLA ed. Association for Computing Machinery, Vol. 4. 27 p. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  Open Access

  • Concurrency 100%
  • Fuzzing 100%
  • Programming Language 66%
  • Message Passing 33%
  • Concurrent Language 33%
  3 Citations (Scopus)

• Polymorphic types and effects with Boolean unification

  Madsen, M. & Pol, J. V. D., 13 Nov 2020, Proceedings of the ACM on Programming Languages. OOPSLA ed. Association for Computing Machinery, Vol. 4. 29 p. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  Open Access

  • Polymorphic Type 100%
  • Type Inference 100%
  • Time Compilation 66%
  • Computational Complexity 33%
  • Type Systems 33%
  10 Citations (Scopus)
• 2018

  Finding Broken Promises in Asynchronous JavaScript Programs

  Alimadadi, S., Zhong, D., Madsen, M. & Tip, F., Nov 2018, In: Proceedings of the ACM on Programming Languages . 2, OOPSLA, p. 162:1-162:26 26 p., 162.

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

  Open Access

  File

  • Related Feature 100%
  • Anti-Pattern 100%
  • Open Source 50%
  • Control Flow 50%
  • Program Comprehension 50%
  17 Citations (Scopus)

  97 Downloads (Pure)

• Implicit Parameters for Logic Programming

  Madsen, M. & Lhoták, O., 3 Sept 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Sabel, D. & Thiemann, P. (eds.). New York, NY, USA: Association for Computing Machinery, 14 p. 14

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Logic Programming 100%
  • Function Call 66%
  • Object-Oriented Languages 33%
  • Functional Languages 33%
  • Datalog 33%
  1 Citation (Scopus)

• Safe and Sound Program Analysis with Flix

  Madsen, M. & Lhoták, O., 12 Jul 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (eds.). New York, NY, USA: Association for Computing Machinery, p. 38-48 11 p.

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Static Program Analysis 100%
  • Program Analysis 100%
  • Soundness 50%
  • Refactoring 16%
  • Program Verification 16%
  12 Citations (Scopus)

• Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine

  Madsen, M., Zarifi, R. & Lhoták, O., 24 Feb 2018, CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018. Xue, J. & Dubach, C. (eds.). New York, NY, USA: Association for Computing Machinery, p. 139-150 12 p.

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Backward Compatibility 100%
  4 Citations (Scopus)
• 2015

  Static Analysis of Dynamic Languages

  Madsen, M., 3 Mar 2015, Department of Computer Science, Aarhus University. 236 p.

  Research output: Book/anthology/dissertation/report › Ph.D. thesis

  Open Access

  File

  • Static Program Analysis 100%
  • Dynamic Programming Language 100%
  • Type Systems 66%
  • Lingua Franca 33%
  • Refactoring 33%
  3805 Downloads (Pure)
• 2014

  Sparse Dataflow Analysis with Pointers and Reachability

  Madsen, M. & Møller, A., 2014, Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings. Müller-Olm , M. & Seidl, H. (eds.). Springer VS, p. 201-218 18 p. (Lecture Notes in Computer Science, Vol. 8723).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Javascript Code 100%
  • Analysis Framework 100%
  • Static Single Assignment Form 100%
  • Experimental Result 100%
  15 Citations (Scopus)

• String Analysis for Dynamic Field Access

  Madsen, M. & Andreasen, E., 2014, Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Cohen , A. (ed.). Springer, p. 197-217 21 p. (Lecture Notes in Computer Science, Vol. 8409).

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

  • False Positive 100%
  • Static Program Analysis 100%
  • Approximation (Algorithm) 50%
  • Scripting Languages 50%
  • Join Operation 50%
  28 Citations (Scopus)

  210 Downloads (Pure)
• 2013

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

  Madsen, M., Livshits, B. & Fanning, M., 1 Jan 2013, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering , ESEC/FSE 2013 . Meyer, B., Baresi, L. & Mezini, M. (eds.). Association for Computing Machinery, p. 499-509 11 p.

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Operating Systems 100%
  • Static Program Analysis 100%
  • Partial Specification 100%
  • Lines of Code 100%
  • Pointer Analysis 100%
  87 Citations (Scopus)
• 2012

  Improving Tools for JavaScript Programmers (Position Paper)

  Andreasen, E., Feldthaus, A., Jensen, S. H., Jensen, C. S., Jonsson, P. A., Madsen, M. & Møller, A., 2012. 9 p.

  Research output: Contribution to conference › Paper › Research › peer-review

  • Research Project 100%
  • Code Refactoring 100%
• 2011

  Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications

  Jensen, S. H., Madsen, M. & Møller, A., 2011, Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. ESEC/FSE '11 . Association for Computing Machinery, p. 59-69 11 p.

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Static Program Analysis 100%
  • Web Application 100%
  • Call Graph 25%
  • Statically Typed Language 25%
  • Integrated Development Environment 25%
  86 Citations (Scopus)