Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. - Wenxi Wang; Pu Yi 001; Sarfraz Khurshid; Darko Marinov (ICTSS, 2021)

Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests. - Anjiang Wei; Pu Yi 001; Tao Xie 001; Darko Marinov; Wing Lam (TACAS (1), 2021)

Finding Polluter Tests Using Java PathFinder. - Pu Yi 001; Anjiang Wei; Wing Lam; Tao Xie 001; Darko Marinov (ACM SIGSOFT Softw. Eng. Notes, 2021)

The Stair Sketch: Bringing more Clarity to Memorize Recent Events. - Yikai Zhao 001; Yubo Zhang; Pu Yi 001; Tong Yang 003; Bin Cui 001; Steve Uhlig (ICDE, 2022)

Preempting Flaky Tests via Non-Idempotent-Outcome Tests. - Anjiang Wei; Pu Yi 001; Zhengxi Li; Tao Xie 001; Darko Marinov; Wing Lam (ICSE, 2022)

A Theoretical Analysis of Random Regression Test Prioritization. - Pu Yi 001; Hao Wang 112; Tao Xie 001; Darko Marinov; Wing Lam (TACAS (2), 2022)

PBA: Percentile-Based Level Allocation for Multiple-Bits-Per-Cell RRAM. - Anjiang Wei; Akash Levy; Pu Yi 001; Robert M. Radway; Priyanka Raina; Subhasish Mitra; Sara Achour (ICCAD, 2023)

Hardware-Aware Static Optimization of Hyperdimensional Computations. - Pu (Luke) Yi 001; Sara Achour (Proc. ACM Program. Lang., 2023)

Hierarchy-Aware Regression Test Prioritization. - Hao Wang 112; Pu (Luke) Yi 001; Jeremias Parladorio; Wing Lam; Darko Marinov; Tao Xie 001 (ISSRE, 2024)

JPF: From 2003 to 2023. - Cyrille Artho; Pavel Parízek; Daohan Qu; Varadraj Galgali; Pu (Luke) Yi 001 (TACAS (2), 2024)

Artifact for ASPLOS 2025 Paper "Early Termination for Hyperdimensional Computing Using Inferential Statistics". - Pu Yi 001; Yifan Yang; Chae Young Lee; Sara Achour (Zenodo, 2024)

Early Termination for Hyperdimensional Computing Using Inferential Statistics. - Pu (Luke) Yi 001; Yifan Yang; Chae Young Lee; Sara Achour (ASPLOS (1), 2025)

HyperCam: Low-Power Onboard Computer Vision for IoT Cameras. - Chae Young Lee; Pu Yi 001; Maxwell Fite; Tejus Rao; Sara Achour; Zerina Kapetanovic (CoRR, 2025)

Exchangeability in Neural Network Architectures and its Application to Dynamic Pruning. - Pu Yi 001; Tianlang Chen; Yifan Yang; Sara Achour (CoRR, 2025)