Yi Cai
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow | PLDI 2026 | 2026-06-15 |
Wavelet is a formally verified compiler that translates a capability-annotated imperative IR into asynchronous dataflow graphs, mechanized in Lean and checked… | ||
| Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust | USENIX Security '25 | 2025-08-13 |
Vest generates Rust zero-copy parsers and in-place serializers from an RFC-like DSL, proves memory safety plus soundness, completeness, non-malleability and… | ||
| nothing matches | ||