Geoffrey Ramseyer
2 papers
· 2023–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Cross-Pollinator
(3)
π
Interdisciplinary Bridge
Conferences
NSDI (1)
OSDI (1)
Top co-authors
Research topics
Keywords
program verification
(1)
zero-knowledge proof
(1)
decentralized exchange
(1)
arrow-debreu market
(1)
parallelizable algorithm
(1)
market liquidity
(1)
front-running prevention
(1)
smart contract
(1)
trusted computing base
(1)
deterministic execution
(1)
blockchain scalability
(1)
software fault isolation
(1)
machine code verification
(1)
deterministic behavior
(1)
machine code verifier
(1)
position-oblivious code
(1)