Yao Li

More flexible and more convenient type system without compromising type safety.
New paradigms that will benefit programming and debugging in domains such as parallel/concurrent programming.
Meta-programming or multi-stage programming techniques.
Compiler optimization techniques (especially optimizations for new programming paradigms).
Verification/Analysis/Profiling techniques.

Ph.D. in Computer and Information Sciences, 2016-present
The University of Pennsylvania
Master of Science in Engineering, 2013-2016
Shanghai Jiao Tong University
Bachelor of Science in Engineering, 2009-2013
Shanghai Jiao Tong University

ScalaHDL: Express and Test Hardware Designs in a Scala DSL Link
by Yao Li, Antonio R. Lopes, Zhouyun Xu, Zhengwei Qi, and Haibing Guan,
32nd IEEE International Conference on Computer Design (ICCD), 2014

AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses Link
by Yudi Zheng, Andrea Rosa, Luca Salucci, Yao Li, Haiyang Sun, Lubomir Bulej, Lydia Y. Chen, Zhengwei Qi, and Walter Binder
23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016

ScalaHDL: From High-Level Scala to Low-Level FPGA Link
- This is a joint research and development project between Morgan Stanley and our lab.
- I was the major contributor to this project. Now I am mentoring other graduate and undergraduate students in our lab to continue working on this project.
- We have published a paper on ICCD 2014. And we have another paper describing our latest improvement, including stronger type-safety and better modularity, which is currently under review.
Scala Forklift: Type-safe Data Migration Tool for Slick, Git and Beyond Link
- Working closely with my mentor Jan Christopher Vogt, one of Slick's major contributors, I developed his idea into a production-ready tool. And together we have also developed an experimental tool to make this tool work with git branches.
- In October we released an alpha version of this tool as an open-source software. I will be still developing and maintaining it as a hobby project.

China National Scholarship (the scholarship with highest honor and reward), 2014
Outstanding Graduate of Shanghai Jiao Tong University, 2013
China National Scholarship (the scholarship with highest honor and reward), 2012
Most Popular Collegiate Innovation Projects of Shanghai Jiao Tong University, 2012
1st Prize in the 4th Intel Cup National Collegiate Software Innovation Contest in China, 2011
1st Prize in National Olympiad in Informatics in Provinces, 2008
1st Prize in National Olympiad in Informatics in Provinces, 2007

Research Interests