Parsing with derivatives: a functional pearl M Might, D Darais, D Spiewak Acm sigplan notices 46 (9), 189-195, 2011 | 84 | 2011 |
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 | 67 | 2017 |
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 | 53 | 2013 |
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 | 47 | 2019 |
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 | 47 | 2012 |
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 | 36 | 2015 |
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 | 34 | 2019 |
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 | 19 | 2021 |
Constructive Galois connections: Taming the Galois connection framework for mechanized metatheory D Darais, D Van Horn ACM SIGPLAN Notices 51 (9), 311-324, 2016 | 14 | 2016 |
Yacc is dead M Might, D Darais arXiv preprint arXiv:1010.5023, 2010 | 14 | 2010 |
Guidelines for evaluating differential privacy guarantees JP Near, D Darais, N Lefkovitz, G Howarth National Institute of Standards and Technology, Tech. Rep, 2023 | 12 | 2023 |
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 | 10 | 2023 |
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 | 10 | 2019 |
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 | 9 | 2021 |
Mechanizing abstract interpretation D Darais University of Maryland, College Park, 2017 | 9 | 2017 |
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 | 8 | 2023 |
Abstracting faceted execution K Micinski, D Darais, T Gilray 2020 IEEE 33rd computer security foundations symposium (CSF), 184-198, 2020 | 8 | 2020 |
Duetsgx: Differential privacy with secure hardware P Nguyen, A Silence, D Darais, JP Near arXiv preprint arXiv:2010.10664, 2020 | 7 | 2020 |
Constructive galois connections D Darais, D Van Horn Journal of Functional Programming 29, e11, 2019 | 7 | 2019 |
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 | 6 | 2023 |