Shengyi Wang
Shengyi Wang
PhD candidate in NUS
Verified email at comp.nus.edu.sg - Homepage
Title
Cited by
Cited by
Year
Equity-structure-approach to Solve Corporate Governance Problem
Y Huang, Y Sun, Y Shao, S WANG
JOURNAL-TONGJI UNIVERSITY 31 (9), 1102-1105, 2003
262003
Method, device and system for transmitting packet service data
S Wang, Y Zhao, M Li, M Yang, W Yong, S Qin, Y Shao, W Gu, G Wang, ...
US Patent 9,220,120, 2015
112015
Certifying graph-manipulating C programs via localizations within data structures
S Wang, Q Cao, A Mohan, A Hobor
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
82019
Besfs: Mechanized proof of an iago-safe filesystem for enclaves
S Shinde, S Wang, P Yuan, A Hobor, A Roychoudhury, P Saxena
ArXiv e-prints, 2018
72018
Certified reasoning with infinity
A Sharma, S Wang, A Costea, A Hobor, WN Chin
International Symposium on Formal Methods, 496-513, 2015
62015
BesFS: A {POSIX} Filesystem for Enclaves with a Mechanized Safety Proof
S Shinde, S Wang, P Yuan, A Hobor, A Roychoudhury, P Saxena
29th {USENIX} Security Symposium ({USENIX} Security 20), 523-540, 2020
52020
Stack bound inference for abstract Java bytecode
S Wang, Z Qiu, S Qin, WN Chin
2010 4th IEEE International Symposium on Theoretical Aspects of Software …, 2010
32010
Proof pearl: Magic wand as frame
Q Cao, S Wang, A Hobor, AW Appel
arXiv preprint arXiv:1909.08789, 2019
22019
Method, Apparatus, and System for Transmitting Packet Service Data
Y Zhao, Y Shao, S Wang, M Li, J Wei, W Yong, S Qin, QIU Hua, Y Zhang, ...
US Patent App. 13/290,674, 2012
22012
Circulating Nurses' experience of Coordination Involved in 10, 000 cases of Extracorporeal Circulation Operation
SF Wang, Y Liu, S Qin
CHINESE JOURNAL OF NURSING 33, 135-136, 1998
1998
ELSEVIER Journal of Materials Processing Technology 47 {1995~ 395
S Altintas, MJM Barata Marques, DJ Barrett, PS Bate, E Bayraktar, ...
Journal of Materials Processing Technology 47, 395, 1995
1995
A Machine-Checked C Implementation of Dijkstra’s Shortest Path Algorithm
A Mohan, S Wang, A Hobor
The Ramifications of Mechanized Localizations within Data Structures
SWQCA Sharma, X Aquinas Hobor
The system can't perform the operation now. Try again later.
Articles 1–13