BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Madsen:Magnus

Contributed to:

OOPSLA 20152015
CC 20142014
SAS 20142014
ESEC/FSE 20132013
ESEC/FSE 20112011
CC 20182018
OOPSLA 20172017
OOPSLA 20182018
PLDI 20162016
PPDP 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.