Shengyi Wang

According to our database, Shengyi Wang authored at least 16 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Location-Aware Coordinated Beamforming for High Mobility Cell-Free mmWave Systems.

Shengyi Wang, Rui Liu, Huan Zhou, Jiamin Li, Feiyang Liu, Bin Sheng, Dongming Wang, Xiaohu You

IEEE Wirel. Commun. Lett., March, 2024

Compositional Verification of Concurrent C Programs with Search Structure Templates.

Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database.

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

Proc. ACM Manag. Data, 2023

Proving Logical Atomicity using Lock Invariants.

Roshan Sharma, Shengyi Wang, Alexander Oey, Anastasiia Evdokimova, Lennart Beringer, William Mansky

CoRR, 2023

Foundational Verification of Stateful P4 Packet Processing.

Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Learning in Potential Games for Electric Power Grids: Models, Dynamics, and Outlook.

Shengyi Wang, Liang Du, Jason R. Marden

IEEE Syst. J., 2022

2020

A Deep Generative Model for Non-Intrusive Identification of EV Charging Profiles.

Shengyi Wang, Liang Du, Jin Ye, Dongbo Zhao

IEEE Trans. Smart Grid, 2020

Noncooperative Social Welfare Optimization With Resiliency Against Network Anomaly.

Shengyi Wang, Liang Du, Jin Ye, Lina He

IEEE Trans. Ind. Informatics, 2020

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.

Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena

Proceedings of the 29th USENIX Security Symposium, 2020

2019

Certifying graph-manipulating C programs via localizations within data structures.

Shengyi Wang, Qinxiang Cao, Anshuman Mohan, Aquinas Hobor

Proc. ACM Program. Lang., 2019

Proof Pearl: Magic Wand as Frame.

Qinxiang Cao, Shengyi Wang, Aquinas Hobor, Andrew W. Appel

CoRR, 2019

2018

BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves.

Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena

CoRR, 2018

Noncooperative Distributed Social Welfare Optimization with EV Charging Response.

Shengyi Wang, Dongsen Sun, Liang Du, Jin Ye

Proceedings of the IECON 2018, 2018

2015

Certified Reasoning with Infinity.

Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the FM 2015: Formal Methods, 2015

2010

Stack Bound Inference for Abstract Java Bytecode.

Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

2009

A Tool for Estimating Memory Usage.

Shengyi Wang, Zongyan Qiu

Proceedings of the TASE 2009, 2009