Travelled to:1 × Canada
2 × USA
Collaborated with:R.K.Dybvig M.Might S.Liang W.Sun D.V.Horn M.D.Adams J.Midtgaard A.Chauhan
Talks about:flow (2) framework (1) recoveri (1) pushdown (1) nanopass (1) commerci (1) develop (1) analysi (1) sensit (1) linear (1)
Person: Andrew W. Keep
DBLP: Keep:Andrew_W=
Contributed to:
2014
2013
2011Wrote 3 papers:
- SCAM-2014-LiangSMKH #analysis #automaton #exception
- Pruning, Pushdown Exception-Flow Analysis (SL, WS, MM, AWK, DVH), pp. 265–274.
- ICFP-2013-KeepD #compilation #development #framework
- A nanopass framework for commercial compiler development (AWK, RKD), pp. 343–350.
- OOPSLA-2011-AdamsKMMCD #polynomial
- Flow-sensitive type recovery in linear-log time (MDA, AWK, JM, MM, AC, RKD), pp. 483–498.