Yacc is dead - Matthew Might; David Darais (CoRR, 2010)

Parsing with derivatives: a functional pearl. - Matthew Might; David Darais; Daniel Spiewak (ICFP, 2011)

Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. - Matthew Flatt; Ryan Culpepper; David Darais; Robert Bruce Findler (J. Funct. Program., 2012)

Monadic abstract interpreters. - Ilya Sergey; Dominique Devriese; Matthew Might; Jan Midtgaard; David Darais; Dave Clarke 001; Frank Piessens (PLDI, 2013)

Galois Transformers and Modular Abstract Interpreters. - David Darais; Matthew Might; David Van Horn (CoRR, 2014)

Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. - David Darais; Matthew Might; David Van Horn (OOPSLA, 2015)

Mechanically Verified Calculational Abstract Interpretation. - David Darais; David Van Horn (CoRR, 2015)

Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. - David Darais; David Van Horn (ICFP, 2016)

Abstracting Definitional Interpreters. - David Darais; Nicholas Labich; Phuc C. Nguyen; David Van Horn (CoRR, 2017)

Abstracting definitional interpreters (functional pearl). - David Darais; Nicholas Labich; Phuc C. Nguyen; David Van Horn (Proc. ACM Program. Lang., 2017)

Mechanizing Abstract Interpretation. - David Charles Darais (2017)

Proof-Carrying Network Code. - Christian Skalka; John H. Ring; David Darais; Minseok Kwon; Sahil Gupta; Kyle Diller; Steffen Smolka; Nate Foster (CCS, 2019)

Constructive Galois Connections. - David Darais; David Van Horn (J. Funct. Program., 2019)

Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. - Joseph P. Near; David Darais; Chike Abuah; Tim Stevens; Pranav Gaddamadugu; Lun Wang 001; Neel Somani; Mu Zhang 001; Nikhil Sharma; Alex Shan; Dawn Song (Proc. ACM Program. Lang., 2019)

Short Paper: Probabilistically Almost-Oblivious Computation. - Ian Sweet; David Darais; Michael Hicks 001 (PLAS@CCS, 2020)

Abstracting Faceted Execution. - Kristopher K. Micinski; David Darais; Thomas Gilray (CSF, 2020)

Types and Abstract Interpretation for Authorization Hook Advice. - Christian Skalka; David Darais; Trent Jaeger; Frank Capobianco (CSF, 2020)

DuetSGX: Differential Privacy with Secure Hardware. - Phillip Nguyen; Alex Silence; David Darais; Joseph P. Near (CoRR, 2020)

Contextual Linear Types for Differential Privacy. - Matías Toro; David Darais; Chike Abuah; Joe Near; Federico Olmedo; Éric Tanter (CoRR, 2020)

A language for probabilistically oblivious computation. - David Darais; Ian Sweet; Chang Liu 021; Michael Hicks 001 (Proc. ACM Program. Lang., 2020)

Zero Knowledge Static Program Analysis. - Zhiyong Fang; David Darais; Joseph P. Near; Yupeng Zhang 001 (CCS, 2021)

DDUO: General-Purpose Dynamic Analysis for Differential Privacy. - Chike Abuah; Alex Silence; David Darais; Joseph P. Near (CSF, 2021)

Solo: Enforcing Differential Privacy Without Fancy Types. - Chike Abuah; David Darais; Joseph P. Near (CoRR, 2021)

Solo: a lightweight static analysis for differential privacy. - Chike Abuah; David Darais; Joseph P. Near (Proc. ACM Program. Lang., 2022)

The 2010 Census Confidentiality Protections Failed, Here's How and Why. - John M. Abowd; Tamara Adams; Robert Ashmead; David Darais; Sourya Dey; Simson L. Garfinkel; Nathan Goldschlag; Daniel Kifer; Philip Leclerc; Ethan Lew; Scott Moore 001; Rolando A. Rodríguez; et al. (CoRR, 2023)

Symphony: Expressive Secure Multiparty Computation with Coordination. - Ian Sweet; David Darais; David Heath; William Harris; Ryan Estes; Michael Hicks 001 (Art Sci. Eng. Program., 2023)

Contextual Linear Types for Differential Privacy. - Matías Toro; David Darais; Chike Abuah; Joseph P. Near; Damián Árquez; Federico Olmedo; Éric Tanter (ACM Trans. Program. Lang. Syst., 2023)

KATch: A Fast Symbolic Verifier for NetKAT. - Mark Moeller; Jules Jacobs; Olivier Savary Bélanger; David Darais; Cole Schlesinger; Steffen Smolka; Nate Foster; Alexandra Silva 001 (Proc. ACM Program. Lang., 2024)