Seguir
Yuepeng Wang
Título
Citado por
Citado por
Año
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
3082017
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
1582017
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
147*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
292018
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
142021
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
102021
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
72022
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
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
32024
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–19