Pu (Luke) Yi
Scholar

Pu (Luke) Yi

Google Scholar ID: WNTPtboAAAAJ
Stanford University
programming languagesformal methodssoftware engineering
Citations & Impact
All-time
Citations
105
 
H-index
5
 
i10-index
3
 
Publications
12
 
Co-authors
21
list available
Publications
12 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
  • Published multiple papers including 'Exchangeability in Neural Network Architectures and its Application to Dynamic Pruning' (Under Review), 'Early Termination for Hyperdimensional Computing Using Inferential Statistics' (ASPLOS 2025), 'PBA: Percentile-Based Level Allocation for Multiple-Bits-Per-Cell RRAM' (ICCAD 2023), 'Hardware-Aware Static Optimization of Hyperdimensional Computations' (OOPSLA 2023), 'A Theoretical Analysis of Random Regression Test Prioritization' (TACAS 2022), 'Finding Polluter Tests Using Java PathFinder' (SEN 2021), etc.
Research Experience
  • Conducting Ph.D. research at Stanford University, focusing on designing algorithms and systems that are more native to emerging hardware technologies.
Education
  • Ph.D. in Computer Science from Stanford University, advised by Prof. Sara Achour; B.S. in Computer Science from Turing Class, Peking University, China, advised by Prof. Darko Marinov and Prof. Tao Xie.
Background
  • Research Interests: Efficient machine learning models and systems, especially those that can be efficiently implemented in emerging hardware technologies. Areas of expertise include programming languages, formal methods, software engineering, machine learning, and statistics.
Miscellany
  • The two characters of his Chinese name mean literally simple (易) and normal (普). Participated in programming contests (Olympiad in Informatics in China) in high school and served as the president of the Peking University Student Algorithm Association (PKUSAA) during undergrad, organizing the biggest programming contests at PKU. Hobbies include learning different languages (native Mandarin).