Yuepeng Wang

44 papers A* 11Journal 29Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints.
CoRR
Andrew Tremante, Yang He, Rocky Klopfenstein, Yuepeng Wang, Nina Narodytska, Haoze Wu
2025 A* conf
Formalization, Implementation, and Verification of the Bluetooth L2CAP State Machine.
MobiCom
Tan Khang Le, Mohammad Omidvar Tehrani, Yuepeng Wang, Jianliang Wu, Steven Y. Ko
2025 J jnl
Graphiti: Bridging Graph and Relational Database Queries.
CoRR
Yang He, Ruijie Fang, Isil Dillig, Yuepeng Wang
2025 J jnl
Graphiti: Bridging Graph and Relational Database Queries.
Proc. ACM Program. Lang.
Yang He, Ruijie Fang, Isil Dillig, Yuepeng Wang
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
2025 J jnl
SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification.
CoRR
Rocky Klopfenstein, Yang He, Andrew Tremante, Yuepeng Wang, Nina Narodytska, Haoze Wu
2025 A* conf
Synthesizing Document Database Queries Using Collection Abstractions.
ICSE
Qikang Liu, Yang He, Yanwen Cai, Byeongguk Kwak, Yuepeng Wang
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
From Batch to Stream: Automatic Generation of Online Algorithms.
CoRR
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
2024 J jnl
From Batch to Stream: Automatic Generation of Online Algorithms.
Proc. ACM Program. Lang.
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
2024 J jnl
Semantic Code Refactoring for Abstract Data Types.
Proc. ACM Program. Lang.
Shankara Pailoor, Yuepeng Wang, Isil Dillig
2024 J jnl
Synthesizing Document Database Queries using Collection Abstractions.
CoRR
Qikang Liu, Yang He, Yanwen Cai, Byeongguk Kwak, Yuepeng 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
2024 A* conf
Verifying Declarative Smart Contracts.
ICSE
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
2022 — conf
Automatic Repair for Network Programs.
TACAS (2)
Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
2022 A* conf
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation.
ICLR
Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik
2022 J jnl
Declarative Smart Contracts.
CoRR
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
2022 — conf
Declarative smart contracts.
ESEC/SIGSOFT FSE
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
2022 J jnl
Safety Verification of Declarative Smart Contracts.
CoRR
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
2022 J jnl
Synthesis-powered optimization of smart contracts via data type refactoring.
Proc. ACM Program. Lang.
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig
2021 J jnl
Orion: Automatic Repair for Network Programs.
CoRR
Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
2021 A* conf
Sporq: An Interactive Environment for Exploring Code using Query-by-Example.
UIST
Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
2021 A* conf
Synthesizing data structure refinements from integrity constraints.
PLDI
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig
2020 J jnl
Data Migration using Datalog Program Synthesis.
CoRR
Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig
2020 J jnl
Data Migration using Datalog Program Synthesis.
Proc. VLDB Endow.
Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig
2019 — conf
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
VSTTE
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
2019 J jnl
Synthesizing Database Programs for Schema Refactoring.
CoRR
Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
2019 A* conf
Synthesizing database programs for schema refactoring.
PLDI
Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
2018 J jnl
Formal Specification and Verification of Smart Contracts for Azure Blockchain.
CoRR
Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang, Isil Dillig
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
2018 J jnl
Verifying equivalence of database-driven applications.
Proc. ACM Program. Lang.
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
2017 A* conf
Component-based synthesis for complex APIs.
POPL
Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps
2017 J jnl
SQLizer: query synthesis from natural language.
Proc. ACM Program. Lang.
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
2017 J jnl
Type- and Content-Driven Synthesis of SQL Queries from Natural Language.
CoRR
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
2017 J jnl
Verifying Equivalence of Database-Driven Applications.
CoRR
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
2016 — conf
Hunter: next-generation code reuse for Java.
SIGSOFT FSE
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
2016 J jnl
Information exchange with collision detection on multiple channels.
J. Comb. Optim.
Yuepeng Wang, Yuexuan Wang, Dongxiao Yu, Jiguo Yu, Francis C. M. Lau
2016 J jnl
Type-Directed Code Reuse using Integer Linear Programming.
CoRR
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
2013 A* conf
A localized backbone renovating algorithm for wireless ad hoc and sensor networks.
INFOCOM
Kai Xing, Shuo Zhang, Lei Shi, Haojin Zhu, Yuepeng Wang
2013 A* conf
Approaching reliable realtime communications? A novel system design and implementation for roadway safety oriented vehicular communications.
INFOCOM
Kai Xing, Tianbo Gu, Zhengang Zhao, Lei Shi, Yunhao Liu, Pengfei Hu, Yuepeng Wang, Yi Liang, Shuo Zhang, Yang Wang, Liusheng Huang
2013 A* conf
Mutual privacy-preserving regression modeling in participatory sensing.
INFOCOM
Kai Xing, Zhiguo Wan, Pengfei Hu, Haojin Zhu, Yuepeng Wang, Xi Chen, Yang Wang, Liusheng Huang