Shengyi Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CHI | BakeEase: Redefining Baking Experiences with AI-Powered Multimodal Systems. | Shuang He, Da Gao, Xingyu Zhou, Haoyu Dai, Shengyi Wang, Yingqing Xu, Xinyi Fu |
| 2025 | SMC | LI-AMCU: Leveraging Isomorphism for Adaptive Motion Control Update. | Shengyi Wang, Guoqing Deng, Wen Zhang |
| 2024 | CPP | Compositional Verification of Concurrent C Programs with Search Structure Templates. | Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang |
| 2023 | ITP | Foundational Verification of Stateful P4 Packet Processing. | Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel |
| 2018 | IECON | Noncooperative Distributed Social Welfare Optimization with EV Charging Response. | Shengyi Wang, Dongsen Sun, Liang Du, Jin Ye |
| 2015 | FM | Certified Reasoning with Infinity. | Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin |
| 2010 | TASE | Stack Bound Inference for Abstract Java Bytecode. | Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin |
| 2009 | TASE | A Tool for Estimating Memory Usage. | Shengyi Wang, Zongyan Qiu |