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
3012017
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
1532017
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
145*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
542018
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
522019
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
Relational program synthesis
Y Wang, X Wang, I Dillig
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
272018
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
232020
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
232016
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
162022
Information exchange with collision detection on multiple channels
Y Wang, Y Wang, D Yu, J Yu, FCM Lau
Journal of Combinatorial Optimization 31, 118-135, 2016
152016
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
132021
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
92021
Declarative smart contracts
H Chen, G Whitters, MJ Amiri, Y Wang, BT Loo
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
82022
Synthesis-powered optimization of smart contracts via data type refactoring
Y Chen, Y Wang, M Goyal, J Dong, Y Feng, I Dillig
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 560-588, 2022
52022
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
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
22022
The system can't perform the operation now. Try again later.
Articles 1–18