Benjamin Pierce
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Adam Chlipalaonce
- Anders Kaseorgonce
- C.J. Bellonce
all 7 in the filters
who talks about the same things
- Benjamin C. Pierce17 talks
- Michael Hicks18 talks
- Xavier Leroy8 talks
- Peter Sewell14 talks
- Steve Zdancewic19 talks
- Michael Carbin14 talks
| title | conference | date |
|---|---|---|
| C4: verified transactional objects | OOPSLA 2022 | 2022-12-05 |
C4 claims a mechanized, compositional way to prove both linearizability and strict serializability and to stitch those proofs together for mixed… | ||
| Ask Me Anything with Simon Peyton Jones | PLDI 2020 | 2020-06-15 |
A wide-ranging AMA covers Haskell tradeoffs and real projects: GHC uses a GHC Core typed intermediate language to keep transformations type-safe, experiments… | ||
| A Deep Specification for Dropbox | Clojure/conj 2015 | 2015-11-16 |
A formal QuickCheck-style specification is implemented as a state machine and run against real Dropbox clients in VMs using Clojure test.check, with operations… | ||
| nothing matches | ||