Jason Gross
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Adam Chlipala23 talks
- Andres Erbsen5 talks
- Owen Conoly2 talks
- Daniel Genkin6 talks
- Gilles Barthe17 talks
- Benjamin Delaware18 talks
| title | conference | date |
|---|---|---|
| CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives | PLDI 2023 | 2023-06-17 |
CryptOpt turns Fiat Cryptography IR into x86-64 assembly by running a random local search over instruction selection and scheduling, auto-benchmarking… | ||
| A Limited Case for Reification by Type Inference | CoqPL 2021 | 2021-01-19 |
Reification by type inference shows that Coq’s notation system plus type inference can build a structured representation of curried argument types without… | ||
| A Limited Case for Reification by Type Inference | POPL 2021 | 2021-01-17 |
Claims that Coq’s notation system plus type inference can perform reification for a restricted class of problems, specifically extracting the curried argument… | ||
| nothing matches | ||