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
1432011
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
1362013
Static analysis of event-driven Node. js JavaScript applications
M Madsen, F Tip, O Lhoták
ACM SIGPLAN Notices 50 (10), 505-519, 2015
1022015
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
762016
String analysis for dynamic field access
M Madsen, E Andreasen
International Conference on Compiler Construction, 197-217, 2014
392014
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
332017
Sparse dataflow analysis with pointers and reachability
M Madsen, A Mřller
International Static Analysis Symposium, 201-218, 2014
242014
Feedback-directed instrumentation for deployed JavaScript applications
M Madsen, F Tip, E Andreasen, K Sen, A Mřller
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
232016
Code dependency calculation
MC Fanning, CMH Faucon, MT Hall, N Nagappan, B Livshits, M Madsen
US Patent 9,122,490, 2015
202015
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
152018
Static analysis of dynamic languages
M Madsen
Доступно по ссылке: http://pure. au. dk/ws/files/85299449/Thesis. pdf, 2015
122015
Safe and sound program analysis with Flix
M Madsen, O Lhoták
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
82018
TAJS: Type analyzer for JavaScript
A Mřller, SH Jensen, P Thiemann, M Madsen, MD Ingesman, P Jonsson, ...
72014
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
42020
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
42012
Programming a Dataflow Analysis in Flix
M Madsen, MH Yee, O Lhoták
Tools for Automatic Program Analysis (TAPAS), 2016
32016
A Semantics for the Essence of React
M Madsen, O Lhotak, F Tip
European Conference on Object-Oriented Programming, 2020
22020
Tail call elimination and data representation for functional languages on the java virtual machine
M Madsen, R Zarifi, O Lhoták
Proceedings of the 27th International Conference on Compiler Construction …, 2018
22018
Implicit Parameters for Logic Programming
M Madsen, O Lhoták
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
12018
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
2020
The system can't perform the operation now. Try again later.
Articles 1–20