Li, Yishuai
李弈帥
Li, Yishuai
李弈帥
Ph.D. in Computer and Information Science, completed in 2022, supervised by Dr. Pierce and Dr. Zdancewic.
University of Pennsylvania
I am a proud member of the Programming Languages Research at Penn.
Contact
3330 Walnut St
Levine 565
Philadelphia, PA 19104-3409
Levine 565
Philadelphia, PA 19104-3409
Teaching
- Compilers and Interpreters Spring 2018
- Software Foundations Fall 2017
- Operating Systems H Spring 2015 and 2016 at USTC
Research
-
- DeepWeb: A formally verified web server
- As part of The Science of Deep Specification, we are aiming to build a web server, formally verify its conformance to HTTP using VST, host it on CertiKOS, and run the entire system on verified RISC-V hardware. We hope to combine verified hardware and software into large-scale systems, with end-to-end guarantee of security and functional correctness.
Publications
-
- Model-Based Testing of Networked Applications
- Yishuai Li, Benjamin C. Pierce, and Steve Zdancewic
- ISSTA'21, doi:10.1145/3460319.3464798
-
- Verifying an HTTP Key-Value Server with Interaction Trees and VST
- Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-Yao Xia, Lennart Beringer, William Mansky, Benjamin Pierce, and Steve Zdancewic
- ITP'21, doi:10.4230/LIPIcs.ITP.2021.32
-
- From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server
- Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C Pierce, and Steve Zdancewic
- CPP'19, doi:10.1145/3293880.3294106
Miscellaneous
My name is pronounced as [li˨˩˦ i˥˩ ʂwaɪ̯˥˩] (lee ee shwhy), where Y is
silent.
"Yì" is Weiqi (Go),
and
stands for strategy; "Shuài" is the generalissimo in military and Xiangqi, representing leadership.
I lead the Chinese translation team of Software Foundations《软件基础》. You can view our latest development on GitHub.
I play music with Penn Wind Ensemble. Please check out the website for our next performance!