Follow
Yuepeng Wang
Title
Cited by
Cited by
Year
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
2172017
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
1242017
Formal verification of workflow policies for smart contracts in azure blockchain
Y Wang, S Lahiri, S Chen, R Pan, I Dillig, C Born, I Naseer, K Ferles
Verified Software. Theories, Tools, and Experiments: 11th International …, 2020
97*2020
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, 2018
462018
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
402013
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
382019
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
192016
Relational program synthesis
Y Wang, X Wang, I Dillig
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
152018
Information exchange with collision detection on multiple channels
Y Wang, Y Wang, D Yu, J Yu, F Lau
Journal of Combinatorial Optimization 31 (1), 118-135, 2016
142016
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
112020
Sporq: An Interactive Environment for Exploring Code using Query-by-Example
A Naik, J Mendelson, N Sands, Y Wang, M Naik, M Raghothaman
The 34th Annual ACM Symposium on User Interface Software and Technology, 84-99, 2021
62021
Synthesizing data structure refinements from integrity constraints
S Pailoor, Y Wang, X Wang, I Dillig
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
62021
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
52013
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation
P Pashakhanloo, A Naik, Y Wang, H Dai, P Maniatis, M Naik
International Conference on Learning Representations (ICLR), 2022
42022
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
32013
Automatic Repair for Network Programs
L Shi, Y Wang, R Alur, BT Loo
International Conference on Tools and Algorithms for the Construction and …, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–16