Suivre
David Darais
David Darais
Galois, Inc.
Adresse e-mail validée de galois.com - Page d'accueil
Titre
Citée par
Citée par
Année
Parsing with derivatives: a functional pearl
M Might, D Darais, D Spiewak
Acm sigplan notices 46 (9), 189-195, 2011
842011
Abstracting definitional interpreters (functional pearl)
D Darais, N Labich, PC Nguyen, D Van Horn
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-25, 2017
672017
Monadic abstract interpreters
I Sergey, D Devriese, M Might, J Midtgaard, D Darais, D Clarke, ...
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
532013
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy
JP Near, D Darais, C Abuah, T Stevens, P Gaddamadugu, L Wang, ...
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
472019
Macros that work together: Compile-time bindings, partial expansion, and definition contexts
M Flatt, R Culpepper, D Darais, RB Findler
Journal of Functional Programming 22 (2), 181-216, 2012
472012
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis
D Darais, M Might, D Van Horn
ACM SIGPLAN Notices 50 (10), 552-571, 2015
362015
A language for probabilistically oblivious computation
D Darais, I Sweet, C Liu, M Hicks
Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2019
342019
Zero knowledge static program analysis
Z Fang, D Darais, JP Near, Y Zhang
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
192021
Constructive Galois connections: Taming the Galois connection framework for mechanized metatheory
D Darais, D Van Horn
ACM SIGPLAN Notices 51 (9), 311-324, 2016
142016
Yacc is dead
M Might, D Darais
arXiv preprint arXiv:1010.5023, 2010
142010
Guidelines for evaluating differential privacy guarantees
JP Near, D Darais, N Lefkovitz, G Howarth
National Institute of Standards and Technology, Tech. Rep, 2023
122023
The 2010 Census Confidentiality Protections Failed, Here's How and Why
JM Abowd, T Adams, R Ashmead, D Darais, S Dey, SL Garfinkel, ...
National Bureau of Economic Research, 2023
102023
Proof-carrying network code
C Skalka, J Ring, D Darais, M Kwon, S Gupta, K Diller, S Smolka, N Foster
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
102019
DDUO: General-purpose dynamic analysis for differential privacy
C Abuah, A Silence, D Darais, JP Near
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
92021
Mechanizing abstract interpretation
D Darais
University of Maryland, College Park, 2017
92017
Contextual linear types for differential privacy
M Toro, D Darais, C Abuah, JP Near, D Árquez, F Olmedo, É Tanter
ACM Transactions on Programming Languages and Systems 45 (2), 1-69, 2023
82023
Abstracting faceted execution
K Micinski, D Darais, T Gilray
2020 IEEE 33rd computer security foundations symposium (CSF), 184-198, 2020
82020
Duetsgx: Differential privacy with secure hardware
P Nguyen, A Silence, D Darais, JP Near
arXiv preprint arXiv:2010.10664, 2020
72020
Constructive galois connections
D Darais, D Van Horn
Journal of Functional Programming 29, e11, 2019
72019
Symphony: Expressive secure multiparty computation with coordination
I Sweet, D Darais, D Heath, W Harris, R Estes, M Hicks
arXiv preprint arXiv:2302.10076, 2023
62023
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20