Yao Li

DeepSpec Web Server, building a formally verified HTTP server on a formally verified operating system. Link
Haskell to Coq, mechanically verifying Haskell programs using Coq proof assistant. Link

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code (Experience Report) arXiv
by Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
the ACM SIGPLAN International Conference on Functional Programming (ICFP), 2018
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: 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

Scala-Forklift: type-safe data migration tool for Slick, Git and beyond, Comcast Scala by Schuykill, 2017 Code
Dependent Types in Scala, Philly Area Scala Enthusiasts Meetup, 2017 Code

Teaching Assistant: Theory of Computation (University of Pensylvania), 2018 Spring
Teaching Assistant: Advanced Programming (University of Pennsylvania), 2017 Fall
Teaching Assistant: Programming and Data Structures II (Shanghai Jiao Tong University), 2013 Fall

Outstanding Graduate of Shanghai Jiao Tong University, 2016
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

Yao Li (李垚)