Cameron Wong
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Nada Amin2×
- Adam Chlipalaonce
- Chhi’mèd Künzangonce
all 16 in the filters
who talks about the same things
- Joshua Sunshine3 talks
- Johannes Bader4 talks
- Nada Amin26 talks
- Jonathan Aldrich17 talks
- Éric Tanter12 talks
- Adithya Murali6 talks
| title | conference | date |
|---|---|---|
| Collapsing Towers for Side-Channel Security | PEPM 2025 | 2025-01-21 |
A technique uses staging to turn an instrumented interpreter into a compilerlike residue program that exposes a runtime step counter and cache effects as… | ||
| LURK: Lambda, the Ultimate Recursive Knowledge | ICFP 2023 | 2023-09-04 |
Lurk is a LISP-based language plus a universal interpreter circuit that lets programs be supplied as data so zk proofs verify runs instead of flattened… | ||
| Gradual Verification of Recursive Heap Data Structures | OOPSLA 2020 | 2020-11-15 |
Practical system that extends a base static verifier with gradual formulas and optimistic strengthening, inserting runtime checks when a missing spec was… | ||
| nothing matches | ||