David Darais

According to our database1, David Darais authored at least 18 papers between 2010 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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
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...