| 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 | 171 | 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 | 168 | 2013 |
| 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 | 139 | 2016 |
| Static analysis of event-driven Node. js JavaScript applications M Madsen, F Tip, O Lhoták ACM SIGPLAN Notices 50 (10), 505-519, 2015 | 137 | 2015 |
| 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 | 60 | 2017 |
| String analysis for dynamic field access M Madsen, E Andreasen International Conference on Compiler Construction, 197-217, 2014 | 48 | 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 | 33 | 2018 |
| Code dependency calculation MC Fanning, CMH Faucon, MT Hall, N Nagappan, B Livshits, M Madsen US Patent 9,122,490, 2015 | 32 | 2015 |
| Sparse dataflow analysis with pointers and reachability M Madsen, A Mřller International Static Analysis Symposium, 201-218, 2014 | 32 | 2014 |
| 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 | 29 | 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 | 25 | 2020 |
| Safe and sound program analysis with Flix M Madsen, O Lhoták Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 22 | 2018 |
| Static analysis of dynamic languages M Madsen Department of Computer Science, Aarhus University, 2015 | 19 | 2015 |
| A Semantics for the Essence of React M Madsen, O Lhotak, F Tip European Conference on Object-Oriented Programming, 2020 | 13 | 2020 |
| 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 | 10 | 2020 |
| 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 | 9 | 2022 |
| Relational nullable types with Boolean unification M Madsen, J Van De Pol Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | 9 | 2021 |
| 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 |
| 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 | 5 | 2023 |
Ondrej LhotakComputer Science, University of WaterlooVerified email at uwaterloo.ca
