Geoffrey Ramseyer
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- David Mazières2×
- Ashish Goelonce
- Zachary Yedidiaonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Deterministic Client: Enforcing Determinism on Untrusted Machine Code | OSDI '25 | 2025-07-07 |
Deterministic Client (DeCl) enforces determinism for x86-64 and Arm64 machine code by rewriting LLVM output and verifying machine-code verifier constraints… | ||
| SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Decentralized EXchange... | NSDI 2023 | 2023-04-17 |
SPEEDEX implements an Arrow-Debreu exchange market inside a Layer‑1 blockchain, computing unique per-block asset valuations so all trades use the same exchange… | ||
| nothing matches | ||