Yuepeng Wang
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2025
- OOPSLA2 editions2022–2024
all 4 in the filters
on a stage with
all 18 in the filters
who talks about the same things
- Pinhan Zhao2 talks
- Yang He2 talks
- Xinyu Wang14 talks
- Ruijie Fang3 talks
- Işıl Dillig21 talks
- Zachary Tatlock11 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… | ||
| 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… | ||
| From Batch to Stream: Automatic Generation of Online Algorithms | PLDI 2024 | 2024-06-24 |
Automated method extracts a relational function signature via static analysis, builds initial state by evaluating each spec on the empty list, and synthesizes… | ||
| Semantic Code Refactoring for Abstract Data Types | POPL 2024 | 2024-01-14 |
Automates ADT refactoring by taking an original implementation, a new data layout and a relational representation invariant, then synthesizing each method via… | ||
| Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring | OOPSLA 2022 | 2022-12-05 |
Tool called Solidare uses a small DSL plus optimal program synthesis (sketch generation, sketch completion, equivalence checking) and a static gas-cost proxy… | ||
| Sporq: An Interactive Environment for Exploring Code Using Query-by-Example | UIST 2021 | 2021-10-10 |
Sporq is an interactive VS Code extension that converts a codebase with CodeQL into relational program representations, synthesizes Datalog queries from… | ||
| nothing matches | ||