Get started
Author

Miraya Poddar-Agrawal

Observed name: Poddar-Agrawal, Miraya
Institution: Reed College
Observed institution: Reed College
ORCID: 0000-0001-7617-9180
Observed ORCID: 0000-0001-7617-9180
OpenAlex ID: A5090347619
Accelerating Verified-Compiler Development with a Verified Rewriting Engine
2022 · Gross, Jason, Erbsen, Andres, et al. · arXiv (Cornell University) · 7
PDF
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
2022 · Gross, Jason, Zimmermann, Théo, et al. · arXiv (Cornell University) · 4
PDF
Works count: 3
Citation count: 11
H-index: 2
I10-index:
Year
Topic
Type