Yuepeng Wang

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 31

Top Topics

Formal Specification

Top Venues

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
Verifying Declarative Smart Contracts. ICSE (2024)
Shankara Pailoor, Yuepeng Wang, Isil Dillig
Semantic Code Refactoring for Abstract Data Types. Proc. ACM Program. Lang. 8 (POPL) (2024)
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
From Batch to Stream: Automatic Generation of Online Algorithms. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
From Batch to Stream: Automatic Generation of Online Algorithms. CoRR (2024)
Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. CoRR (2024)
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
Declarative smart contracts. ESEC/SIGSOFT FSE (2022)
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
Safety Verification of Declarative Smart Contracts. CoRR (2022)
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig
Synthesis-powered optimization of smart contracts via data type refactoring. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. ICLR (2022)
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
Declarative Smart Contracts. CoRR (2022)
Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
Automatic Repair for Network Programs. TACAS (2) (2022)
Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
Orion: Automatic Repair for Network Programs. CoRR (2021)
Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
Sporq: An Interactive Environment for Exploring Code using Query-by-Example. UIST (2021)
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig
Synthesizing data structure refinements from integrity constraints. PLDI (2021)
Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig
Data Migration using Datalog Program Synthesis. CoRR (2020)
Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig
Data Migration using Datalog Program Synthesis. Proc. VLDB Endow. 13 (7) (2020)
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. VSTTE (2019)
Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
Synthesizing Database Programs for Schema Refactoring. CoRR (2019)
Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
Synthesizing database programs for schema refactoring. PLDI (2019)
Yuepeng Wang, Xinyu Wang, Isil Dillig
Relational Program Synthesis. CoRR (2018)
Yuepeng Wang, Xinyu Wang, Isil Dillig
Relational program synthesis. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang, Isil Dillig
Formal Specification and Verification of Smart Contracts for Azure Blockchain. CoRR (2018)
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
Verifying equivalence of database-driven applications. Proc. ACM Program. Lang. 2 (POPL) (2018)
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
SQLizer: query synthesis from natural language. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
Verifying Equivalence of Database-Driven Applications. CoRR (2017)
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
Type- and Content-Driven Synthesis of SQL Queries from Natural Language. CoRR (2017)
Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps
Component-based synthesis for complex APIs. POPL (2017)
Yuepeng Wang, Yuexuan Wang, Dongxiao Yu, Jiguo Yu, Francis C. M. Lau
Information exchange with collision detection on multiple channels. J. Comb. Optim. 31 (1) (2016)
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
Type-Directed Code Reuse using Integer Linear Programming. CoRR (2016)
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
Hunter: next-generation code reuse for Java. SIGSOFT FSE (2016)
Kai Xing, Tianbo Gu, Zhengang Zhao, Lei Shi, Yunhao Liu, Pengfei Hu, Yuepeng Wang, Yi Liang, Shuo Zhang, Yang Wang, Liusheng Huang
Approaching reliable realtime communications? A novel system design and implementation for roadway safety oriented vehicular communications. INFOCOM (2013)
Kai Xing, Shuo Zhang, Lei Shi, Haojin Zhu, Yuepeng Wang
A localized backbone renovating algorithm for wireless ad hoc and sensor networks. INFOCOM (2013)
Kai Xing, Zhiguo Wan, Pengfei Hu, Haojin Zhu, Yuepeng Wang, Xi Chen, Yang Wang, Liusheng Huang
Mutual privacy-preserving regression modeling in participatory sensing. INFOCOM (2013)