Urmăriți
Magnus Madsen
Titlu
Citat de
Citat de
Anul
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
1672013
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
1672011
Static analysis of event-driven Node. js JavaScript applications
M Madsen, F Tip, O Lhoták
ACM SIGPLAN Notices 50 (10), 505-519, 2015
1362015
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
1352016
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
572017
String analysis for dynamic field access
M Madsen, E Andreasen
International Conference on Compiler Construction, 197-217, 2014
462014
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
322018
Sparse dataflow analysis with pointers and reachability
M Madsen, A Møller
International Static Analysis Symposium, 201-218, 2014
312014
Code dependency calculation
MC Fanning, CMH Faucon, MT Hall, N Nagappan, B Livshits, M Madsen
US Patent 9,122,490, 2015
302015
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
282016
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
222020
Safe and sound program analysis with Flix
M Madsen, O Lhoták
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
212018
Static analysis of dynamic languages
M Madsen
Department of Computer Science, Aarhus University, 2015
172015
A Semantics for the Essence of React
M Madsen, O Lhotak, F Tip
European Conference on Object-Oriented Programming, 2020
122020
Relational nullable types with Boolean unification
M Madsen, J Van De Pol
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021
92021
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
82020
TAJS: Type analyzer for JavaScript
A Møller, SH Jensen, P Thiemann, M Madsen, MD Ingesman, P Jonsson, ...
82014
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
62022
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
62012
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
42023
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20