Approaching reliable realtime communications? A novel system design and implementation for roadway safety oriented vehicular communications. - Kai Xing; Tianbo Gu; Zhengang Zhao; Lei Shi 011; Yunhao Liu 001; Pengfei Hu 001; Yuepeng Wang 001; Yi Liang; Shuo Zhang 011; Yang Wang 015; Liusheng Huang (INFOCOM, 2013)

Mutual privacy-preserving regression modeling in participatory sensing. - Kai Xing; Zhiguo Wan; Pengfei Hu 001; Haojin Zhu; Yuepeng Wang 001; Xi Chen 014; Yang Wang 015; Liusheng Huang (INFOCOM, 2013)

A localized backbone renovating algorithm for wireless ad hoc and sensor networks. - Kai Xing; Shuo Zhang 011; Lei Shi 011; Haojin Zhu; Yuepeng Wang 001 (INFOCOM, 2013)

Hunter: next-generation code reuse for Java. - Yuepeng Wang 001; Yu Feng 001; Ruben Martins; Arati Kaushik; Isil Dillig; Steven P. Reiss (SIGSOFT FSE, 2016)

Type-Directed Code Reuse using Integer Linear Programming. - Yuepeng Wang 001; Yu Feng 001; Ruben Martins; Arati Kaushik; Isil Dillig; Steven P. Reiss (CoRR, 2016)

Information exchange with collision detection on multiple channels. - Yuepeng Wang 001; Yuexuan Wang; Dongxiao Yu; Jiguo Yu; Francis C. M. Lau 001 (J. Comb. Optim., 2016)

Component-based synthesis for complex APIs. - Yu Feng 001; Ruben Martins; Yuepeng Wang 001; Isil Dillig; Thomas W. Reps (POPL, 2017)

Type- and Content-Driven Synthesis of SQL Queries from Natural Language. - Navid Yaghmazadeh; Yuepeng Wang 001; Isil Dillig; Thomas Dillig (CoRR, 2017)

SQLizer: query synthesis from natural language. - Navid Yaghmazadeh; Yuepeng Wang 001; Isil Dillig; Thomas Dillig (Proc. ACM Program. Lang., 2017)

Formal Specification and Verification of Smart Contracts for Azure Blockchain. - Shuvendu K. Lahiri; Shuo Chen; Yuepeng Wang 001; Isil Dillig (CoRR, 2018)

Verifying equivalence of database-driven applications. - Yuepeng Wang 001; Isil Dillig; Shuvendu K. Lahiri; William R. Cook (Proc. ACM Program. Lang., 2018)

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

Synthesizing database programs for schema refactoring. - Yuepeng Wang 001; James Dong; Rushi Shah; Isil Dillig (PLDI, 2019)

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. - Yuepeng Wang 001; Shuvendu K. Lahiri; Shuo Chen; Rong Pan; Isil Dillig; Cody Born; Immad Naseer; Kostas Ferles (VSTTE, 2019)

Data Migration using Datalog Program Synthesis. - Yuepeng Wang 001; Rushi Shah; Abby Criswell; Rong Pan; Isil Dillig (Proc. VLDB Endow., 2020)

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

Sporq: An Interactive Environment for Exploring Code using Query-by-Example. - Aaditya Naik; Jonathan Mendelson; Nathaniel Sands; Yuepeng Wang 001; Mayur Naik; Mukund Raghothaman (UIST, 2021)

Orion: Automatic Repair for Network Programs. - Lei Shi 011; Yuepeng Wang 001; Rajeev Alur; Boon Thau Loo (CoRR, 2021)

CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. - Pardis Pashakhanloo; Aaditya Naik; Yuepeng Wang 001; Hanjun Dai; Petros Maniatis; Mayur Naik (ICLR, 2022)

Declarative smart contracts. - Haoxian Chen 001; Gerald Whitters; Mohammad Javad Amiri; Yuepeng Wang 001; Boon Thau Loo (ESEC/SIGSOFT FSE, 2022)

Automatic Repair for Network Programs. - Lei Shi 011; Yuepeng Wang 001; Rajeev Alur; Boon Thau Loo (TACAS (2), 2022)

Safety Verification of Declarative Smart Contracts. - Haoxian Chen 001; Lan Lu; Brendan Massey; Yuepeng Wang 001; Boon Thau Loo (CoRR, 2022)

Synthesis-powered optimization of smart contracts via data type refactoring. - Yanju Chen; Yuepeng Wang 001; Maruth Goyal; James Dong; Yu Feng 001; Isil Dillig (Proc. ACM Program. Lang., 2022)

Verifying Declarative Smart Contracts. - Haoxian Chen 001; Lan Lu; Brendan Massey; Yuepeng Wang 001; Boon Thau Loo (ICSE, 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)

From Batch to Stream: Automatic Generation of Online Algorithms. - Ziteng Wang; Shankara Pailoor; Aaryan Prakash; Yuepeng Wang 001; Isil Dillig (Proc. ACM Program. Lang., 2024)

Semantic Code Refactoring for Abstract Data Types. - Shankara Pailoor; Yuepeng Wang 001; Isil Dillig (Proc. ACM Program. Lang., 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)

Synthesizing Document Database Queries Using Collection Abstractions. - Qikang Liu; Yang He; Yanwen Cai; Byeongguk Kwak; Yuepeng Wang 001 (ICSE, 2025)

Graphiti: Bridging Graph and Relational Database Queries. - Yang He; Ruijie Fang; Isil Dillig; Yuepeng Wang 001 (Proc. ACM Program. Lang., 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)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices. - Yang He; Xiaoyu Liu; Yuepeng Wang 001 (CoRR, 2025)