conf.researchr.org / Yao Li
Registered user since Mon 8 Jan 2018
Name:Yao Li
Bio:
I am a tenure-track assistant professor of Computer Science at Portland State University. I obtained my Ph.D. in computer and information science from the University of Pennsylvania in 2022, under the guidance of Stephanie Weirich. Before that, I received my master’s degree in software engineering from Shanghai Jiao Tong University in 2016, under the supervision of Zhengwei Qi, and my bachelor’s degree in software engineering from Shanghai Jiao Tong University in 2013.
Country:United States
Affiliation:Portland State University
Personal website: https://lastland.github.io/
X (Twitter): https://x.com/lastland0
GitHub: https://github.com/lastland
Research interests:Programming Languages, Formal Verification, Dependent Types
Contributions
2025
2024
ICFP
- Author of Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs within the Artifact Evaluation-track
- Author of Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs within the ICFP Papers and Events-track