Jiayi Lu
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 1 in the filters
on a stage with
- David Sananonce
- Rui Changonce
- Shenghao Yuanonce
all 5 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| A complete formal semantics of eBPF instruction set architecture for Solana | OOPSLA 2025 | 2025-10-16 |
First complete formal semantics for Solana eBPF, mechanized as a small‑step operational model that covers 116 opcodes and is extracted to executable… | ||
| nothing matches | ||