Pu (Luke) Yi

Contact

Email / Google Scholar / Twitter

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. I identify myself as working in the intersection of theory and practices. My current research interests are developing computing systems for novel/unconventional computing paradigms, with a focus on Hyperdimensional Computation (HDC), where the basic compute units are high-dimensional random vectors, the information is fully distributed, and the operators are dimension-wise and embarrassingly parallel. 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

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