Jason Gross

Citirano

	Sve	Od 2019.
Citati	1637	1349
H-indeks	9	9
i10-indeks	9	8

280

140

210

20122013201420152016201720182019202020212022202320245 9 9 14 27 69 133 187 254 266 239 222 181

Javni pristup

Prikaži sve

9 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Adam ChlipalaMIT CSAILPotvrđena adresa e-pošte na csail.mit.edu
Andres ErbsenMIT CSAILPotvrđena adresa e-pošte na mit.edu
Joshua B. TenenbaumMITPotvrđena adresa e-pošte na mit.edu
Ruslan SalakhutdinovUPMC Professor, Machine Learning Department, CMUPotvrđena adresa e-pošte na cs.cmu.edu
Brenden M. LakeAssociate Professor, New York UniversityPotvrđena adresa e-pošte na nyu.edu
Benjamin DelawareAssistant Professor, Purdue UniversityPotvrđena adresa e-pošte na purdue.edu
Clément Pit-ClaudelEPFLPotvrđena adresa e-pošte na epfl.ch
Andrej BauerUniversity of LjubljanaPotvrđena adresa e-pošte na andrej.com
Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityPotvrđena adresa e-pošte na math.su.se
Bas SpittersAssociate Professor, Aarhus UniversityPotvrđena adresa e-pošte na cs.au.dk
Michael ShulmanAssociate Professor of Mathematics, University of San DiegoPotvrđena adresa e-pošte na sandiego.edu
Peng WangMIT CSAILPotvrđena adresa e-pošte na csail.mit.edu
Joel KuepperThe University of AdelaidePotvrđena adresa e-pošte na adelaide.edu.au
Chuyue (Livia) SunStanford UniversityPotvrđena adresa e-pošte na stanford.edu
Daniel GenkinGeorgia TechPotvrđena adresa e-pošte na gatech.edu
Yuval YaromRuhr University BochumPotvrđena adresa e-pošte na rub.de
Matthieu SozeauResarcher, Inria Paris and PPSPotvrđena adresa e-pošte na inria.fr
Chitchanok ChuengsatiansupThe University of KlagenfurtPotvrđena adresa e-pošte na aau.at
Markus WagnerAssociate Professor of Computer Science, Monash University, AustraliaPotvrđena adresa e-pošte na monash.edu
David I. SpivakTopos InstitutePotvrđena adresa e-pošte na topos.institute

Prati

Jason Gross

Ostala imenaJason S. Gross

Graduate, Massachusetts Institute of Technology

Potvrđena adresa e-pošte na mit.edu - Početna stranica

Artificial Intelligence Formal Methods


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
One shot learning of simple visual concepts B Lake, R Salakhutdinov, J Gross, J Tenenbaum Proceedings of the annual meeting of the cognitive science society 33 (33), 2011	1073	2011
Simple high-level code for cryptographic arithmetic: With proofs, without compromises A Erbsen, J Philipoom, J Gross, R Sloan, A Chlipala ACM SIGOPS Operating Systems Review 54 (1), 23-30, 2020	170	2020
Fiat: Deductive synthesis of abstract data types in a proof assistant B Delaware, C Pit-Claudel, J Gross, A Chlipala Acm Sigplan Notices 50 (1), 689-700, 2015	130	2015
The HoTT library: a formalization of homotopy type theory in Coq A Bauer, J Gross, PLF Lumsdaine, M Shulman, M Sozeau, B Spitters Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017	105	2017
Experience implementing a performant category-theory library in Coq J Gross, A Chlipala, DI Spivak Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014	39	2014
Extensible extraction of efficient imperative programs with foreign functions, manually managed memory, and proofs C Pit-Claudel, P Wang, B Delaware, J Gross, A Chlipala Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020	29	2020
The end of history? Using a proof assistant to replace language design with library design A Chlipala, B Delaware, S Duchovni, JS Gross, CF Pit-Claudel, ... Dagstuhl Research, 2017	25	2017
CryptOpt: Verified compilation with randomized program search for cryptographic primitives J Kuepper, A Erbsen, J Gross, O Conoly, C Sun, S Tian, D Wu, A Chlipala, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 1268-1292, 2023	14*	2023
Reification by parametricity: Fast setup for proof by reflection, in two lines of Ltac J Gross, A Erbsen, A Chlipala Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018	10	2018
Performance engineering of proof-based software systems at scale JS Gross Massachusetts Institute of Technology, 2021	9	2021
The HoTT library A Bauer, J Gross, PLF Lumsdaine, M Shulman, B Spitters URL: https://github. com/HoTT/HoTT, 2016	6	2016
Accelerating Verified-Compiler Development with a Verified Rewriting Engine J Gross, A Erbsen, J Philipoom, M Poddar-Agrawal, A Chlipala arXiv preprint arXiv:2205.00862, 2022	5	2022
Evaluation of a field kit for testing arsenic in paddy soil contaminated by irrigation water LB Huhmann, CF Harvey, J Gross, A Uddin, I Choudhury, KM Ahmed, ... Geoderma 382, 114755, 2021	4	2021
A profiler for Ltac T Tebbi, J Gross Coq PL Workshop 2015, 2015	4	2015
An extensible framework for synthesizing efficient, verified parsers JS Gross Massachusetts Institute of Technology, 2015	3	2015
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version) J Kuepper, A Erbsen, J Gross, O Conoly, C Sun, S Tian, D Wu, A Chlipala, ... arXiv preprint arXiv:2211.10665, 2022	2	2022
Extending the team with a project-specific bot T Zimmermann, J Coolen, J Gross, PM Pédrot, G Gilbert arXiv preprint arXiv:2112.07365, 2021	2	2021
Coq bug minimizer J Gross First International Workshop on Coq for PL (CoqPL’15), 2015	2	2015
The Speed and Lifetime of Cosmic-Ray Muons J Gross MIT, 2011	2	2011
Compact Proofs of Model Performance via Mechanistic Interpretability J Gross, R Agrawal, T Kwa, E Ong, CH Yip, A Gibson, S Noubir, L Chan arXiv preprint arXiv:2406.11779, 2024	1	2024

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori