Pu (Luke) Yi

Contact

Short Bio

My formal name is Pu Yi (Chinese: 易普), and I usually go by Luke. I am a second-year Ph.D. student in computer science at Stanford University, advised by Prof. Sara Achour. My current research interests are unconventional computing paradigms and their interplay with emergent hardware technologies, with a focus on Hyperdimensional Computation. 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

Selected Publications

Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, and Pu (Luke) Yi
JPF: From 2003 to 2023
30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
(TACAS 2024), pages 3-22, Luxembourg City, Luxembourg, April 2024
[PDF]
Pu (Luke) Yi and Sara Achour
Hardware-Aware Static Optimization of Hyperdimensional Computations
38th ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 2023), pages 1-30, Cascais, Portugal, October 2023
[PDF]
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
[PDF] [slides]
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
[PDF] [slides]

Miscellaneous

The two characters of my Chinese name mean literally simple (易) and normal (普) respectively.
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.
In my free time, I enjoy various sports and particularly like 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 by now my favorite game ever played. I am interested in learning various languages. I've learned German for a year (Duetschlernen macht mir viel Spaß), and I am currently learning Cantonese. I am also a fan of movies and TV series. My favorite directors include Ang Lee, Quentin Tarantino, and Martin Scorsese.