Travelled to:
1 × China
1 × France
1 × USA
Collaborated with:
M.Madsen A.Møller G.Li I.Ghosh C.S.Gordon S.C.0001 M.Sridharan F.Tip K.Sen
Talks about:
analysi (2) type (2) determinaci (1) javascript (1) retrofit (1) approach (1) automat (1) system (1) symbol (1) string (1)
Person: Esben Andreasen
DBLP: Andreasen:Esben
Contributed to:
Wrote 4 papers:
- CC-2014-MadsenA #analysis #string
- String Analysis for Dynamic Field Access (MM, EA), pp. 197–217.
- FSE-2014-LiAG #automation #javascript #named #testing #web
- SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
- OOPSLA-2014-AndreasenM #static analysis
- Determinacy in static analysis for jQuery (EA, AM), pp. 17–31.
- ECOOP-2016-AndreasenGCSTS #approach #type system
- Trace Typing: An Approach for Evaluating Retrofitted Type Systems (EA, CSG, SC0, MS, FT, KS), p. 26.