David Zhao
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Mark Wong9 talks
- Franck Pachot30 talks
- Samay Sharma5 talks
- Gurjeet Singh3 talks
- Charly Batista12 talks
- Greg Smith4 talks
| title | conference | date |
|---|---|---|
| Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine | VMIL 2024 | 2024-10-20 |
Automated pipeline traces EVM basic blocks, applies the recursive pair algorithm to produce a grammar of frequent instruction sequences, and uses a greedy… | ||
| Automatic Rollback Suggestions for Incremental Datalog Evaluation | PADL 2023 | 2023-01-16 |
A debugging method computes incremental provenance to identify which inserted or deleted Datalog input tuples enable each error derivation, encodes the minimal… | ||
| The Choice Construct in the Soufflé Language | APLAS 2021 | 2021-10-17 |
Implements a relation-based choice extension to the Soufflé Datalog engine that enforces functional dependencies on relations, emitting an existence-check… | ||
| Debugging Large-Scale Datalog: A Scalable Provenance Evaluation Strategy | POPL 2021 | 2021-01-17 |
A bottom-up evaluation augments Soufflé relations with proof annotations (rule id + minimal proof-tree height) so the engine computes and updates heights… | ||
| nothing matches | ||