David Darais

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 27

Top Topics

Abstract Interpretation

Differential Privacy

Galois Lattices

Top Venues

Proc. ACM Program. Lang.

Publications

Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. CoRR (2024)
Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
Contextual Linear Types for Differential Privacy. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
Symphony: Expressive Secure Multiparty Computation with Coordination. CoRR (2023)
John M. Abowd, Tamara Adams, Robert Ashmead, David Darais, Sourya Dey, Simson L. Garfinkel, Nathan Goldschlag, Daniel Kifer, Philip Leclerc, Ethan Lew, Scott Moore, Rolando A. Rodríguez, Ramy N. Tadros, Lars Vilhuber
The 2010 Census Confidentiality Protections Failed, Here's How and Why. CoRR (2023)
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
Symphony: Expressive Secure Multiparty Computation with Coordination. Art Sci. Eng. Program. 7 (3) (2023)
Chike Abuah, David Darais, Joseph P. Near
Solo: a lightweight static analysis for differential privacy. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Timothy Stevens, Ivoline C. Ngong, David Darais, Calvin Hirsch, David Slater, Joseph P. Near
Backpropagation Clipping for Deep Learning with Differential Privacy. CoRR (2022)
Chike Abuah, David Darais, Joseph P. Near
Solo: Enforcing Differential Privacy Without Fancy Types. CoRR (2021)
Chike Abuah, Alex Silence, David Darais, Joseph P. Near
DDUO: General-Purpose Dynamic Analysis for Differential Privacy. CSF (2021)
Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang
Zero Knowledge Static Program Analysis. CCS (2021)
Chike Abuah, Alex Silence, David Darais, Joe Near
DDUO: General-Purpose Dynamic Analysis for Differential Privacy. CoRR (2021)
Christian Skalka, David Darais, Trent Jaeger, Frank Capobianco
Types and Abstract Interpretation for Authorization Hook Advice. CSF (2020)
Kristopher K. Micinski, David Darais, Thomas Gilray
Abstracting Faceted Execution. CSF (2020)
Ian Sweet, David Darais, Michael Hicks
Short Paper: Probabilistically Almost-Oblivious Computation. PLAS@CCS (2020)
Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter
Contextual Linear Types for Differential Privacy. CoRR (2020)
Phillip Nguyen, Alex Silence, David Darais, Joseph P. Near
DuetSGX: Differential Privacy with Secure Hardware. CoRR (2020)
David Darais, Ian Sweet, Chang Liu, Michael Hicks
A language for probabilistically oblivious computation. Proc. ACM Program. Lang. 4 (POPL) (2020)
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy. CoRR (2019)
Christian Skalka, John Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster
Proof-Carrying Network Code. CCS (2019)
David Darais, David Van Horn
Constructive Galois Connections. J. Funct. Program. 29 (2019)
Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
David Darais, David Van Horn
Constructive Galois Connections. CoRR (2018)
David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
Abstracting Definitional Interpreters. CoRR (2017)
David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
Abstracting definitional interpreters (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
David Darais, Chang Liu, Ian Sweet, Michael Hicks
A Language for Probabilistically Oblivious Computation. CoRR (2017)
David Darais, David Van Horn
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. ICFP (2016)
David Darais, Matthew Might, David Van Horn
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. OOPSLA (2015)
David Darais, David Van Horn
Mechanically Verified Calculational Abstract Interpretation. CoRR (2015)
David Darais, David Van Horn
Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory. CoRR (2015)
David Darais, Matthew Might, David Van Horn
Galois Transformers and Modular Abstract Interpreters. CoRR (2014)
Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
Monadic abstract interpreters. PLDI (2013)
Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler
Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. J. Funct. Program. 22 (2) (2012)
Matthew Might, David Darais, Daniel Spiewak
Parsing with derivatives: a functional pearl. ICFP (2011)
Matthew Might, David Darais
Yacc is dead CoRR (2010)