Accelerating Verified-Compiler Development with a Verified Rewriting Engine. - Jason Gross; Andres Erbsen; Jade Philipoom; Miraya Poddar-Agrawal; Adam Chlipala (ITP, 2022)

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. - Jason Gross; Théo Zimmermann; Miraya Poddar-Agrawal; Adam Chlipala (ITP, 2022)