Wang, Yuepeng
- Relational Program Synthesis
2018/09/07 by Yuepeng Wang, Xinyu Wang, Wang, Yuepeng +3 · 1 voice · 1 citation
#cs.PL
- Active operator inference for learning low-dimensional dynamical-system models from noisy data
2021/07/20 by Wayne Isaac Tan Uy, Yuepeng Wang, Uy, Wayne Isaac Tan +5 · 2 citations
Physics and Astronomy · Computer Science · #Model Reduction and Neural Networks #Neural Networks and Applications #Gaussian Processes and Bayesian Inference
- Formal Specification and Verification of Smart Contracts for Azure Blockchain
2018/12/20 by Yuepeng Wang, Shuvendu K. Lahiri, Wang, Yuepeng +11 · 1 citation
Computer Science · Social Sciences · #Blockchain Technology Applications and Security #Cryptography and Data Security #Access Control and Trust
- Data Migration using Datalog Program Synthesis
2020/03/03 by Wang, Yuepeng, Shah, Rushi, Criswell, Abby +2 · 1 citation
#Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
2024/03/05 by He, Yang, Zhao, Pinhan, Wang, Xinyu +1 · 2 citations
#Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Synthesizing Document Database Queries using Collection Abstractions
2024/12/08 by Qikang Liu, Liu, Qikang, Yang He +6 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Semantic Web and Ontologies #Data Management and Algorithms