Follow
Magnus Madsen
Title
Cited by
Cited by
Year
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
SH Jensen, M Madsen, A Mřller
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
1722011
Practical static analysis of JavaScript applications in the presence of frameworks and libraries
M Madsen, B Livshits, M Fanning
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
1702013
From datalog to flix: A declarative language for fixed points on lattices
M Madsen, MH Yee, O Lhoták
ACM SIGPLAN Notices 51 (6), 194-208, 2016
1442016
Static analysis of event-driven Node. js JavaScript applications
M Madsen, F Tip, O Lhoták
ACM SIGPLAN Notices 50 (10), 505-519, 2015
1402015
A model for reasoning about JavaScript promises
M Madsen, O Lhoták, F Tip
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-24, 2017
612017
String analysis for dynamic field access
M Madsen, E Andreasen
International Conference on Compiler Construction, 197-217, 2014
492014
Finding broken promises in asynchronous JavaScript programs
S Alimadadi, D Zhong, M Madsen, F Tip
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-26, 2018
342018
Code dependency calculation
MC Fanning, CMH Faucon, MT Hall, N Nagappan, B Livshits, M Madsen
US Patent 9,122,490, 2015
342015
Sparse dataflow analysis with pointers and reachability
M Madsen, A Mřller
International Static Analysis Symposium, 201-218, 2014
332014
Feedback-directed instrumentation for deployed JavaScript applications
M Madsen, F Tip, E Andreasen, K Sen, A Mřller
Proceedings of the 38th International Conference on Software Engineering …, 2016
302016
Fixpoints for the masses: programming with first-class Datalog constraints
M Madsen, O Lhoták
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
292020
Safe and sound program analysis with Flix
M Madsen, O Lhoták
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
222018
Static analysis of dynamic languages
M Madsen
Department of Computer Science, Aarhus University, 2015
192015
A Semantics for the Essence of React
M Madsen, O Lhotak, F Tip
European Conference on Object-Oriented Programming, 2020
132020
Polymorphic types and effects with Boolean unification
M Madsen, J van de Pol
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
102020
Flix: A meta programming language for Datalog
M Madsen, JL Starup, O Lhoták
Datalog 2.0 2022: 4th International Workshop on the Resurgence of Datalog in …, 2022
92022
Relational nullable types with Boolean unification
M Madsen, J Van De Pol
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021
92021
TAJS: Type analyzer for JavaScript
A Mřller, SH Jensen, P Thiemann, M Madsen, MD Ingesman, P Jonsson, ...
82014
Improving tools for javascript programmers
E Andreasen, A Feldthaus, SH Jensen, CS Jensen, PA Jonsson, ...
Proc. of International Workshop on Scripts to Programs. Beijing, China:[sn …, 2012
62012
With or Without You: Programming with Effect Exclusion
M Lutze, M Madsen, P Schuster, JI Brachthäuser
Proceedings of the ACM on Programming Languages 7 (ICFP), 448-475, 2023
52023
The system can't perform the operation now. Try again later.
Articles 1–20