Travelled to:1 × Canada
1 × India
1 × USA
1 × United Kingdom
Collaborated with:B.Livshits M.Veanes L.D'Antoni I.Rae G.Venolia J.C.Tang T.Mytkowicz R.A.Cochran P.Hooimeijer N.Bjørner
Talks about:program (3) transduc (2) manipul (2) understand (1) framework (1) algorithm (1) telepres (1) synthesi (1) parallel (1) languag (1)
Person: David Molnar
DBLP: Molnar:David
Contributed to:
2015
2015
20142012Wrote 5 papers:
- CSCW-2015-RaeVTM #comprehension #design #framework
- A Framework for Understanding and Designing Telepresence (IR, GV, JCT, DM), pp. 1552–1566.
- POPL-2015-CochranDLMV #synthesis
- Program Boosting: Program Synthesis via Crowd-Sourcing (RAC, LD, BL, DM, MV), pp. 677–688.
- POPL-2015-VeanesMML #source code #string
- Data-Parallel String-Manipulating Programs (MV, TM, DM, BL), pp. 139–152.
- PLDI-2014-DAntoniVLM #named #performance #transducer
- Fast: a transducer-based language for tree manipulation (LD, MV, BL, DM), p. 40.
- POPL-2012-VeanesHLMB #algorithm #finite #transducer
- Symbolic finite state transducers: algorithms and applications (MV, PH, BL, DM, NB), pp. 137–150.