Bottom-Up Context-Sensitive Pointer Analysis for Java. - Yu Feng 001; Xinyu Wang 006; Isil Dillig; Thomas Dillig (APLAS, 2015)

EXPLORER : query- and demand-driven exploration of interprocedural control flow properties. - Yu Feng 001; Xinyu Wang 006; Isil Dillig; Calvin Lin (OOPSLA, 2015)

FIDEX: filtering spreadsheet data using examples. - Xinyu Wang 006; Sumit Gulwani; Rishabh Singh (OOPSLA, 2016)

Synthesis of data completion scripts using finite tree automata. - Xinyu Wang 006; Isil Dillig; Rishabh Singh (Proc. ACM Program. Lang., 2017)

Learning Abstractions for Program Synthesis. - Xinyu Wang 006; Greg Anderson 003; Isil Dillig; Kenneth L. McMillan (CAV (1), 2018)

Relational program synthesis. - Yuepeng Wang 001; Xinyu Wang 006; Isil Dillig (Proc. ACM Program. Lang., 2018)

Program synthesis using abstraction refinement. - Xinyu Wang 006; Isil Dillig; Rishabh Singh (Proc. ACM Program. Lang., 2018)

Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example. - Navid Yaghmazadeh; Xinyu Wang 006; Isil Dillig (Proc. VLDB Endow., 2018)

Multi-modal synthesis of regular expressions. - Qiaochu Chen; Xinyu Wang 006; Xi Ye; Greg Durrett; Isil Dillig (PLDI, 2020)

Interactive Program Synthesis by Augmented Examples. - Tianyi Zhang 001; London Lowmanstone; Xinyu Wang 006; Elena L. Glassman (UIST, 2020)

Automated policy synthesis for system call sandboxing. - Shankara Pailoor; Xinyu Wang 006; Hovav Shacham; Isil Dillig (Proc. ACM Program. Lang., 2020)

Sketch-Driven Regular Expression Generation from Natural Language and Examples. - Xi Ye; Qiaochu Chen; Xinyu Wang 006; Isil Dillig; Greg Durrett (Trans. Assoc. Comput. Linguistics, 2020)

Interpretable Program Synthesis. - Tianyi Zhang 001; Zhiyang Chen 004; Yuanli Zhu; Priyan Vaithilingam; Xinyu Wang 006; Elena L. Glassman (CHI, 2021)

Web question answering with neurosymbolic program synthesis. - Qiaochu Chen; Aaron Lamoreaux; Xinyu Wang 006; Greg Durrett; Osbert Bastani; Isil Dillig (PLDI, 2021)

Synthesizing data structure refinements from integrity constraints. - Shankara Pailoor; Yuepeng Wang 001; Xinyu Wang 006; Isil Dillig (PLDI, 2021)

WebRobot: web robotic process automation using interactive programming-by-demonstration. - Rui Dong 006; Zhicheng Huang; Ian Iong Lam; Yan Chen 033; Xinyu Wang 006 (PLDI, 2022)

NL2Viz: natural language to visualization via constrained syntax-guided synthesis. - Zhengkai Wu; Vu Le 002; Ashish Tiwari 001; Sumit Gulwani; Arjun Radhakrishna; Ivan Radicek; Gustavo Soares; Xinyu Wang 006; Zhenwen Li; Tao Xie 001 (ESEC/SIGSOFT FSE, 2022)

SemanticOn: Specifying Content-Based Semantic Conditions for Web Automation Programs. - Kevin Pu; Rainey Fu; Rui Dong 006; Xinyu Wang 006; Yan Chen 033; Tovi Grossman (UIST, 2022)

INTENT: Interactive Tensor Transformation Synthesis. - Zhanhui Zhou; Man To Tang; Qiping Pan; Shangyin Tan; Xinyu Wang 006; Tianyi Zhang 001 (UIST, 2022)

Simplifying Cloud Management with Cloudless Computing. - Yiming Qiu; Patrick Tser Jern Kon; Jiarong Xing; Yibo Huang 005; Hongyi Liu; Xinyu Wang 006; Peng Huang 005; Mosharaf Chowdhury; Ang Chen 001 (HotNets, 2023)

Fast and Reliable Program Synthesis via User Interaction. - Yanju Chen; Chenglong Wang; Xinyu Wang 006; Osbert Bastani; Yu Feng 001 (ASE, 2023)

MIWA: Mixed-Initiative Web Automation for Better User Control and Confidence. - Weihao Chen; Xiaoyu Liu; Jiacheng Zhang; Ian Iong Lam; Zhicheng Huang; Rui Dong 006; Xinyu Wang 006; Tianyi Zhang 001 (UIST, 2023)

DiLogics: Creating Web Automation Programs with Diverse Logics. - Kevin Pu; Jim Yang; Angel Yuan; Minyi Ma; Rui Dong 006; Xinyu Wang 006; Yan Chen 033; Tovi Grossman (UIST, 2023)

SlabCity: Whole-Query Optimization using Program Synthesis. - Rui Dong 006; Jie Liu 048; Yuxuan Zhu; Cong Yan; Barzan Mozafari; Xinyu Wang 006 (Proc. VLDB Endow., 2023)

IaC-Eval: A Code Generation Benchmark for Cloud Infrastructure-as-Code Programs. - Patrick Tser Jern Kon; Jiachen Liu; Yiming Qiu; Weijun Fan; Ting He; Lei Lin; Haoran Zhang; Owen Park; George Elengikal; Yuxin Kang; Ang Chen 001; Mosharaf Chowdhury; et al. (NeurIPS, 2024)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. - Yang He; Pinhan Zhao; Xinyu Wang 006; Yuepeng Wang 001 (Proc. ACM Program. Lang., 2024)

Efficient Bottom-Up Synthesis for Programs with Local Variables. - Xiang Li; Xiangyu Zhou; Rui Dong 006; Yihong Zhang 004; Xinyu Wang 006 (Proc. ACM Program. Lang., 2024)

Data-Driven Insight Synthesis for Multi-Dimensional Data. - Junjie Xing; Xinyu Wang 006; H. V. Jagadish (Proc. VLDB Endow., 2024)

Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries. - Pinhan Zhao; Yang He; Xinyu Wang 006; Yuepeng Wang 001 (Proc. VLDB Endow., 2024)

Automated Lifting for Cloud Infrastructure-as-Code Programs. - Jingjia Peng; Yiming Qiu; Patrick Tser Jern Kon; Pinhan Zhao; Yibo Huang 005; Zheng Guo; Xinyu Wang 006; Ang Chen 001 (AIOps, 2025)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search. - Pinhan Zhao; Yuepeng Wang 001; Xinyu Wang 006 (Proc. ACM Program. Lang., 2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model. - Hao Yu; Tianyu Chen; Jiaming Huang; Zongyang Li; Dezhi Ran; Xinyu Wang 006; Ying Li 012; Assaf Marron; David Harel; Yuan Xie; Tao Xie 001 (CoRR, 2025)