Xinyu Wang

According to our database, Xinyu Wang authored at least 34 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2026

Resilient Infrastructures via Digital Unification.

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

Commun. ACM, January, 2026

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, Ying Li, Assaf Marron, David Harel, Yuan Xie, Tao Xie

CoRR, January, 2025

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search.

Pinhan Zhao, Yuepeng Wang, Xinyu Wang

Proc. ACM Program. Lang., 2025

Automated Lifting for Cloud Infrastructure-as-Code Programs.

Jingjia Peng, Yiming Qiu, Patrick Tser Jern Kon, Pinhan Zhao, Yibo Huang, Zheng Guo, Xinyu Wang, Ang Chen

Proceedings of the IEEE/ACM International Workshop on Cloud Intelligence & AIOps, 2025

2024

Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries.

Pinhan Zhao, Yang He, Xinyu Wang, Yuepeng Wang

Proc. VLDB Endow., August, 2024

Data-Driven Insight Synthesis for Multi-Dimensional Data.

Junjie Xing, Xinyu Wang, H. V. Jagadish

Proc. VLDB Endow., January, 2024

Efficient Bottom-Up Synthesis for Programs with Local Variables.

Xiang Li, Xiangyu Zhou, Rui Dong, Yihong Zhang, Xinyu Wang

Proc. ACM Program. Lang., January, 2024

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints.

Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang

Proc. ACM Program. Lang., 2024

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, Mosharaf Chowdhury, Myungjin Lee, Xinyu Wang

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

SlabCity: Whole-Query Optimization using Program Synthesis.

Rui Dong, Jie Liu, Yuxuan Zhu, Cong Yan, Barzan Mozafari, Xinyu Wang

Proc. VLDB Endow., 2023

DiLogics: Creating Web Automation Programs with Diverse Logics.

Kevin Pu, Jim Yang, Angel Yuan, Minyi Ma, Rui Dong, Xinyu Wang, Yan Chen, Tovi Grossman

Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, 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, Xinyu Wang, Tianyi Zhang

Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, 2023

Fast and Reliable Program Synthesis via User Interaction.

Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Simplifying Cloud Management with Cloudless Computing.

Yiming Qiu, Patrick Tser Jern Kon, Jiarong Xing, Yibo Huang, Hongyi Liu, Xinyu Wang, Peng Huang, Mosharaf Chowdhury, Ang Chen

Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

2022

INTENT: Interactive Tensor Transformation Synthesis.

Zhanhui Zhou, Man To Tang, Qiping Pan, Shangyin Tan, Xinyu Wang, Tianyi Zhang

Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022

SemanticOn: Specifying Content-Based Semantic Conditions for Web Automation Programs.

Kevin Pu, Rainey Fu, Rui Dong, Xinyu Wang, Yan Chen, Tovi Grossman

Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022

NL2Viz: natural language to visualization via constrained syntax-guided synthesis.

Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

WebRobot: web robotic process automation using interactive programming-by-demonstration.

Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Synthesizing data structure refinements from integrity constraints.

Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Web question answering with neurosymbolic program synthesis.

Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Interpretable Program Synthesis.

Tianyi Zhang, Zhiyang Chen, Yuanli Zhu, Priyan Vaithilingam, Xinyu Wang, Elena L. Glassman

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

Sketch-Driven Regular Expression Generation from Natural Language and Examples.

Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett

Trans. Assoc. Comput. Linguistics, 2020

Automated policy synthesis for system call sandboxing.

Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig

Proc. ACM Program. Lang., 2020

Interactive Program Synthesis by Augmented Examples.

Tianyi Zhang, London Lowmanstone, Xinyu Wang, Elena L. Glassman

Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

Multi-modal synthesis of regular expressions.

Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

On-Chip Continuous-Variable Quantum Key Distribution(CV-QKD) and Homodyne Detection.

Yuan Shen, L. Cao, Xinyu Wang, J. Zou, W. Luo, Y. X. Wang, H. Cai, B. Dong, X. S. Luo, Weijun Fan, Leong-Chuan Kwek, Aiqun Liu

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2020

2018

Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example.

Navid Yaghmazadeh, Xinyu Wang, Isil Dillig

Proc. VLDB Endow., 2018

Program synthesis using abstraction refinement.

Xinyu Wang, Isil Dillig, Rishabh Singh

Proc. ACM Program. Lang., 2018

Relational program synthesis.

Yuepeng Wang, Xinyu Wang, Isil Dillig

Proc. ACM Program. Lang., 2018

Learning Abstractions for Program Synthesis.

Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Synthesis of data completion scripts using finite tree automata.

Xinyu Wang, Isil Dillig, Rishabh Singh

Proc. ACM Program. Lang., 2017

2016

FIDEX: filtering spreadsheet data using examples.

Xinyu Wang, Sumit Gulwani, Rishabh Singh

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.

Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Bottom-Up Context-Sensitive Pointer Analysis for Java.

Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015