Li, Yishuai
李弈帥
Doctoral student since 2016, supervised by Dr. Pierce and Dr. Zdancewic.
Department of Computer and Information Science
University of Pennsylvania
I am a proud member of the Programming Languages Research at Penn.
Here is my CV.
Contact
3330 Walnut St |
Email:
|
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.
Publication
From C to interaction trees: specifying, verifying, and testing a networked serverCPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
Miscellaneous
My name is pronounced as [li˨˩˦ i˥˩ ʂwaɪ̯˥˩] (lee ee shwhy), where Y is silent. Other writings include: 리혁수、リ エキスイ、Lý Dịch Soái.
"Yi" is Weiqi (Go), and stands for strategy; "Shuai" is the generalissimo in military and Xiangqi, representing leadership.
I play music with Penn Wind Ensemble. Please check out the website for our next performance!
Last modified: January 2020