David Darais

Most-cited papers

Parsing with derivatives: a functional pearl
M. Might, David Darais, D. Spiewak
2011ACM SIGPLAN International Conference on Functional Programming69 citations
Semantic Scholar
Abstracting definitional interpreters (functional pearl)
David Darais, Nicholas Labich, Phuc C. Nguyen, D. Van Horn
2017Proc. ACM Program. Lang.57 citations Open access
Semantic Scholar
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy
Joseph P. Near, David Darais, Chiké Abuah, T. Stevens +7 more
2019Proc. ACM Program. Lang.53 citations Open access
Semantic Scholar
Monadic abstract interpreters
Ilya Sergey, Dominique Devriese, M. Might, Jan Midtgaard +3 more
2013ACM-SIGPLAN Symposium on Programming Language Design and Implementation42 citations
Semantic Scholar
Under Consideration for Publication in J. Functional Programming Macros That Work Together Compile-time Bindings, Partial Expansion, and Definition Contexts
M. Flatt, Ryan Culpepper, David Darais, R. Findler
40 citations
Semantic Scholar
Zero Knowledge Static Program Analysis
Zhi-Yong Fang, David Darais, Joseph P. Near, Yu-Peng Zhang
2021Conference on Computer and Communications Security27 citations Open access
Semantic Scholar
A language for probabilistically oblivious computation
David Darais, Ian Sweet, Chang Liu, Michael W. Hicks
2017Proc. ACM Program. Lang.26 citations Open access
Semantic Scholar
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis
David Darais, M. Might, D. Van Horn
2014Conference on Object-Oriented Programming Systems, Languages, and Applications25 citations Open access
Semantic Scholar
DDUO: General-Purpose Dynamic Analysis for Differential Privacy
Chiké Abuah, Alex Silence, David Darais, Joseph P. Near
2021IEEE Computer Security Foundations Symposium16 citations Open access
Semantic Scholar
Contextual Linear Types for Differential Privacy
Matías Toro, David Darais, Chiké Abuah, Joseph P. Near +3 more
2023ACM Transactions on Programming Languages and Systems15 citations Open access
Semantic Scholar
A Simulated Reconstruction and Reidentification Attack on the 2010 U.S. Census
John M. Abowd, T. Adams, Robert Ashmead, David Darais +11 more
2023Harvard data science review14 citations Open access
Semantic Scholar
Backpropagation Clipping for Deep Learning with Differential Privacy
Timothy Stevens, Ivoline C. Ngong, David Darais, Calvin Hirsch +2 more
2022arXiv.org12 citations
Semantic Scholar
Galois Transformers and Modular Abstract Interpreters
David Darais, M. Might, D. Van Horn
2014arXiv.org11 citations
Semantic Scholar
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory
David Darais, D. Van Horn
2015ACM SIGPLAN International Conference on Functional Programming10 citations Open access
Semantic Scholar
Solo: a lightweight static analysis for differential privacy
Chiké Abuah, David Darais, Joseph P. Near
2021Proc. ACM Program. Lang.9 citations Open access
Semantic Scholar
KATch: A Fast Symbolic Verifier for NetKAT
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais +4 more
2024Proc. ACM Program. Lang.8 citations Open access
Semantic Scholar
Symphony: Expressive Secure Multiparty Computation with Coordination
Ian Sweet, David Darais, David Heath, William R. Harris +2 more
2023The Art, Science, and Engineering of Programming8 citations Open access
Semantic Scholar
DuetSGX: Differential Privacy with Secure Hardware
Phillip Q. Nguyen, Alex Silence, David Darais, Joseph P. Near
2020arXiv.org8 citations
Semantic Scholar
Yacc is dead
M. Might, David Darais
2010arXiv.org8 citations
Semantic Scholar
Mechanizing Abstract Interpretation
David Darais
20177 citations
Semantic Scholar
Abstracting Faceted Execution
Kristopher K. Micinski, David Darais, Thomas Gilray
2020IEEE Computer Security Foundations Symposium6 citations
Semantic Scholar
Abstracting Definitional Interpreters Functional
Pearl, David Darais, Nicholas Labich
20176 citations
Semantic Scholar
Types and Abstract Interpretation for Authorization Hook Advice
C. Skalka, David Darais, Trent Jaeger, F. Capobianco
2020IEEE Computer Security Foundations Symposium4 citations
Semantic Scholar
Constructive Galois Connections
David Darais, D. Van Horn
2018Journal of functional programming4 citations Open access
Semantic Scholar
Abstracting Definitional Interpreters
David Darais, Nicholas Labich, Phuc C. Nguyen, D. Van Horn
2017arXiv.org4 citations
Semantic Scholar
Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
Santiago Cu'ellar, Naomi Spargo, Jonathan Daugherty, David Darais
2025arXiv.org2 citations
Semantic Scholar
Solo: Enforcing Differential Privacy Without Fancy Types
Chiké Abuah, David Darais, Joseph P. Near
2021arXiv.org2 citations
Semantic Scholar
The CoCompiler: DSL Lifting via Relational Compilation
Naomi Spargo, Santiago Cu'ellar, Jonathan Daugherty, Chris Phifer +1 more
2025arXiv.org1 citations
Semantic Scholar
The circuit and cocircuit lattices of a regular matroid
P. Mullins, David Darais
20201 citations
Semantic Scholar
Contextual Linear Types for Differential Privacy
Matías Toro, David Darais, Chiké Abuah, Joe Near +2 more
2020arXiv.org1 citations
Semantic Scholar
Abstracting Faceted Execution Static Analysis of Dynamic Information-Flow Control for Higher-Order Languages
Kristopher K. Micinski, David Darais, Thomas Gilray
20181 citations
Semantic Scholar
Abstracting Faceted Execution 1 : 3 Next
Kristopher K. Micinski, David Darais, Thomas Gilray
20181 citations
Semantic Scholar
N ov 2 01 7 1 A Language for Probabilistically Oblivious Computation
David Darais
20171 citations
Semantic Scholar
Short Paper: Probabilistically Almost-Oblivious Computation
Ian Sweet, David Darais, Michael W. Hicks
2020PLAS@CCS0 citations
Semantic Scholar
e Final Pretty Printer
D. Christiansen, David Darais
20170 citations
Semantic Scholar
Mechanically Verified Calculational Abstract Interpretation
David Darais, D. Van Horn
2015arXiv.org0 citations
Semantic Scholar
Macros that Work Together
M. Flatt, Ryan Culpepper, David Darais, R. Findler
2012Journal of functional programming0 citations Open access
Semantic Scholar