João Pereira
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Peter Müller2×
- André Gouveiaonce
- Aurel Bílýonce
all 9 in the filters
who talks about the same things
- Shatarupa Nandi6 talks
- Marco Eilers4 talks
- Aurel Bílý5 talks
- Cora Iberkleid15 talks
- Michael Carbin14 talks
- Ana-Maria Mihalceanu63 talks
| title | conference | date |
|---|---|---|
| Modular Reasoning about Global Variables and Their Initialization | OOPSLA 2025 | 2025-10-16 |
Presents a verification method that lets clients assume global state only when three concrete conditions hold: module invariants are established… | ||
| A Refinement Methodology for Distributed Programs in Rust | OOPSLA 2025 | 2025-10-16 |
Presents a bottom-up refinement method that pairs guarded transition systems with a novel locally inductive invariants proof rule, implemented as a Rust… | ||
| Kubernetes Package Management Using Unix with Carvel | KubeCon + CloudNativeCon Europe 2021 | 2021-05-04 |
Carvel presents a suite (ytt, kbld, kapp, imgpkg, kapp-controller) that packages configs and OCI images into image package bundles and exposes a single install… | ||
| Samsung Mobile Design Competition Awards — SDC19 | Samsung Developer Conference 2019 | 2019-10-29 |
Congrats to the winners of the Samsung Mobile Design Competition Awards! This global contest challenges contestants to come up with innovative new ways for… | ||
| nothing matches | ||