David Darais
Orcid: 0000-0003-2314-0287Affiliations:
- Galois, Inc., USA
According to our database1,
David Darais
authored at least 27 papers
between 2010 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
ACM Trans. Program. Lang. Syst., June, 2023
Art Sci. Eng. Program., February, 2023
2022
Proc. ACM Program. Lang., 2022
2021
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
2020
Proc. ACM Program. Lang., 2020
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020
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
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
2017
Proc. ACM Program. Lang., 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
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
2013
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
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011
2010