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 | 334 | 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 | 177 | 2017 |
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 | 57 | 2019 |
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 | 56 | 2018 |
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 | 40 | 2013 |
Relational program synthesis Y Wang, X Wang, I Dillig Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018 | 33 | 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 | 27 | 2020 |
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 | 25 | 2016 |
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 | 17 | 2022 |
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 | 16 | 2022 |
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 | 15 | 2021 |
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 | 15 | 2021 |
Declarative smart contracts H Chen, G Whitters, MJ Amiri, Y Wang, BT Loo Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 14 | 2022 |
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 | 14 | 2016 |
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 | 5 | 2024 |
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 | 5 | 2013 |
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 | 4 | 2024 |
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 | 3 | 2013 |
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 | 2 | 2024 |