David Darais

Orcid: 0000-0003-2314-0287

Affiliations:
  • Galois, Inc., USA


According to our database1, David Darais authored at least 28 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
KATch: A Fast Symbolic Verifier for NetKAT.
Proc. ACM Program. Lang., 2024

2023
Contextual Linear Types for Differential Privacy.
ACM Trans. Program. Lang. Syst., June, 2023

Symphony: Expressive Secure Multiparty Computation with Coordination.
Art Sci. Eng. Program., February, 2023

The 2010 Census Confidentiality Protections Failed, Here's How and Why.
CoRR, 2023

2022
Solo: a lightweight static analysis for differential privacy.
Proc. ACM Program. Lang., 2022

2021
Solo: Enforcing Differential Privacy Without Fancy Types.
CoRR, 2021

DDUO: General-Purpose Dynamic Analysis for Differential Privacy.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Zero Knowledge Static Program Analysis.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020
A language for probabilistically oblivious computation.
Proc. ACM Program. Lang., 2020

Contextual Linear Types for Differential Privacy.
CoRR, 2020

DuetSGX: Differential Privacy with Secure Hardware.
CoRR, 2020

Types and Abstract Interpretation for Authorization Hook Advice.
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

Abstracting Faceted Execution.
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

Short Paper: Probabilistically Almost-Oblivious Computation.
Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

2019
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy.
Proc. ACM Program. Lang., 2019

Constructive Galois Connections.
J. Funct. Program., 2019

Proof-Carrying Network Code.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2017
Mechanizing Abstract Interpretation.
PhD thesis, 2017

Abstracting definitional interpreters (functional pearl).
Proc. ACM Program. Lang., 2017

Abstracting Definitional Interpreters.
CoRR, 2017

2016
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015
Mechanically Verified Calculational Abstract Interpretation.
CoRR, 2015

Galois transformers and modular abstract interpreters: reusable metatheory for program analysis.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014
Galois Transformers and Modular Abstract Interpreters.
CoRR, 2014

2013
Monadic abstract interpreters.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012
Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts.
J. Funct. Program., 2012

2011
Parsing with derivatives: a functional pearl.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010
Yacc is dead
CoRR, 2010


  Loading...