Concepedia

Magnus Madsen

MM

16

Publications

616

Citations

13

H-Index

2011

Active since

Affiliations

Aarhus University(Current)

University of Waterloo

Samsung (United States)

Aalborg University

Northeastern University

Magnus Madsen is an author at Aarhus University specializing in engineering, program analysis, and computer science.

ORCID

Top concepts

Publications per year

2011–2023

16

Publications

16

Modeling the HTML DOM and browser API in static analysis of JavaScript web applications

Simon Holm Jensen, Magnus Madsen, Anders Møller · 2011 · 117 citations

Practical static analysis of JavaScript applications in the presence of frameworks and libraries

Magnus Madsen, Benjamin Livshits, Michael Fanning · 2013 · 110 citations

, , +15

From Datalog to flix: a declarative language for fixed points on lattices

Magnus Madsen, Ming‐Ho Yee, Ondřej Lhoták · 2016 · 82 citations

, , +24

Static analysis of event-driven Node.js JavaScript applications

Magnus Madsen, Frank Tip, Ondřej Lhoták · 2015 · 77 citations

, , +18

A model for reasoning about JavaScript promises

Magnus Madsen, Ondřej Lhoták, Frank Tip · Proceedings of the ACM on Programming Languages · 2017 · 35 citations · Full text

, , +20

Rows per page

1–5 of 16