Greg Morrisett
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2021–2023
on a stage with
- Amal Ahmedonce
- Delphine Demangeonce
- Elaine Shionce
all 10 in the filters
who talks about the same things
- Susan Eisenbach5 talks
- Peter Sewell14 talks
- Gilles Barthe17 talks
- Adam Chlipala23 talks
- Guido Martínez10 talks
- Amal Ahmed25 talks
| title | conference | date |
|---|---|---|
| Fireside chat | ICFP 2023 | 2023-09-04 |
History of Rust traces concrete choices: adoption of explicit lifetimes evolving into non-lexical lifetimes to handle lookup/mutation patterns, planning… | ||
| A Core Calculus for Equational Proofs of Cryptographic Protocols | POPL 2023 | 2023-01-15 |
Introduces a tiny process calculus and an equation-of-logic that proves observational equivalence for distributed crypto by rewriting networks of probabilistic… | ||
| Doing Research in PL panel | POPL 2021 | 2021-01-17 |
Recent concrete work reported includes a postdoc-built prototype that replaces P4’s hand‑rolled state‑machine parsers with a compositional parser design, a… | ||
| nothing matches | ||