Li, Yishuai (李弈帥)
Doctoral student since 2016
Department of Computer and Information Science
University of Pennsylvania
I am a proud member of the Programming Languages Research at Penn.
Contact
3330 Walnut St |
Email:
|
Teaching
- Compilers and Interpreters Spring 2018
- Software Foundations Fall 2017
- Operating Systems H 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.
Publication
-
- From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server
- by Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, and Steve Zdancewic
- in Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proof (CPP '19)
Miscellaneous
My name is pronounced as [li˨˩˦ i˥˩ ʂu̯æi̯˥˩] (lee ee shwhy), where Y is silent. Its Korean spelling is 리혁수 [ɾiː çjʌk s͈uː] (ree hyuk soo). Please teach me how to read it in Japanese and Tiếng Việt!
I prefer the initial lys (in lowercase), or liys in case of conflict.
Last modified: Thu Dec 6 2018