Xiaowen Hu
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 2 in the filters
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| 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… | ||
| 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… | ||
| nothing matches | ||