Miraya Poddar-Agrawal

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 4

Top Topics

Test Case Selection

Rapid Development

Top Venues

Publications

Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala
Accelerating Verified-Compiler Development with a Verified Rewriting Engine. CoRR (2022)
Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. ITP (2022)
Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala
Accelerating Verified-Compiler Development with a Verified Rewriting Engine. ITP (2022)
Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. CoRR (2022)