Pu (Luke) Yi
Email / Google Scholar / Twitter
My formal name is Pu Yi (Chinese: 易普), and I usually go by Luke. I am a first-year Ph.D. student in computer science at Stanford University, advised by Prof. Sara Achour. My research interests are unconventional computing paradigms and their interplay with emergent hardware technologies. I am generally interested in programming languages, formal methods, and software engineering.
I obtained my B.S. (summa cum laude) in computer science from Turing Class, Peking University, China. My undergraduate research focused on software testing, under the supervision of Prof. Darko Marinov and Prof. Tao Xie.
My formal CV: CV
Pu Yi and Sara Achour
Hardware-Aware Static Optimization of Hyperdimensional Computations
Pu Yi, Hao Wang, Tao Xie, Darko Marinov, and Wing Lam
A Theoretical Analysis of Random Regression Test Prioritization
28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
(TACAS 2022), pages 217-235, Munich, Germany, April 2022
Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, and Wing Lam
Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
(TACAS 2021), pages 270-287, Virtual Conference, March 2021
I participated in programming contests (Olympiad in Informatics in China) in my high school and have stayed in the community ever since. I served as the president of the Peking University Student Algorithm Association (PKUSAA) for a year, where we organized the biggest programming contests in PKU. I also help train high school students for programming contests from time to time.
I enjoy various sports and particularly like to play basketball. I sometimes watch basketball (a fan of Lebron James), baseball and football games. I've been a gamer since childhood. Red Dead Redemption 2 is my favorite game. I learn German (Duetschlernen macht mir viel Spaß). I enjoy watching movies.