Zhengyao Lin
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2022–2024
on a stage with
all 9 in the filters
who talks about the same things
- Joshua Gancher6 talks
- Bryan Parno22 talks
- Linzhang Wang6 talks
- Zhong Shao19 talks
- Alvin Cheung6 talks
- Yizhou Zhang13 talks
| 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… | ||
| FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic(…) | OOPSLA 2024 | 2024-10-20 |
FlowCert implements translation validation from LLVM to asynchronous dataflow graphs for the RipTide CGRA by constructing a deterministic canonical schedule… | ||
| Synthesizing Axiomatizations using Logic Learning | OOPSLA 2022 | 2022-12-05 |
A synthesis pipeline called the LAS framework combines a soundness checker, counterexample generator, independence checker and constraint-based logic learner… | ||
| nothing matches | ||