Jason Gross -

Registered user since Thu 13 Nov 2014

Name:Jason Gross

Country:United States

Affiliation:MIT CSAIL

Personal website: http://people.csail.mit.edu/jgross/

Research interests:Programming Languages, Homotopy Type Theory, Category Theory, Coq

Contributions

2025

CPP

PC Member in Program Committee within the CPP 2025-track

2023

BoatSE

Author of The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report within the BotSE 2023-track

PLDI

Author of CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives within the PLDI Research Papers-track

ICSE

Author of CryptOpt: Automatic Optimization of Straightline Code within the DEMO - Demonstrations-track

2022

CoqPL

2021

CoqPL

Author of A Limited Case for Reification by Type Inference within the CoqPL-track

2017

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

CPP

Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track