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 | 167 | 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 | 165 | 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 | 135 | 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 | 132 | 2016 |
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 | 57 | 2017 |
String analysis for dynamic field access M Madsen, E Andreasen International Conference on Compiler Construction, 197-217, 2014 | 46 | 2014 |
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 | 32 | 2018 |
Sparse dataflow analysis with pointers and reachability M Madsen, A Møller International Static Analysis Symposium, 201-218, 2014 | 31 | 2014 |
Code dependency calculation MC Fanning, CMH Faucon, MT Hall, N Nagappan, B Livshits, M Madsen US Patent 9,122,490, 2015 | 29 | 2015 |
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 | 28 | 2016 |
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 | 22 | 2020 |
Safe and sound program analysis with Flix M Madsen, O Lhoták Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 21 | 2018 |
Static analysis of dynamic languages M Madsen Department of Computer Science, Aarhus University, 2015 | 17 | 2015 |
A Semantics for the Essence of React M Madsen, O Lhotak, F Tip European Conference on Object-Oriented Programming, 2020 | 12 | 2020 |
Relational nullable types with Boolean unification M Madsen, J Van De Pol Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | 8 | 2021 |
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 | 8 | 2020 |
TAJS: Type analyzer for JavaScript A Møller, SH Jensen, P Thiemann, M Madsen, MD Ingesman, P Jonsson, ... | 8 | 2014 |
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 | 6 | 2012 |
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 | 5 | 2022 |
Programming a Dataflow Analysis in Flix M Madsen, MH Yee, O Lhoták Tools for Automatic Program Analysis (TAPAS), 2016 | 4 | 2016 |