| 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 | 141 | 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 | 126 | 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 | 85 | 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 | 64 | 2016 |
| String analysis for dynamic field access M Madsen, E Andreasen International Conference on Compiler Construction, 197-217, 2014 | 33 | 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 | 26 | 2017 |
| Sparse dataflow analysis with pointers and reachability M Madsen, A Møller International Static Analysis Symposium, 201-218, 2014 | 23 | 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 | 22 | 2016 |
| Code dependency calculation MC Fanning, CMH Faucon, MT Hall, N Nagappan, B Livshits, M Madsen US Patent 9,122,490, 2015 | 19 | 2015 |
| Static analysis of dynamic languages M Madsen Доступно по ссылке: http://pure. au. dk/ws/files/85299449/Thesis. pdf, 2015 | 12 | 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 | 11 | 2018 |
| Safe and sound program analysis with Flix M Madsen, O Lhoták Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 7 | 2018 |
| TAJS: Type analyzer for JavaScript A Møller, SH Jensen, P Thiemann, M Madsen, MD Ingesman, P Jonsson, ... | 6 | 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 | 4 | 2012 |
| Programming a Dataflow Analysis in Flix M Madsen, MH Yee, O Lhoták Tools for Automatic Program Analysis (TAPAS), 2016 | 3 | 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 | 3 | 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 | 2 | 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 | 1 | 2020 |
| A Semantics for the Essence of React M Madsen, O Lhotak, F Tip European Conference on Object-Oriented Programming, 2020 | 1 | 2020 |
| Implicit Parameters for Logic Programming M Madsen, O Lhoták Proceedings of the 20th International Symposium on Principles and Practice …, 2018 | 1 | 2018 |
Ondrej LhotakComputer Science, University of WaterlooVerified email at uwaterloo.ca
