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
3342017
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
1772017
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
170*2020
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
572019
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
562018
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
332018
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
272020
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
252016
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
172022
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
162022
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
152021
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
152021
Declarative smart contracts
H Chen, G Whitters, MJ Amiri, Y Wang, BT Loo
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
142022
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
142016
Semantic code refactoring for abstract data types
S Pailoor, Y Wang, I Dillig
Proceedings of the ACM on Programming Languages 8 (POPL), 816-847, 2024
52024
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
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Y He, P Zhao, X Wang, Y Wang
Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 1071-1099, 2024
42024
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
Verifying Declarative Smart Contracts
H Chen, L Lu, B Massey, Y Wang, BT Loo
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
22024
The system can't perform the operation now. Try again later.
Articles 1–20