Travelled to:1 × France
1 × Germany
1 × Hungary
1 × Russia
1 × USA
Collaborated with:O.Lhoták F.Tip A.Møller E.Andreasen B.Livshits M.Fanning S.H.Jensen R.Zarifi Ming-Ho Yee S.Alimadadi Di Zhong
Talks about:javascript (5) analysi (5) static (3) applic (3) program (2) languag (2) promis (2) model (2) represent (1) framework (1)
Person: Magnus Madsen
DBLP: Madsen:Magnus
Contributed to:
2015
2014
2014
20132011201820172018
2016
2018Wrote 10 papers:
- OOPSLA-2015-MadsenTL #javascript #static analysis
- Static analysis of event-driven Node.js JavaScript applications (MM, FT, OL), pp. 505–519.
- CC-2014-MadsenA #analysis #string
- String Analysis for Dynamic Field Access (MM, EA), pp. 197–217.
- SAS-2014-MadsenM #analysis #data flow #pointer #reachability
- Sparse Dataflow Analysis with Pointers and Reachability (MM, AM), pp. 201–218.
- ESEC-FSE-2013-MadsenLF #framework #javascript #library #static analysis
- Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.
- ESEC-FSE-2011-JensenMM #api #html #javascript #modelling #static analysis #web
- Modeling the HTML DOM and browser API in static analysis of JavaScript web applications (SHJ, MM, AM), pp. 59–69.
- CC-2018-MadsenZL #data transformation #functional #java #representation #virtual machine
- Tail call elimination and data representation for functional languages on the Java virtual machine (MM, RZ, OL), pp. 139–150.
- OOPSLA-2017-MadsenLT #javascript #reasoning
- A model for reasoning about JavaScript promises (MM, OL, FT), p. 24.
- OOPSLA-2018-AlimadadiZMT #javascript #source code
- Finding broken promises in asynchronous JavaScript programs (SA, DZ, MM, FT), p. 26.
- PLDI-2016-MadsenYL #datalog #declarative #fixpoint
- From Datalog to flix: a declarative language for fixed points on lattices (MM, MHY, OL), pp. 194–208.
- PPDP-2018-MadsenL #logic programming #parametricity
- Implicit Parameters for Logic Programming (MM, OL), p. 14.