Xinyu Wang

46 papers A* 12A 2B 1Misc 1Journal 27Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Resilient Infrastructures via Digital Unification.
Commun. ACM
Ang Chen, Sylvia Ratnasamy, Mohammad Alizadeh, Mosharaf Chowdhury, Seth D. Guikema, Ryan Huang, Suresh Jagannathan, Branko Kerkez, Edward A. Lee, Steven Low, Morley Mao, Johanna Mathieu, Michael K. Reiter, Xinyu Wang, Vinton G. Cerf
2025 — conf
Automated Lifting for Cloud Infrastructure-as-Code Programs.
AIOps
Jingjia Peng, Yiming Qiu, Patrick Tser Jern Kon, Pinhan Zhao, Yibo Huang, Zheng Guo, Xinyu Wang, Ang Chen
2025 J jnl
DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model.
CoRR
Hao Yu, Tianyu Chen, Jiaming Huang, Zongyang Li, Dezhi Ran, Xinyu Wang, Ying Li, Assaf Marron, David Harel, Yuan Xie, Tao Xie
2025 J jnl
Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search.
CoRR
Pinhan Zhao, Yuepeng Wang, Xinyu Wang
2025 J jnl
Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search.
Proc. ACM Program. Lang.
Pinhan Zhao, Yuepeng Wang, Xinyu Wang
2024 J jnl
Data-Driven Insight Synthesis for Multi-Dimensional Data.
Proc. VLDB Endow.
Junjie Xing, Xinyu Wang, H. V. Jagadish
2024 J jnl
Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries.
Proc. VLDB Endow.
Pinhan Zhao, Yang He, Xinyu Wang, Yuepeng Wang
2024 J jnl
Efficient Bottom-Up Synthesis for Programs with Local Variables.
Proc. ACM Program. Lang.
Xiang Li, Xiangyu Zhou, Rui Dong, Yihong Zhang, Xinyu Wang
2024 A* conf
IaC-Eval: A Code Generation Benchmark for Cloud Infrastructure-as-Code Programs.
NeurIPS
Patrick Tser Jern Kon, Jiachen Liu, Yiming Qiu, Weijun Fan, Ting He, Lei Lin, Haoran Zhang, Owen Park, George Elengikal, Yuxin Kang, Ang Chen, Mosharaf Chowdhury, Myungjin Lee, Xinyu Wang
2024 J jnl
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints.
CoRR
Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang
2024 J jnl
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints.
Proc. ACM Program. Lang.
Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang
2023 J jnl
DiLogics: Creating Web Automation Programs With Diverse Logics.
CoRR
Kevin Pu, Jim Yang, Angel Yuan, Minyi Ma, Rui Dong, Xinyu Wang, Yan Chen, Tovi Grossman
2023 A* conf
DiLogics: Creating Web Automation Programs with Diverse Logics.
UIST
Kevin Pu, Jim Yang, Angel Yuan, Minyi Ma, Rui Dong, Xinyu Wang, Yan Chen, Tovi Grossman
2023 J jnl
Efficient Bottom-Up Synthesis for Programs with Local Variables.
CoRR
Xiang Li, Xiangyu Zhou, Rui Dong, Yihong Zhang, Xinyu Wang
2023 A* conf
Fast and Reliable Program Synthesis via User Interaction.
ASE
Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng
2023 A* conf
MIWA: Mixed-Initiative Web Automation for Better User Control and Confidence.
UIST
Weihao Chen, Xiaoyu Liu, Jiacheng Zhang, Ian Iong Lam, Zhicheng Huang, Rui Dong, Xinyu Wang, Tianyi Zhang
2023 Misc conf
Simplifying Cloud Management with Cloudless Computing.
HotNets
Yiming Qiu, Patrick Tser Jern Kon, Jiarong Xing, Yibo Huang, Hongyi Liu, Xinyu Wang, Peng Huang, Mosharaf Chowdhury, Ang Chen
2023 J jnl
SlabCity: Whole-Query Optimization using Program Synthesis.
Proc. VLDB Endow.
Rui Dong, Jie Liu, Yuxuan Zhu, Cong Yan, Barzan Mozafari, Xinyu Wang
2022 A* conf
INTENT: Interactive Tensor Transformation Synthesis.
UIST
Zhanhui Zhou, Man To Tang, Qiping Pan, Shangyin Tan, Xinyu Wang, Tianyi Zhang
2022 — conf
NL2Viz: natural language to visualization via constrained syntax-guided synthesis.
ESEC/SIGSOFT FSE
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
2022 A* conf
SemanticOn: Specifying Content-Based Semantic Conditions for Web Automation Programs.
UIST
Kevin Pu, Rainey Fu, Rui Dong, Xinyu Wang, Yan Chen, Tovi Grossman
2022 J jnl
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration.
CoRR
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang
2022 A* conf
WebRobot: web robotic process automation using interactive programming-by-demonstration.
PLDI
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang
2021 A* conf
Interpretable Program Synthesis.
CHI
Tianyi Zhang, Zhiyang Chen, Yuanli Zhu, Priyan Vaithilingam, Xinyu Wang, Elena L. Glassman
2021 A* conf
Synthesizing data structure refinements from integrity constraints.
PLDI
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig
2021 J jnl
Web Question Answering with Neurosymbolic Program Synthesis.
CoRR
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
2021 A* conf
Web question answering with neurosymbolic program synthesis.
PLDI
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
2020 J jnl
Automated policy synthesis for system call sandboxing.
Proc. ACM Program. Lang.
Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig
2020 A* conf
Interactive Program Synthesis by Augmented Examples.
UIST
Tianyi Zhang, London Lowmanstone, Xinyu Wang, Elena L. Glassman
2020 A* conf
Multi-modal synthesis of regular expressions.
PLDI
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
2020 J jnl
Sketch-Driven Regular Expression Generation from Natural Language and Examples.
Trans. Assoc. Comput. Linguistics
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
2019 J jnl
Multi-Modal Synthesis of Regular Expressions.
CoRR
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
2019 J jnl
Sketch-Driven Regular Expression Generation from Natural Language and Examples.
CoRR
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
2018 J jnl
Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example.
Proc. VLDB Endow.
Navid Yaghmazadeh, Xinyu Wang, Isil Dillig
2018 — conf
Learning Abstractions for Program Synthesis.
CAV (1)
Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan
2018 J jnl
Learning Abstractions for Program Synthesis.
CoRR
Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan
2018 J jnl
Program synthesis using abstraction refinement.
Proc. ACM Program. Lang.
Xinyu Wang, Isil Dillig, Rishabh Singh
2018 J jnl
Relational Program Synthesis.
CoRR
Yuepeng Wang, Xinyu Wang, Isil Dillig
2018 J jnl
Relational program synthesis.
Proc. ACM Program. Lang.
Yuepeng Wang, Xinyu Wang, Isil Dillig
2017 J jnl
Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example.
CoRR
Navid Yaghmazadeh, Xinyu Wang, Isil Dillig
2017 J jnl
Program Synthesis using Abstraction Refinement.
CoRR
Xinyu Wang, Isil Dillig, Rishabh Singh
2017 J jnl
Synthesis of Data Completion Scripts using Finite Tree Automata.
CoRR
Xinyu Wang, Isil Dillig, Rishabh Singh
2017 J jnl
Synthesis of data completion scripts using finite tree automata.
Proc. ACM Program. Lang.
Xinyu Wang, Isil Dillig, Rishabh Singh
2016 A conf
FIDEX: filtering spreadsheet data using examples.
OOPSLA
Xinyu Wang, Sumit Gulwani, Rishabh Singh
2015 B conf
Bottom-Up Context-Sensitive Pointer Analysis for Java.
APLAS
Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig
2015 A conf
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.
OOPSLA
Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin