default search action
Yuepeng Wang 0001
Person information
- affiliation: Simon Fraser University, Burnaby, Canada
- affiliation (former): University of Texas at Austin, USA
- affiliation (former): University of Science and Technology of China, Hefei, China
Other persons with the same name
- Yuepeng Wang 0002 — Nanjing University of Information Science and Technology, School of Mathematics and Statistics, China
- Yuepeng Wang 0003 — Shanghai Institute of Microsystem and Information Technology, CAS, China
- Yuepeng Wang 0004 — China Agricultural University, College of Resources and Environmental Sciences, Beijing, China (and 1 more)
- Yuepeng Wang 0005 — Harbin University of Science and Technology, School of Economics and Management, China
- Yuepeng Wang 0006 — New York University, Institute of Mathematical Sciences, NY, USA
- Yuepeng Wang 0007 — DHC IT Company, Dalian, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Yang He
, Pinhan Zhao
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. Proc. ACM Program. Lang. 8(OOPSLA1): 1071-1099 (2024) - [j9]Ziteng Wang
From Batch to Stream: Automatic Generation of Online Algorithms. Proc. ACM Program. Lang. 8(PLDI): 1014-1039 (2024) - [j8]Shankara Pailoor
Semantic Code Refactoring for Abstract Data Types. Proc. ACM Program. Lang. 8(POPL): 816-847 (2024) - [j7]Pinhan Zhao, Yang He, Xinyu Wang, Yuepeng Wang:
Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries. Proc. VLDB Endow. 17(12): 4437-4440 (2024) - [c13]Haoxian Chen
Verifying Declarative Smart Contracts. ICSE 2024: 179:1-179:12 - [i12]Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang:
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. CoRR abs/2403.03193 (2024) - [i11]Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig:
From Batch to Stream: Automatic Generation of Online Algorithms. CoRR abs/2404.04743 (2024) - 2022
- [j6]Yanju Chen
Synthesis-powered optimization of smart contracts via data type refactoring. Proc. ACM Program. Lang. 6(OOPSLA2): 560-588 (2022) - [c12]Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik:
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. ICLR 2022 - [c11]Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri
Declarative smart contracts. ESEC/SIGSOFT FSE 2022: 281-293 - [c10]Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo:
Automatic Repair for Network Programs. TACAS (2) 2022: 353-372 - [i10]Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
Declarative Smart Contracts. CoRR abs/2207.13827 (2022) - [i9]Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
Safety Verification of Declarative Smart Contracts. CoRR abs/2211.14585 (2022) - 2021
- [c9]Shankara Pailoor, Yuepeng Wang, Xinyu Wang
Synthesizing data structure refinements from integrity constraints. PLDI 2021: 574-587 - [c8]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: 84-99 - [i8]Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo:
Orion: Automatic Repair for Network Programs. CoRR abs/2110.06303 (2021) - 2020
- [j5]Yuepeng Wang, Rushi Shah, Abby Criswell
Data Migration using Datalog Program Synthesis. Proc. VLDB Endow. 13(7): 1006-1019 (2020) - [i7]Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig:
Data Migration using Datalog Program Synthesis. CoRR abs/2003.01331 (2020)
2010 – 2019
- 2019
- [c7]Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig:
Synthesizing database programs for schema refactoring. PLDI 2019: 286-300 - [c6]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: 87-106 - [i6]Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig:
Synthesizing Database Programs for Schema Refactoring. CoRR abs/1904.05498 (2019) - 2018
- [j4]Yuepeng Wang, Xinyu Wang
Relational program synthesis. Proc. ACM Program. Lang. 2(OOPSLA): 155:1-155:27 (2018) - [j3]Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook:
Verifying equivalence of database-driven applications. Proc. ACM Program. Lang. 2(POPL): 56:1-56:29 (2018) - [i5]Yuepeng Wang, Xinyu Wang, Isil Dillig:
Relational Program Synthesis. CoRR abs/1809.02283 (2018) - [i4]Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang, Isil Dillig:
Formal Specification and Verification of Smart Contracts for Azure Blockchain. CoRR abs/1812.08829 (2018) - 2017
- [j2]Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig:
SQLizer: query synthesis from natural language. Proc. ACM Program. Lang. 1(OOPSLA): 63:1-63:26 (2017) - [c5]Yu Feng
Component-based synthesis for complex APIs. POPL 2017: 599-612 - [i3]Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig:
Type- and Content-Driven Synthesis of SQL Queries from Natural Language. CoRR abs/1702.01168 (2017) - [i2]Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook:
Verifying Equivalence of Database-Driven Applications. CoRR abs/1710.07660 (2017) - 2016
- [j1]Yuepeng Wang, Yuexuan Wang, Dongxiao Yu, Jiguo Yu
Information exchange with collision detection on multiple channels. J. Comb. Optim. 31(1): 118-135 (2016) - [c4]Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Hunter: next-generation code reuse for Java. SIGSOFT FSE 2016: 1028-1032 - [i1]Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Type-Directed Code Reuse using Integer Linear Programming. CoRR abs/1608.07745 (2016) - 2013
- [c3]Kai Xing, Tianbo Gu, Zhengang Zhao, Lei Shi, Yunhao Liu, Pengfei Hu
Approaching reliable realtime communications? A novel system design and implementation for roadway safety oriented vehicular communications. INFOCOM 2013: 115-119 - [c2]Kai Xing, Shuo Zhang, Lei Shi, Haojin Zhu
A localized backbone renovating algorithm for wireless ad hoc and sensor networks. INFOCOM 2013: 2184-2192 - [c1]Kai Xing, Zhiguo Wan, Pengfei Hu
Mutual privacy-preserving regression modeling in participatory sensing. INFOCOM 2013: 3039-3047
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: