Yuepeng Wang

According to our database1, Yuepeng Wang authored at least 15 papers between 2013 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Data Migration using Datalog Program Synthesis.
Proc. VLDB Endow., 2020

2019
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Synthesizing database programs for schema refactoring.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Relational program synthesis.
Proc. ACM Program. Lang., 2018

Verifying equivalence of database-driven applications.
Proc. ACM Program. Lang., 2018

Formal Specification and Verification of Smart Contracts for Azure Blockchain.
CoRR, 2018

2017
SQLizer: query synthesis from natural language.
Proc. ACM Program. Lang., 2017

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

Component-based synthesis for complex APIs.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Information exchange with collision detection on multiple channels.
J. Comb. Optim., 2016

Type-Directed Code Reuse using Integer Linear Programming.
CoRR, 2016

Hunter: next-generation code reuse for Java.
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.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Mutual privacy-preserving regression modeling in participatory sensing.
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.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013


  Loading...