Zachary Yedidia
2 papers · 2025–2026 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Venues
Top co-authors
Research topics
Keywords
code generation
(1)
program verification
(1)
memory footprint
(1)
zero-knowledge proof
(1)
smart contract
(1)
trusted computing base
(1)
deterministic execution
(1)
software-based fault isolation
(1)
software fault isolation
(1)
machine code verification
(1)
deterministic behavior
(1)
machine code verifier
(1)
position-oblivious code
(1)
javascript engine
(1)
in-process sandboxing
(1)