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 × Japan
2 × USA
Collaborated with:
M.Might D.V.Horn D.Spiewak Ian Sweet Chang Liu 0021 M.H.0001 I.Sergey D.Devriese J.Midtgaard D.Clarke F.Piessens J.P.Near Chike Abuah Tim Stevens Pranav Gaddamadugu L.Wang Neel Somani Mu Zhang 0001 N.Sharma Alex Shan D.Song
Talks about:
interpret (2) abstract (2) languag (2) probabilist (1) metatheori (1) differenti (1) transform (1) function (1) reusabl (1) program (1)

Person: David Darais

DBLP DBLP: Darais:David

Contributed to:

OOPSLA 20152015
PLDI 20132013
ICFP 20112011
OOPSLA 20192019
POPL 20202020

Wrote 5 papers:

OOPSLA-2015-DaraisMH #composition #program analysis #reuse
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.
PLDI-2013-SergeyDMMDCP #monad
Monadic abstract interpreters (IS, DD, MM, JM, DD, DC, FP), pp. 399–410.
ICFP-2011-MightDS #functional #parsing
Parsing with derivatives: a functional pearl (MM, DD, DS), pp. 189–195.
OOPSLA-2019-NearDASGWSZSSS #difference #higher-order #linear #named #privacy #type system
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy (JPN, DD, CA, TS, PG, LW, NS, MZ0, NS, AS, DS), p. 30.
A language for probabilistically oblivious computation (DD, IS, CL0, MH0), p. 31.

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.