Wang, Shengyi
- Proof Pearl: Magic Wand as Frame
2019/09/19 by Qinxiang Cao, Cao, Qinxiang, Shengyi Wang +5 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing #cs.PL
- GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database
2023/04/19 by Zhou, Weixing, Peng, Qi, Zhang, Zijie +11 · 1 citation
#Databases (cs.DB) #FOS: Computer and information sciences