Pinhan Zhao
where else to find them
bluesky:pinhanzhao.bsky.social
linkedin:pinhan-zhao
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Xinyu Wang2×
- Yuepeng Wang2×
- Yang Heonce
who talks about the same things
- Yang He2 talks
- Yuepeng Wang8 talks
- Xinyu Wang14 talks
- Zachary Tatlock11 talks
- Max Willsey12 talks
- Yisu Remy Wang5 talks
| title | conference | date |
|---|---|---|
| Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search | PLDI 2025 | 2025-06-16 |
Polygon implements a conflict-driven under-approximation search that encodes restricted SMT models of SQL operators (joins as matrices, filters as vectors) 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 | ||