default search action

combined dblp search
author search
venue search
publication search

ask others

Jason Gross

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/GrossEPAC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GrossEPAC24
Jason Gross, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, Adam Chlipala:
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq. J. Autom. Reason. 68(3): 19 (2024)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-11779
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-11779
Jason Gross, Rajashree Agrawal, Thomas Kwa, Euan Ong, Chun Hei Yip, Alex Gibson, Soufiane Noubir, Lawrence Chan:
Compact Proofs of Model Performance via Mechanistic Interpretability. CoRR abs/2406.11779 (2024)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-07476
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-07476
Wilson Wu, Louis Jaburi, Jacob Drori, Jason Gross:
Unifying and Verifying Mechanistic Interpretations: A Case Study with Group Operations. CoRR abs/2410.07476 (2024)
2023
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/KuepperEGCSTWCC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/KuepperEGCSTWCC23
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom:
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives. Proc. ACM Program. Lang. 7(PLDI): 1268-1292 (2023)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KuepperWEGCSTCC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KuepperWEGCSTCC23
Joel Kuepper, David Wu, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom:
CryptOpt: Automatic Optimization of Straightline Code. ICSE Companion 2023: 141-145
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-02521
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-02521
Jason Gross, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, Adam Chlipala:
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq. CoRR abs/2305.02521 (2023)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-19586
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-19586
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom:
CryptOpt: Automatic Optimization of Straightline Code. CoRR abs/2305.19586 (2023)
2022
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/software/ZimmermannCGPG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/ZimmermannCGPG22
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert:
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report. IEEE Softw. 39(5): 32-37 (2022)
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/GrossEPPC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/GrossEPPC22
Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala:
Accelerating Verified-Compiler Development with a Verified Rewriting Engine. ITP 2022: 17:1-17:18
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/GrossZPC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/GrossZPC22
Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala:
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. ITP 2022: 18:1-18:18
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-13823
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-13823
Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala:
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. CoRR abs/2202.13823 (2022)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-12758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-12758
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert:
Advantages of maintaining a multi-task project-specific bot: an experience report. CoRR abs/2204.12758 (2022)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-00862
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-00862
Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala:
Accelerating Verified-Compiler Development with a Verified Rewriting Engine. CoRR abs/2205.00862 (2022)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-10665
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-10665
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom:
CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives. CoRR abs/2211.10665 (2022)
2021
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-07365
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-07365
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert:
Extending the team with a project-specific bot. CoRR abs/2112.07365 (2021)
2020
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/ErbsenPGSC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/ErbsenPGSC20
Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala:
Simple High-Level Code For Cryptographic Arithmetic: With Proofs, Without Compromises. ACM SIGOPS Oper. Syst. Rev. 54(1): 23-30 (2020)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Pit-ClaudelWDGC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Pit-ClaudelWDGC20
Clément Pit-Claudel, Peng Wang, Benjamin Delaware, Jason Gross, Adam Chlipala:
Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs. IJCAR (2) 2020: 119-137

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/ErbsenPGSC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/ErbsenPGSC19
Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala:
Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises. IEEE Symposium on Security and Privacy 2019: 1202-1219
2018
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/GrossEC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/GrossEC18
Jason Gross, Andres Erbsen, Adam Chlipala:
Reification by Parametricity - Fast Setup for Proof by Reflection, in Two Lines of Ltac. ITP 2018: 289-305
2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/BauerGLSSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/BauerGLSSS17
Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters:
The HoTT library: a formalization of homotopy type theory in Coq. CPP 2017: 164-172
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/ChlipalaDDGPSWY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/ChlipalaDDGPSWY17
Adam Chlipala, Benjamin Delaware, Samuel Duchovni, Jason Gross, Clément Pit-Claudel, Sorawit Suriyakarn, Peng Wang, Katherine Ye:
The End of History? Using a Proof Assistant to Replace Language Design with Library Design. SNAPL 2017: 3:1-3:15
2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BauerGLSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BauerGLSSS16
Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters:
The HoTT Library: A formalization of homotopy type theory in Coq. CoRR abs/1610.04591 (2016)
2015
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/DelawarePGC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/DelawarePGC15
Benjamin Delaware, Clément Pit-Claudel, Jason Gross, Adam Chlipala:
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant. POPL 2015: 689-700
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/GrossCS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/GrossCS14
Jason Gross, Adam Chlipala, David I. Spivak:
Experience Implementing a Performant Category-Theory Library in Coq. ITP 2014: 275-291
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GrossCS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GrossCS14
Jason Gross, Adam Chlipala, David I. Spivak:
Experience Implementing a Performant Category-Theory Library in Coq. CoRR abs/1401.7694 (2014)
2011
[c1]
- view
  - electronic edition @ mindmodeling.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/cogsci/LakeSGT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsci/LakeSGT11
Brenden M. Lake, Ruslan Salakhutdinov, Jason Gross, Joshua B. Tenenbaum:
One shot learning of simple visual concepts. CogSci 2011

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.