Xipeng Shen
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2021–2023
on a stage with
all 25 in the filters
who talks about the same things
- Guoqiang Zhang3 talks
- Işıl Dillig21 talks
- Zhenjiang Hu15 talks
- Xinyu Wang14 talks
- Xin Zhang21 talks
- Yuepeng Wang8 talks
| title | conference | date |
|---|---|---|
| Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code(…) | PLDI 2025 | 2025-06-16 |
Uses a compiler-guided LLM pipeline that applies reductive analysis over the call graph, one function at a time, with prompt templates and a map-reduce token… | ||
| Automated Translation of Functional Big Data Queries to SQL | OOPSLA 2023 | 2023-10-23 |
Translates Spark RDD-style functional queries to SQL using counterexample-guided inductive synthesis plus a novel column-wise decomposition that extracts… | ||
| Decentralized Application-Level Adaptive Scheduling for Multi-Instance DNNs on... | USENIX ATC '23 | 2023-07-10 |
A user‑level scheduler implements decentralized DQN agents (lightweight 2–5 fully connected layers) inside each app to pick execution configurations (CPU… | ||
| Coarsening Optimization for Differentiable Programming | OOPSLA 2021 | 2021-10-17 |
Paper presents coarsening optimization that raises segments to symbolic level, applies differentiation and lowers optimized code, and reports several-times to… | ||
| UDF to SQL Translation through Compositional Lazy Inductive Synthesis | OOPSLA 2021 | 2021-10-17 |
A tool called CLIS implements compositional lazy inductive synthesis to convert Scala UDFs into pure SQL by building a data‑flow graph, applying DFG… | ||
| nothing matches | ||