Jason Gross
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | Towards a Unified and Verified Understanding of Group-Operation Networks. | Wilson Wu, Louis Jaburi, Jacob Drori, Jason Gross |
| 2023 | ICSE | CryptOpt: Automatic Optimization of Straightline Code. | Joel Kuepper, David Wu, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom |
| 2022 | ITP | Accelerating Verified-Compiler Development with a Verified Rewriting Engine. | Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala |
| 2022 | ITP | Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. | Jason Gross, Tho Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala |
| 2020 | CADE | Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs. | Clment Pit-Claudel, Peng Wang, Benjamin Delaware, Jason Gross, Adam Chlipala |
| 2019 | SP | Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises. | Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala |
| 2018 | ITP | Reification by Parametricity - Fast Setup for Proof by Reflection, in Two Lines of Ltac. | Jason Gross, Andres Erbsen, Adam Chlipala |
| 2017 | CPP | The HoTT library: a formalization of homotopy type theory in Coq. | Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters |
| 2015 | POPL | Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant. | Benjamin Delaware, Clment Pit-Claudel, Jason Gross, Adam Chlipala |
| 2014 | ITP | Experience Implementing a Performant Category-Theory Library in Coq. | Jason Gross, Adam Chlipala, David I. Spivak |
| 2011 | CogSci | One shot learning of simple visual concepts. | Brenden M. Lake, Ruslan Salakhutdinov, Jason Gross, Joshua B. Tenenbaum |