Magnus Madsen
Cited by
Cited by
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
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
Static analysis of event-driven Node. js JavaScript applications
M Madsen, F Tip, O Lhoták
ACM SIGPLAN Notices 50 (10), 505-519, 2015
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
String analysis for dynamic field access
M Madsen, E Andreasen
International Conference on Compiler Construction, 197-217, 2014
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
Sparse dataflow analysis with pointers and reachability
M Madsen, A Møller
International Static Analysis Symposium, 201-218, 2014
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
Code dependency calculation
MC Fanning, CMH Faucon, MT Hall, N Nagappan, B Livshits, M Madsen
US Patent 9,122,490, 2015
Static analysis of dynamic languages
M Madsen
Доступно по ссылке: http://pure. au. dk/ws/files/85299449/Thesis. pdf, 2015
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
Safe and sound program analysis with Flix
M Madsen, O Lhoták
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
TAJS: Type analyzer for JavaScript
A Møller, SH Jensen, P Thiemann, M Madsen, MD Ingesman, P Jonsson, ...
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
Programming a Dataflow Analysis in Flix
M Madsen, MH Yee, O Lhoták
Tools for Automatic Program Analysis (TAPAS), 2016
Electrode placement in bioimpedance spectroscopy
M Birkemose, AJ Møller, ML Madsen, S Brantlov, H Sørensen, ...
2013 35th Annual International Conference of the IEEE Engineering in …, 2013
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
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
A Semantics for the Essence of React
M Madsen, O Lhotak, F Tip
European Conference on Object-Oriented Programming, 2020
Implicit Parameters for Logic Programming
M Madsen, O Lhoták
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
The system can't perform the operation now. Try again later.
Articles 1–20