Shengyi Wang

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 15

Top Topics

Top Venues

Proc. ACM Program. Lang.

Proc. ACM Manag. Data

Publications

Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang
Compositional Verification of Concurrent C Programs with Search Structure Templates. CPP (2024)
Shengyi Wang, Rui Liu, Huan Zhou, Jiamin Li, Feiyang Liu, Bin Sheng, Dongming Wang, Xiaohu You
Location-Aware Coordinated Beamforming for High Mobility Cell-Free mmWave Systems. IEEE Wirel. Commun. Lett. 13 (3) (2024)
Roshan Sharma, Shengyi Wang, Alexander Oey, Anastasiia Evdokimova, Lennart Beringer, William Mansky
Proving Logical Atomicity using Lock Invariants. CoRR (2023)
Weixing Zhou, Qi Peng, Zijie Zhang, Yanfeng Zhang, Yang Ren, Sihao Li, Guo Fu, Yulong Cui, Qiang Li, Caiyi Wu, Shangjun Han, Shengyi Wang, Guoliang Li, Ge Yu
GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database. CoRR (2023)
Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel
Foundational Verification of Stateful P4 Packet Processing. ITP (2023)
Weixing Zhou, Qi Peng, Zijie Zhang, Yanfeng Zhang, Yang Ren, Sihao Li, Guo Fu, Yulong Cui, Qiang Li, Caiyi Wu, Shangjun Han, Shengyi Wang, Guoliang Li, Ge Yu
GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database. Proc. ACM Manag. Data 1 (1) (2023)
Shengyi Wang, Liang Du, Jason R. Marden
Learning in Potential Games for Electric Power Grids: Models, Dynamics, and Outlook. IEEE Syst. J. 16 (3) (2022)
Xue Li, Cheng Jiang, Dajun Du, Shengyi Wang, Minrui Fei, Lei Wu
A Novel Efficient Signcryption Scheme for Resource-Constrained Smart Terminals in Cyber-Physical Power Systems. CoRR (2022)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. USENIX Security Symposium (2020)
Shengyi Wang, Liang Du, Jin Ye, Dongbo Zhao
A Deep Generative Model for Non-Intrusive Identification of EV Charging Profiles. IEEE Trans. Smart Grid 11 (6) (2020)
Shengyi Wang, Liang Du, Jin Ye, Lina He
Noncooperative Social Welfare Optimization With Resiliency Against Network Anomaly. IEEE Trans. Ind. Informatics 16 (4) (2020)
Qinxiang Cao, Shengyi Wang, Aquinas Hobor, Andrew W. Appel
Proof Pearl: Magic Wand as Frame. CoRR (2019)
Shengyi Wang, Qinxiang Cao, Anshuman Mohan, Aquinas Hobor
Certifying graph-manipulating C programs via localizations within data structures. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. CoRR (2018)
Shengyi Wang, Dongsen Sun, Liang Du, Jin Ye
Noncooperative Distributed Social Welfare Optimization with EV Charging Response. IECON (2018)
Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin
Certified Reasoning with Infinity. FM (2015)
Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin
Stack Bound Inference for Abstract Java Bytecode. TASE (2010)
Shengyi Wang, Zongyan Qiu
A Tool for Estimating Memory Usage. TASE (2009)