Magnus Madsen

Publikation

Publikationer pr. år 2011 2018 2020 2023 2024 2025

• 17 Konferencebidrag i proceedings
• 5 Tidsskriftartikel
• 2 Paper
• 1 Konferenceartikel
• 1 Mere
  • 1 Ph.d.-afhandling

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 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. (red.). Association for Computing Machinery, Inc., s. 60-69 10 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › 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, I: Proceedings of the ACM on Programming Languages . 8, 163.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

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

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

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

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • 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.

  Publikation: Konferencebidrag › Paper › Forskning › 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. (red.). Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 263).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • 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., okt. 2023, I: Proceedings of the ACM on Programming Languages . 7, OOPSLA2, s. 516–543 240.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • 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. (red.). Dagstuhl Publishing, 27 s. 18. (Leibniz International Proceedings in Informatics, Bind 263).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Parallelism 100%
  • Data Structure 100%
  • Order Function 50%
  • Programming Language Feature 50%
  • Type Inference 50%
  2 Citationer (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. (red.). Dagstuhl Publishing, s. 17:1-17:27 17. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 263).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › 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, I: Proceedings of the ACM on Programming Languages . 7, ICFP, s. 448-475 28 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

  1 Downloads (Pure)
• 2022

  Flix: A Meta Programming Language for Datalog

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

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Datalog 100%
  • Programming Language 100%
  71 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, s. 112-127 16 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

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

  Relational nullable types with Boolean unification

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

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

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

  59 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. (red.). Dagstuhl: Dagstuhl Publishing, Bind 166. s. 12:1-12:26 12. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 166).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Web Application 100%
  • User Interfaces 66%
  • Operational Semantics 33%
  • Formal Specification 33%
  • Javascript Code 33%
  2 Citationer (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 udg. Association for Computing Machinery, Bind 4. 28 s. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Datalog 100%
  • Programming Language 42%
  • Type Systems 28%
  • lambda-calculus 14%
  • Soundness 14%
  19 Citationer (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 udg. Association for Computing Machinery, Bind 4. 27 s. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Concurrency 100%
  • Fuzzing 100%
  • Programming Language 66%
  • Message Passing 33%
  • Concurrent Language 33%
  3 Citationer (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 udg. Association for Computing Machinery, Bind 4. 29 s. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

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

  Finding Broken Promises in Asynchronous JavaScript Programs

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

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

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

  97 Downloads (Pure)

• Implicit Parameters for Logic Programming

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

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Logic Programming 100%
  • Function Call 66%
  • Object-Oriented Languages 33%
  • Functional Languages 33%
  • Datalog 33%
  1 Citationer (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. (red.). New York, NY, USA: Association for Computing Machinery, s. 38-48 11 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Static Program Analysis 100%
  • Program Analysis 100%
  • Soundness 50%
  • Refactoring 16%
  • Program Verification 16%
  12 Citationer (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. (red.). New York, NY, USA: Association for Computing Machinery, s. 139-150 12 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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

  Static Analysis of Dynamic Languages

  Madsen, M., 3 mar. 2015, Department of Computer Science, Aarhus University. 236 s.

  Publikation: Typer af afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Static Program Analysis 100%
  • Dynamic Programming Language 100%
  • Dynamic Programming Languages 100%
  • Dynamic Languages 100%
  • Type Systems 66%
  3824 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. (red.). Springer VS, s. 201-218 18 s. (Lecture Notes in Computer Science, Bind 8723).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Javascript Code 100%
  • Analysis Framework 100%
  • Static Single Assignment Form 100%
  • Experimental Result 100%
  15 Citationer (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. (red.). Springer, s. 197-217 21 s. (Lecture Notes in Computer Science, Bind 8409).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • False Positive 100%
  • Static Program Analysis 100%
  • Approximation (Algorithm) 50%
  • Scripting Languages 50%
  • Join Operation 50%
  28 Citationer (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. (red.). Association for Computing Machinery, s. 499-509 11 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Operating Systems 100%
  • Static Program Analysis 100%
  • Partial Specification 100%
  • Lines of Code 100%
  • Pointer Analysis 100%
  87 Citationer (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 s.

  Publikation: Konferencebidrag › Paper › Forskning › 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, s. 59-69 11 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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