Yang He
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
- Yuepeng Wang2×
- Işıl Dilligonce
- Pinhan Zhaoonce
all 5 in the filters
who talks about the same things
- Pinhan Zhao2 talks
- Yuepeng Wang8 talks
- Xinyu Wang14 talks
- Ruijie Fang3 talks
- Yisu Remy Wang5 talks
- Qinxiang Cao8 talks
| title | conference | date |
|---|---|---|
| Graphiti: Bridging Graph and Relational Database Queries | PLDI 2025 | 2025-06-16 |
Builds an automated pipeline called Graphiti that encodes user mappings as a user-provided transformer, automatically derives a standard transformer, and… | ||
| VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity(…) | OOPSLA 2024 | 2024-10-20 |
VeriEQL encodes SQL semantics over symbolic tuples using an SMT encoding with integers and uninterpreted functions and checks bounded equivalence by… | ||
| nothing matches | ||