I am a Ph.D. student at the University of Pennsylvania.
My research interests are in improving programmers' productivity by building techniques to help them conveniently build reliable systems from the programming language level.
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).
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.
Honors & Awards
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