Collaborated with:M.Might T.DuBuisson Ö.S.Agacan Celeste Hollenbeck Thomas Gilray Steven Lyde D.V.Horn
Talks about:templat (2) pars (2) pushdown (1) boilerpl (1) program (1) perform (1) generic (1) control (1) complex (1) analysi (1)
Person: Michael D. Adams 0001
DBLP: 0001:Michael_D=_Adams
Contributed to:
20122014
2016
2016Wrote 4 papers:
- Haskell-2012-AdamsD #haskell #performance #programming #using
- Template your boilerplate: using template haskell for efficient generic programming (MDA0, TD), pp. 13–24.
- Haskell-2014-AdamsA #parsing
- Indentation-sensitive parsing for Parsec (MDA0, ÖSA), pp. 121–132.
- PLDI-2016-0001HM #complexity #on the #parsing #performance
- On the complexity and performance of parsing with derivatives (MDA0, CH, MM), pp. 224–236.
- POPL-2016-GilrayL0MH #analysis #automaton #control flow #for free
- Pushdown control-flow analysis for free (TG, SL, MDA0, MM, DVH), pp. 691–704.