Yuepeng Wang

1. Relational Program Synthesis
   2018/09/07 by Yuepeng Wang, Xinyu Wang, Wang, Yuepeng +4 · 1 voice · 1 citation
   Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities #cs.PL
2. Active operator inference for learning low-dimensional dynamical-system models from noisy data
   2021/07/20 by Wayne Isaac Tan Uy, Uy, Wayne Isaac Tan, Yuepeng Wang +5 · 2 citations
   Physics and Astronomy · Computer Science · #Model Reduction and Neural Networks #Neural Networks and Applications #Gaussian Processes and Bayesian Inference
3. Formal Specification and Verification of Smart Contracts for Azure Blockchain
   2018/12/20 by Yuepeng Wang, Wang, Yuepeng, Shuvendu K. Lahiri +11 · 1 citation
   Computer Science · Social Sciences · #Blockchain Technology Applications and Security #Cryptography and Data Security #Access Control and Trust
4. Synthesizing Document Database Queries using Collection Abstractions
   2024/12/08 by Qikang Liu, Yang He, Liu, Qikang +6 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #Semantic Web and Ontologies #Data Management and Algorithms