Yi Zhou
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
- OOPSLA2 editions2022–2023
all 6 in the filters
on a stage with
all 37 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards Proof Stability in SMT-based Program Verification | Dafny 2025 | 2025-01-19 |
Paper and prototype work presents a mutation-driven detector Mariposa mutation-based detector and an SMT-level pruning algorithm that use Z3 proof-of-unsat and… | ||
| Verus: Verifying Rust Programs using Linear Ghost Types | OOPSLA 2023 | 2023-10-23 |
Verus is an SMT-based verifier that embeds proofs in Rust and uses linear ghost permissions to represent ownership-aligned memory permissions; the tool demands… | ||
| Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent System | OSDI 2023 | 2023-07-10 |
IronSync is an automated verification framework that uses an ownership type system and a Localized Transition System to split global proofs into small… | ||
| Linear types for large-scale systems verification | OOPSLA 2022 | 2022-12-05 |
Integrates linear Dafny with Dafny's SMT backend to push memory reasoning into the type system while keeping SMT for heap invariants; implements… | ||
| Erays: Reverse Engineering Ethereum's Opaque Smart Contracts | USENIX Security '18 | 2018-08-15 |
Erays is a reverse-engineering pipeline that recovers CFGs, lifts EVM stack code into a register IR (uses 1024 registers to model the stack), applies… | ||
| Understanding the Mirai Botnet | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Seven-month measurement combines a network telescope, active scans, telnet honeypots and VirusTotal binaries with passive DNS and C2 monitoring to show Mirai… | ||
| Pmomo: Projection Mapping on Movable 3D Object | CHI 2016 | 2016-05-07 |
System tracks movable rigid 3D objects by combining an AHR sensor and the connect depth map, registering a low-density point cloud (~300 points) to depth… | ||
| nothing matches | ||