Shengyi Wang

Publications

• Compositional Verification of Concurrent C Programs with Search Structure Templates. Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang. Certified Programs and Proofs (CPP 2024), London, UK, January 2024.
• Foundational Verification of Stateful P4 Packet Processing. Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel. Fourteenth Conference on Interactive Theorem Proving (ITP 2023), Bialystok, Poland, August 2023.
• Proving Logical Atomicity using Lock Invariants. Roshan Sharma, Shengyi Wang, Alexander Oey, Anastasiia Evdokimova, Lennart Beringer, William Mansky. Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel, July 2022.
• BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena. 29th USENIX Security Symposium (USENIX Security '20), Boston, USA, August 2020.
• Certifying Graph-Manipulating C Programs via Localizations within Data Structures. Shengyi Wang, Qinxiang Cao, Anshuman Mohan, Aquinas Hobor. OOPSLA: Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2019), Athens, Greece, October 2019.
• Certified Reasoning with Infinity. Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin. 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 2015.
• Stack Bound Inference for Abstract Java Bytecode. Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin. 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2010), Taipei, Taiwan, August 2010.

Thesis

Mechanized Verification of Graph-Manipulating Programs. Shengyi Wang. School of Computing, National University of Singapore, March 2020.

Side Projects

• Hyperbolic Tilings via Group Theory and Automata Applying mathematical and computer science concepts to geometry.