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 × 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 DBLP: Molnar:David

Contributed to:

CSCW 20152015
POPL 20152015
PLDI 20142014
POPL 20122012

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

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.