Gustavo Petri
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2020–2023
on a stage with
- Anthony C. J. Foxonce
- Bo Sangonce
- Dominic P. Mulliganonce
all 10 in the filters
who talks about the same things
- Patrick Eugster8 talks
- Peter Sewell14 talks
- Angus Hammond3 talks
- Guido Martínez10 talks
- Bryan Parno22 talks
- Armaël Guéneau7 talks
| title | conference | date |
|---|---|---|
| A Verification Methodology for the Arm® Confidential Computing Architecture: Fr... | OOPSLA 2023 | 2023-10-23 |
The project verifies Arm CCA’s Realm Management Monitor by combining CBMC model checking, interactive theorem proving, and concurrency-aware testing against a… | ||
| Scalable and Serializable Networked Multi-actor Programming | OOPSLA 2020 | 2020-11-15 |
AEON is an actor language and runtime that enforces serializable multi-actor events by organizing actors in a DAG via ownership and using a dominator lock… | ||
| nothing matches | ||