David Darais

Joseph P. Near

Proc. ACM Program. Lang., 2022

2021

Solo: Enforcing Differential Privacy Without Fancy Types.

[BibT_eX]

[DOI]

Chike Abuah

Joseph P. Near

CoRR, 2021

DDUO: General-Purpose Dynamic Analysis for Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Zero Knowledge Static Program Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Contextual Linear Types for Differential Privacy.

[BibT_eX]

[DOI]

CoRR, 2020

DuetSGX: Differential Privacy with Secure Hardware.

[BibT_eX]

[DOI]

CoRR, 2020

Types and Abstract Interpretation for Authorization Hook Advice.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

Abstracting Faceted Execution.

[BibT_eX]

[DOI]

Kristopher K. Micinski

Thomas Gilray

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

Short Paper: Probabilistically Almost-Oblivious Computation.

[BibT_eX]

[DOI]

Ian Sweet

Michael Hicks

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.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Constructive Galois Connections.

[BibT_eX]

[DOI]

J. Funct. Program., 2019

Proof-Carrying Network Code.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2017

Mechanizing Abstract Interpretation.

[BibT_eX]

[DOI]

David Charles Darais

PhD thesis, 2017

Abstracting definitional interpreters (functional pearl).

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Abstracting Definitional Interpreters.

[BibT_eX]

[DOI]

CoRR, 2017

2016

Constructive Galois connections: taming the Galois connection framework for mechanized metatheory.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Mechanically Verified Calculational Abstract Interpretation.

[BibT_eX]

[DOI]

CoRR, 2015

Galois transformers and modular abstract interpreters: reusable metatheory for program analysis.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Galois Transformers and Modular Abstract Interpreters.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Monadic abstract interpreters.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Funct. Program., 2012

2011

Parsing with derivatives: a functional pearl.

[BibT_eX]

[DOI]

Daniel Spiewak

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Yacc is dead

[BibT_eX]

[DOI]