David Darais
Scholar

David Darais

Google Scholar ID: _0iLGqEAAAAJ
Galois, Inc.
Programming LanguagesProgram AnalysisMechanized Proofs
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
518
 
H-index
13
 
i10-index
16
 
Publications
20
 
Co-authors
0
 
Contact
Emaildarais@galois.comCVOpen ↗TwitterOpen ↗GitHubOpen ↗
Publications
3 items
Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
2025
Cited
0
The CoCompiler: DSL Lifting via Relational Compilation
2025
Cited
0
The 2010 Census Confidentiality Protections Failed, Here's How and Why
Social Science Research Network · 2023
Cited
12
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)