Pu (Luke) Yi 易普

Contact

Email / Google Scholar / Twitter / CV

Short Bio

I am a Ph.D. candidate in computer science at Stanford University, advised by Prof. Sara Achour. My current research interests are developing computing systems for novel/unconventional (neuromorphic) computing paradigms which bring benefits such as ultra low power, noise resiliency and hardware friendliness over conventional computing. My current focus is on brain-inspired Hyperdimensional Computation (HDC/VSA), where the basic compute units are high-dimensional vectors with defined algebra, the information is fully distributed, and the operators are dimension-wise and embarrassingly parallel. I like to work in the intersection of theory and practices and have a general interest 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.

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]
• Anjiang Wei, Akash Levy, Pu (Luke) Yi, Robert M Radway, Priyanka Raina, Subhasish Mitra, and Sara Achour
  PBA: Percentile-Based Level Allocation for Multiple-Bits-Per-Cell RRAM
  42nd IEEE/ACM International Conference on Computer Aided Design
  (ICCAD 2023), pages 1-9, San Francisco, CA, USC, October 2023
  [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] [slides]
• Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, and Wing Lam
  Preempting Flaky Tests via Non-Idempotent-Outcome Tests
  44th International Conference on Software Engineering
  (ICSE 2022), pages 1730-1742, Pittsburgh, PA, USA, May 2022
  [PDF]
• Yikai Zhao, Yubo Zhang, Pu Yi, Tong Yang, Bin Cui, and Uhlig Steve
  The Stair Sketch: Bringing more Clarity to Memorize Recent Events
  38th IEEE International Conference on Data Engineering
  (ICDE 2022), pages 123-130, Virtual Conference, May 2022
  [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]
• Wenxi Wang, Pu Yi, Sarfraz Khurshid, and Darko Marinov
  Initial Results on Counting Test Orders for Order-Dependent Flaky Tests using Alloy
  33rd IFIP International Conference on Testing Software and Systems
  (ICTSS 2021), pages 123-130 (short paper), Virtual Conference, November 2021
  [PDF]
• Pu Yi, Anjiang Wei, Wing Lam, Tao Xie, and Darko Marinov
  Finding Polluter Tests Using Java PathFinder
  ACM SIGSOFT Software Engineering Notes 46, 2021
  (SEN 2021), 46(3), pages 37-41, July 2021
  (Extended paper of abstract presented at Java PathFinder Online Day (JPF 2020), Virtual Workshop, November 2020)
  [PDF]
• 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 been active in the community through my undergrad. 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 am interested in learning various languages. I've learned German for a year (Duetschlernen macht mir viel Spaß), and I am currently learning Cantonese. Interestingly, although Cantonese is viewed as a regional dialect of Chinese by many people, native Mandarin speakers can generally neither understand nor speak oral Cantonese.

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 also watch many movies and TV series. My favorite directors are Ang Lee, Quentin Tarantino, and Martin Scorsese.