Shengyi Wang

26 papers A* 1B 4C 1Misc 2Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Sparse Adaptive Generalized S Transform.
IEEE Geosci. Remote. Sens. Lett.
Shengyi Wang, Xuehua Chen, Cong Wang, Junjie Liu, Xin Luo
2025 — conf
BakeEase: Redefining Baking Experiences with AI-Powered Multimodal Systems.
CHI Extended Abstracts
Shuang He, Da Gao, Xingyu Zhou, Haoyu Dai, Shengyi Wang, Yingqing Xu, Xinyi Fu
2025 J jnl
Bayesian Active Learning-Based Soft Data Space Calibration for System-Wise Aggregate Flexibility Characterization.
IEEE Trans. Smart Grid
Shengyi Wang, Liang Du, Xin Chen
2025 — conf
Cascaded Learning of Grid-to-Graph Embeddings for Voltage Area Partition in Inaccurate Multiphase Distribution Networks.
CDC
Shengyi Wang, Liang Du, Lianren Zhu, Yan Li
2025 J jnl
Deep Reinforcement Learning-Based AI Task Offloading in Resource-Constrained IIoT Computing Environments.
IEEE Internet Things J.
Deshui Yu, Xianhui Liu, Ning Jia, Shengyi Wang, Chenglin Zhu, Weidong Zhao
2025 B conf
LI-AMCU: Leveraging Isomorphism for Adaptive Motion Control Update.
SMC
Shengyi Wang, Guoqing Deng, Wen Zhang
2025 J jnl
SPIN-SGG: spatial integration for open-vocabulary scene graph generation.
J. King Saud Univ. Comput. Inf. Sci.
Nanhao Liang, Xiaoyuan Yang, Shengyi Wang, Yong Liu, Yingwei Xia
2024 B conf
Compositional Verification of Concurrent C Programs with Search Structure Templates.
CPP
Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang
2024 J jnl
Comprehensive Verification of Packet Processing.
CoRR
Shengyi Wang, Mengying Pan, Andrew W. Appel
2024 J jnl
Location-Aware Coordinated Beamforming for High Mobility Cell-Free mmWave Systems.
IEEE Wirel. Commun. Lett.
Shengyi Wang, Rui Liu, Huan Zhou, Jiamin Li, Feiyang Liu, Bin Sheng, Dongming Wang, Xiaohu You
2024 — conf
Neural Spectral Clustering Based Voltage Area Partition of Active Distribution Systems.
CDC
Shengyi Wang, Liang Du, Lianren Zhu, Yan Li
2023 B conf
Foundational Verification of Stateful P4 Packet Processing.
ITP
Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel
2023 J jnl
GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database.
CoRR
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
2023 J jnl
GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database.
Proc. ACM Manag. Data
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
2023 J jnl
Proving Logical Atomicity using Lock Invariants.
CoRR
Roshan Sharma, Shengyi Wang, Alexander Oey, Anastasiia Evdokimova, Lennart Beringer, William Mansky
2022 J jnl
Learning in Potential Games for Electric Power Grids: Models, Dynamics, and Outlook.
IEEE Syst. J.
Shengyi Wang, Liang Du, Jason R. Marden
2020 J jnl
A Deep Generative Model for Non-Intrusive Identification of EV Charging Profiles.
IEEE Trans. Smart Grid
Shengyi Wang, Liang Du, Jin Ye, Dongbo Zhao
2020 A* conf
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.
USENIX Security Symposium
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
2020 J jnl
Noncooperative Social Welfare Optimization With Resiliency Against Network Anomaly.
IEEE Trans. Ind. Informatics
Shengyi Wang, Liang Du, Jin Ye, Lina He
2019 J jnl
Certifying graph-manipulating C programs via localizations within data structures.
Proc. ACM Program. Lang.
Shengyi Wang, Qinxiang Cao, Anshuman Mohan, Aquinas Hobor
2019 J jnl
Proof Pearl: Magic Wand as Frame.
CoRR
Qinxiang Cao, Shengyi Wang, Aquinas Hobor, Andrew W. Appel
2018 J jnl
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves.
CoRR
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
2018 C conf
Noncooperative Distributed Social Welfare Optimization with EV Charging Response.
IECON
Shengyi Wang, Dongsen Sun, Liang Du, Jin Ye
2015 B conf
Certified Reasoning with Infinity.
FM
Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin
2010 Misc conf
Stack Bound Inference for Abstract Java Bytecode.
TASE
Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin
2009 Misc conf
A Tool for Estimating Memory Usage.
TASE
Shengyi Wang, Zongyan Qiu