Xinyu Wang
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2022–2026
- OOPSLA3 editions2018–2024
all 4 in the filters
on a stage with
all 26 in the filters
who talks about the same things
- Ruyi Ji8 talks
- Yingfei Xiong9 talks
- Roopsha Samanta10 talks
- Yuepeng Wang8 talks
- Isil Dillig15 talks
- Rui Dong6 talks
| title | conference | date |
|---|---|---|
| Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics | PLDI 2026 | 2026-06-15 |
Proposes offline presynthesis that builds a semantics tree automaton and a reachability oracle so online synthesis reduces to fast graph reachability queries… | ||
| 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… | ||
| Efficient Bottom-Up Synthesis for Programs with Local Variables | POPL 2024 | 2024-01-14 |
Introduces lifted interpretation, an algorithm that evaluates all grammar programs simultaneously to enumerate binding contexts and collapse equivalent… | ||
| Boomerang: Metadata-Private Messaging under Hardware Trust | NSDI 2023 | 2023-04-17 |
Boomerang claims cryptographic metadata privacy by running the message mixer inside secure enclaves and using label-based routing plus oblivious proactive… | ||
| WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration | PLDI 2022 | 2022-06-13 |
WebRobot is an interactive programming-by-demonstration tool for web RPA that synthesizes automation programs by speculation-and-validation instead of heavy… | ||
| Automated Policy Synthesis for System Call Sandboxing | OOPSLA 2020 | 2020-11-15 |
Abhaya automatically generates sound, optimal syscall-whitelisting policies by combining a scalable static analysis with an SMT-guided synthesis phase. The… | ||
| Relational Program Synthesis | OOPSLA 2018 | 2018-11-07 |
Defines relational program synthesis and builds Relish, a CEGIS-style tool that combines a compositional relational version space learner with SyGuS… | ||
| nothing matches | ||