Yuepeng Wang
Cited by
Cited by
SQLizer: query synthesis from natural language
N Yaghmazadeh, Y Wang, I Dillig, T Dillig
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
Component-based synthesis for complex APIs
Y Feng, R Martins, Y Wang, I Dillig, TW Reps
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
Mutual privacy-preserving regression modeling in participatory sensing
K Xing, Z Wan, P Hu, H Zhu, Y Wang, X Chen, Y Wang, L Huang
2013 Proceedings IEEE INFOCOM, 3039-3047, 2013
Formal specification and verification of smart contracts for azure blockchain
SK Lahiri, S Chen, Y Wang, I Dillig
arXiv preprint arXiv:1812.08829, 2018
Verifying equivalence of database-driven applications
Y Wang, I Dillig, SK Lahiri, WR Cook
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
Synthesizing database programs for schema refactoring
Y Wang, J Dong, R Shah, I Dillig
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
Hunter: next-generation code reuse for java
Y Wang, Y Feng, R Martins, A Kaushik, I Dillig, SP Reiss
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
Information exchange with collision detection on multiple channels
Y Wang, Y Wang, D Yu, J Yu, FCM Lau
Journal of Combinatorial Optimization 31 (1), 118-135, 2016
Relational program synthesis
Y Wang, X Wang, I Dillig
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
Data migration using datalog program synthesis
Y Wang, R Shah, A Criswell, R Pan, I Dillig
Proceedings of the VLDB Endowment (PVLDB) 13 (7), 1006--1019, 2020
Approaching reliable realtime communications? A novel system design and implementation for roadway safety oriented vehicular communications
K Xing, T Gu, Z Zhao, L Shi, Y Liu, P Hu, Y Wang, Y Liang, S Zhang, ...
2013 Proceedings IEEE INFOCOM, 115-119, 2013
A localized backbone renovating algorithm for wireless ad hoc and sensor networks
K Xing, S Zhang, L Shi, H Zhu, Y Wang
2013 Proceedings IEEE INFOCOM, 2184-2192, 2013
The system can't perform the operation now. Try again later.
Articles 1–12