Miraya Poddar-Agrawal

According to our database, Miraya Poddar-Agrawal authored at least 2 papers in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq.

Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

Accelerating Verified-Compiler Development with a Verified Rewriting Engine.

Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022