Yuepeng Wang

According to our database, Yuepeng Wang authored at least 28 papers between 2013 and 2024.

Collaborative distances:

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

2024

Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries.

Pinhan Zhao, Yang He, Xinyu Wang, Yuepeng Wang

Proc. VLDB Endow., August, 2024

Semantic Code Refactoring for Abstract Data Types.

Shankara Pailoor, Yuepeng Wang, Isil Dillig

Proc. ACM Program. Lang., January, 2024

From Batch to Stream: Automatic Generation of Online Algorithms.

Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig

Proc. ACM Program. Lang., 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

Verifying Declarative Smart Contracts.

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2022

Synthesis-powered optimization of smart contracts via data type refactoring.

Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig

Proc. ACM Program. Lang., 2022

Safety Verification of Declarative Smart Contracts.

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo

CoRR, 2022

Automatic Repair for Network Programs.

Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Declarative smart contracts.

Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo

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

CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation.

Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Orion: Automatic Repair for Network Programs.

Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo

CoRR, 2021

Sporq: An Interactive Environment for Exploring Code using Query-by-Example.

Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 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

2020

Data Migration using Datalog Program Synthesis.

Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig

Proc. VLDB Endow., 2020

2019

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.

Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Synthesizing database programs for schema refactoring.

Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Relational program synthesis.

Yuepeng Wang, Xinyu Wang, Isil Dillig

Proc. ACM Program. Lang., 2018

Verifying equivalence of database-driven applications.

Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook

Proc. ACM Program. Lang., 2018

Formal Specification and Verification of Smart Contracts for Azure Blockchain.

Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang, Isil Dillig

CoRR, 2018

2017

SQLizer: query synthesis from natural language.

Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig

Proc. ACM Program. Lang., 2017

Type- and Content-Driven Synthesis of SQL Queries from Natural Language.

Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig

CoRR, 2017

Component-based synthesis for complex APIs.

Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Information exchange with collision detection on multiple channels.

Yuepeng Wang, Yuexuan Wang, Dongxiao Yu, Jiguo Yu, Francis C. M. Lau

J. Comb. Optim., 2016

Type-Directed Code Reuse using Integer Linear Programming.

Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss

CoRR, 2016

Hunter: next-generation code reuse for Java.

Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2013

A localized backbone renovating algorithm for wireless ad hoc and sensor networks.

Kai Xing, Shuo Zhang, Lei Shi, Haojin Zhu, Yuepeng Wang

Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Mutual privacy-preserving regression modeling in participatory sensing.

Kai Xing, Zhiguo Wan, Pengfei Hu, Haojin Zhu, Yuepeng Wang, Xi Chen, Yang Wang, Liusheng Huang

Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Approaching reliable realtime communications? A novel system design and implementation for roadway safety oriented vehicular communications.

Kai Xing, Tianbo Gu, Zhengang Zhao, Lei Shi, Yunhao Liu, Pengfei Hu, Yuepeng Wang, Yi Liang, Shuo Zhang, Yang Wang, Liusheng Huang

Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013