Shengyi Wang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2025

Bayesian Active Learning-Based Soft Data Space Calibration for System-Wise Aggregate Flexibility Characterization.

[BibT_eX]

[DOI]

Shengyi Wang

Liang Du

Xin Chen

IEEE Trans. Smart Grid, July, 2025

BakeEase: Redefining Baking Experiences with AI-Powered Multimodal Systems.

[BibT_eX]

[DOI]

Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2025

2024

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

[BibT_eX]

[DOI]

IEEE Wirel. Commun. Lett., March, 2024

Comprehensive Verification of Packet Processing.

[BibT_eX]

[DOI]

Shengyi Wang

Mengying Pan

Andrew W. Appel

CoRR, 2024

Compositional Verification of Concurrent C Programs with Search Structure Templates.

[BibT_eX]

[DOI]

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

Neural Spectral Clustering Based Voltage Area Partition of Active Distribution Systems.

[BibT_eX]

[DOI]

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

2023

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

[BibT_eX]

[DOI]

Proc. ACM Manag. Data, 2023

Proving Logical Atomicity using Lock Invariants.

[BibT_eX]

[DOI]

Roshan Sharma

Shengyi Wang

Alexander Oey

Anastasiia Evdokimova

Lennart Beringer

William Mansky

CoRR, 2023

Foundational Verification of Stateful P4 Packet Processing.

[BibT_eX]

[DOI]

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

2022

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

[BibT_eX]

[DOI]

Shengyi Wang

Liang Du

Jason R. Marden

IEEE Syst. J., 2022

2020

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

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2020

Noncooperative Social Welfare Optimization With Resiliency Against Network Anomaly.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

2019

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Proof Pearl: Magic Wand as Frame.

[BibT_eX]

[DOI]

CoRR, 2019

2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Noncooperative Distributed Social Welfare Optimization with EV Charging Response.

[BibT_eX]

[DOI]

Proceedings of the IECON 2018, 2018

2015

Certified Reasoning with Infinity.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

2010

Stack Bound Inference for Abstract Java Bytecode.

[BibT_eX]

[DOI]

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

2009

A Tool for Estimating Memory Usage.

[BibT_eX]

[DOI]

Shengyi Wang

Zongyan Qiu

Proceedings of the TASE 2009, 2009

Shengyi Wang

Bibliography

Loading...