Jason Gross|Jason S. Gross

Jason Gross|Jason S. Gross

Massachusetts Institute of Technology - Cambridge / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1357986
person_outline Jason Gross|Jason S. Gross's MOST POPULAR ARTICLES
1-) One shot learning of simple visual conceptsB Lake, R Salakhutdinov, J Gross, J TenenbaumProceedings of the annual meeting of the cognitive science society 33 (33), 20117982011
2-) Simple high-level code for cryptographic arithmetic: With proofs, without compromisesA Erbsen, J Philipoom, J Gross, R Sloan, A ChlipalaACM SIGOPS Operating Systems Review 54 (1), 23-30, 20201342020
3-) Fiat: Deductive synthesis of abstract data types in a proof assistantB Delaware, C Pit-Claudel, J Gross, A ChlipalaAcm Sigplan Notices 50 (1), 689-700, 20151202015
4-) The HoTT library: a formalization of homotopy type theory in CoqA Bauer, J Gross, PLF Lumsdaine, M Shulman, M Sozeau, B SpittersProceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 20171102017
5-) Experience implementing a performant category-theory library in CoqJ Gross, A Chlipala, DI SpivakInteractive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014402014