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
1672011
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
1652013
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
1322016
Static analysis of event-driven Node. js JavaScript applications
M Madsen, F Tip, O Lhoták
ACM SIGPLAN Notices 50 (10), 505-519, 2015
1322015
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
582017
String analysis for dynamic field access
M Madsen, E Andreasen
International Conference on Compiler Construction, 197-217, 2014
462014
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
322018
Sparse dataflow analysis with pointers and reachability
M Madsen, A Mřller
International Static Analysis Symposium, 201-218, 2014
302014
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
292016
Code dependency calculation
MC Fanning, CMH Faucon, MT Hall, N Nagappan, B Livshits, M Madsen
US Patent 9,122,490, 2015
292015
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
212020
Safe and sound program analysis with Flix
M Madsen, O Lhoták
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
202018
Static analysis of dynamic languages
M Madsen
Доступно по ссылке: http://pure. au. dk/ws/files/85299449/Thesis. pdf, 2015
162015
A Semantics for the Essence of React
M Madsen, O Lhotak, F Tip
European Conference on Object-Oriented Programming, 2020
122020
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
82020
TAJS: Type analyzer for JavaScript
A Mřller, SH Jensen, P Thiemann, M Madsen, MD Ingesman, P Jonsson, ...
82014
Relational nullable types with Boolean unification
M Madsen, J van de Pol
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021
72021
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
Flix: A Meta Programming Language for Datalog
M Madsen, JL Starup, O Lhoták
42022
Programming a Dataflow Analysis in Flix
M Madsen, MH Yee, O Lhoták
Tools for Automatic Program Analysis (TAPAS), 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20