David Darais
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2011–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CCS | Zero Knowledge Static Program Analysis. | Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang |
| 2020 | CCS | Short Paper: Probabilistically Almost-Oblivious Computation. | Ian Sweet, David Darais, Michael Hicks |
| 2019 | CCS | Proof-Carrying Network Code. | Christian Skalka, John H. Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster |
| 2016 | ICFP | Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. | David Darais, David Van Horn |
| 2015 | OOPSLA | Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. | David Darais, Matthew Might, David Van Horn |
| 2013 | PLDI | Monadic abstract interpreters. | Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens |
| 2011 | ICFP | Parsing with derivatives: a functional pearl. | Matthew Might, David Darais, Daniel Spiewak |