Sotabase

Career

· Senior Research Scientist, Galois

Publications (38)

Parsing with derivatives: a functional pearl
ACM SIGPLAN International Conference on Functional Programming · 2011
70
cited
Abstracting definitional interpreters (functional pearl)
Proc. ACM Program. Lang. · 2017
54
cited
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy
Proc. ACM Program. Lang. · 2019
45
cited
Functional Programming 1 Macros that Work Together Compile-Time Bindings , Partial Expansion , and Definition Contexts
2010
40
cited
Monadic abstract interpreters
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2013
40
cited
A language for probabilistically oblivious computation
Proc. ACM Program. Lang. · 2017
25
cited
Zero Knowledge Static Program Analysis
Conference on Computer and Communications Security · 2021
25
cited
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2014
23
cited
Contextual Linear Types for Differential Privacy
ACM Transactions on Programming Languages and Systems · 2023
13
cited
A Simulated Reconstruction and Reidentification Attack on the 2010 U.S. Census
Harvard data science review · 2023
12
cited
DDUO: General-Purpose Dynamic Analysis for Differential Privacy
IEEE Computer Security Foundations Symposium · 2021
12
cited
Backpropagation Clipping for Deep Learning with Differential Privacy
arXiv.org · 2022
11
cited
Galois Transformers and Modular Abstract Interpreters
arXiv.org · 2014
11
cited
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory
ACM SIGPLAN International Conference on Functional Programming · 2015
10
cited
DuetSGX: Differential Privacy with Secure Hardware
arXiv.org · 2020
8
cited
Yacc is dead
arXiv.org · 2010
8
cited
Mechanizing Abstract Interpretation
2017
7
cited
Symphony: Expressive Secure Multiparty Computation with Coordination
The Art, Science, and Engineering of Programming · 2023
7
cited
Abstracting Definitional Interpreters Functional
2017
6
cited
Proof-Carrying Network Code
Conference on Computer and Communications Security · 2019
6
cited
Sotabase
David Darais | Researcher Profile | Sotabase | Sotabase