Magnus Madsen
Orcid: 0000-0002-7510-8724
According to our database1,
Magnus Madsen
authored at least 29 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
2
3
1
3
1
1
3
2
1
3
2
1
2
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming.
Proc. ACM Program. Lang., 2024
2023
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems.
Proc. ACM Program. Lang., October, 2023
Proc. ACM Program. Lang., August, 2023
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact).
Dataset, July, 2023
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact).
Dataset, July, 2023
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact).
Dagstuhl Artifacts Ser., 2023
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022
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
2020
Proc. ACM Program. Lang., 2020
Proc. ACM Program. Lang., 2020
Proc. ACM Program. Lang., 2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
2018
Proc. ACM Program. Lang., 2018
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018
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.
Proceedings of the 27th International Conference on Compiler Construction, 2018
2017
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
2014
Proceedings of the Static Analysis - 21st International Symposium, 2014
Proceedings of the Compiler Construction - 23rd International Conference, 2014
2013
Practical static analysis of JavaScript applications in the presence of frameworks and libraries.
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.
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