Segui
Magnus Madsen
Titolo
Citata da
Citata da
Anno
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
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
1652013
Static analysis of event-driven Node. js JavaScript applications
M Madsen, F Tip, O Lhotįk
ACM SIGPLAN Notices 50 (10), 505-519, 2015
1322015
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
1312016
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
302014
Code dependency calculation
MC Fanning, CMH Faucon, MT Hall, N Nagappan, B Livshits, M Madsen
US Patent 9,122,490, 2015
292015
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
202018
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
82021
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
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
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
42022
Programming a Dataflow Analysis in Flix
M Madsen, MH Yee, O Lhotįk
Tools for Automatic Program Analysis (TAPAS), 2016
42016
Il sistema al momento non puņ eseguire l'operazione. Riprova pił tardi.
Articoli 1–20