default search action
David Darais
Person information
- affiliation: Galois, Inc., USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Mark Moeller
, Jules Jacobs
KATch: A Fast Symbolic Verifier for NetKAT. Proc. ACM Program. Lang. 8(PLDI): 1905-1928 (2024) - [i15]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 abs/2404.04760 (2024) - 2023
- [j8]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) - [j7]Matías Toro
Contextual Linear Types for Differential Privacy. ACM Trans. Program. Lang. Syst. 45(2): 8:1-8:69 (2023) - [i14]Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks:
Symphony: Expressive Secure Multiparty Computation with Coordination. CoRR abs/2302.10076 (2023) - [i13]John M. Abowd, Tamara Adams, Robert Ashmead, David Darais, Sourya Dey, Simson L. Garfinkel
The 2010 Census Confidentiality Protections Failed, Here's How and Why. CoRR abs/2312.11283 (2023) - 2022
- [j6]Chike Abuah
Solo: a lightweight static analysis for differential privacy. Proc. ACM Program. Lang. 6(OOPSLA2): 699-728 (2022) - 2021
- [c10]Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang:
Zero Knowledge Static Program Analysis. CCS 2021: 2951-2967 - [c9]Chike Abuah, Alex Silence, David Darais, Joseph P. Near:
DDUO: General-Purpose Dynamic Analysis for Differential Privacy. CSF 2021: 1-15 - [i12]Chike Abuah, Alex Silence, David Darais, Joe Near:
DDUO: General-Purpose Dynamic Analysis for Differential Privacy. CoRR abs/2103.08805 (2021) - [i11]Chike Abuah, David Darais, Joseph P. Near:
Solo: Enforcing Differential Privacy Without Fancy Types. CoRR abs/2105.01632 (2021) - 2020
- [j5]David Darais, Ian Sweet, Chang Liu, Michael Hicks:
A language for probabilistically oblivious computation. Proc. ACM Program. Lang. 4(POPL): 50:1-50:31 (2020) - [c8]Ian Sweet, David Darais, Michael Hicks:
Short Paper: Probabilistically Almost-Oblivious Computation. PLAS@CCS 2020: 9-12 - [c7]Christian Skalka, David Darais, Trent Jaeger, Frank Capobianco:
Types and Abstract Interpretation for Authorization Hook Advice. CSF 2020: 139-152 - [c6]Kristopher K. Micinski, David Darais, Thomas Gilray:
Abstracting Faceted Execution. CSF 2020: 184-198 - [i10]Phillip Nguyen, Alex Silence, David Darais, Joseph P. Near:
DuetSGX: Differential Privacy with Secure Hardware. CoRR abs/2010.10664 (2020) - [i9]Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter:
Contextual Linear Types for Differential Privacy. CoRR abs/2010.11342 (2020)
2010 – 2019
- 2019
- [j4]David Darais, David Van Horn
Constructive Galois Connections. J. Funct. Program. 29: e11 (2019) - [j3]Joseph P. Near, David Darais, Chike Abuah
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Proc. ACM Program. Lang. 3(OOPSLA): 172:1-172:30 (2019) - [c5]Christian Skalka, John H. Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster:
Proof-Carrying Network Code. CCS 2019: 1115-1129 - [e1]David Darais, Jeremy Gibbons:
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019. ACM 2019, ISBN 978-1-4503-6815-5 [contents] - [i8]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 abs/1909.02481 (2019) - 2018
- [i7]David Darais, David Van Horn:
Constructive Galois Connections. CoRR abs/1807.08711 (2018) - 2017
- [b1]David Charles Darais:
Mechanizing Abstract Interpretation. University of Maryland, College Park, MD, USA, 2017 - [j2]David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
Abstracting definitional interpreters (functional pearl). Proc. ACM Program. Lang. 1(ICFP): 12:1-12:25 (2017) - [i6]David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn:
Abstracting Definitional Interpreters. CoRR abs/1707.04755 (2017) - [i5]David Darais, Chang Liu, Ian Sweet, Michael Hicks:
A Language for Probabilistically Oblivious Computation. CoRR abs/1711.09305 (2017) - 2016
- [c4]David Darais, David Van Horn
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. ICFP 2016: 311-324 - 2015
- [c3]David Darais, Matthew Might, David Van Horn
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. OOPSLA 2015: 552-571 - [i4]David Darais, David Van Horn:
Mechanically Verified Calculational Abstract Interpretation. CoRR abs/1507.03559 (2015) - [i3]David Darais, David Van Horn:
Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory. CoRR abs/1511.06965 (2015) - 2014
- [i2]David Darais, Matthew Might, David Van Horn:
Galois Transformers and Modular Abstract Interpreters. CoRR abs/1411.3962 (2014) - 2013
- [c2]Ilya Sergey
Monadic abstract interpreters. PLDI 2013: 399-410 - 2012
- [j1]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): 181-216 (2012) - 2011
- [c1]Matthew Might, David Darais, Daniel Spiewak:
Parsing with derivatives: a functional pearl. ICFP 2011: 189-195 - 2010
- [i1]Matthew Might, David Darais:
Yacc is dead. CoRR abs/1010.5023 (2010)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 22:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: