About

I am Ph.D. student at the University of Pennsylvania. I am a member of PLClub.

My research interests are in improving programmers’ productivity by building techniques to help them conveniently build reliable systems from the programming language level.

Selected Publications

• ScalaHDL: Express and Test Hardware Designs in a Scala DSL (link), by Yao Li, Antonio R. Lopes, Zhouyun Xu, Zhengwei Qi, and Haibing Guan

• 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