Statistics
Publications
1
Citations
38
H-Index
1
Active since
2016
Affiliations
University of Washington(Current)
Daryl Zuniga is an author at University of Washington specializing in correctness checking, transformations, and assembly language programming.
Publications per year
2016–2016
1
1
Verified peephole optimizations for CompCert
Eric Mullen, Daryl Zuniga, Zachary Tatlock et al. · 2016 · 38 citations
1–1 of 1