Concepedia

David Darais

DD

8

Publications

233

Citations

8

H-Index

2011

Active since

Affiliations

University of Utah(Current)

University of Vermont

Galois (United States)

University of Wisconsin–Milwaukee

David Darais is an author at University of Utah specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisSoftware AnalysisFormal VerificationSyntaxLanguageLinguistics

Publications per year

2011–2023

8

Publications

8

Parsing with derivatives

Matthew Might, David Darais, Daniel Spiewak · ACM SIGPLAN Notices · 2011 · 45 citations

Context-free Grammars, Syntactic Parsing, Engineering +19

Macros that Work Together

Matthew Flatt, Ryan Culpepper, David Darais et al. · Journal of Functional Programming · 2012 · 37 citations · Full text

Engineering, Software Engineering, Software Analysis +22

Parsing with derivatives

Matthew Might, David Darais, Daniel Spiewak · 2011 · 36 citations

Context-free Grammars, Syntactic Parsing, Engineering +17

Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy

Joseph P. Near, David Darais, Chiké Abuah et al. · Proceedings of the ACM on Programming Languages · 2019 · 34 citations · Full text

Privacy Protection, Engineering, Information Security +21

Monadic abstract interpreters

Ilya Sergey, Dominique Devriese, Matthew Might et al. · 2013 · 28 citations

Rows per page

1–5 of 8