A large-scale longitudinal study of flaky tests. - Wing Lam; Stefan Winter 001; Anjiang Wei; Tao Xie 001; Darko Marinov; Jonathan Bell 001 (Proc. ACM Program. Lang., 2020)

Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined Specifications. - Peilun Zhang; Yanjie Jiang; Anjiang Wei; Victoria Stodden; Darko Marinov; August Shi (ICSE, 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)

Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source. - Anjiang Wei; Yinlin Deng; Chenyuan Yang; Lingming Zhang 001 (ICSE, 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)

AMOS: enabling automatic mapping for tensor computations on spatial accelerators with hardware abstraction. - Size Zheng 001; Renze Chen; Anjiang Wei; Yicheng Jin; Qin Han; Liqiang Lu; Bingyang Wu; Xiuhong Li; Shengen Yan; Yun Liang 001 (ISCA, 2022)

Fuzzing deep-learning libraries via automated relational API inference. - Yinlin Deng; Chenyuan Yang; Anjiang Wei; Lingming Zhang 001 (ESEC/SIGSOFT FSE, 2022)

NeoFlow: A Flexible Framework for Enabling Efficient Compilation for High Performance DNN Training. - Size Zheng 001; Renze Chen; Yicheng Jin; Anjiang Wei; Bingyang Wu; Xiuhong Li; Shengen Yan; Yun Liang 001 (IEEE Trans. Parallel Distributed Syst., 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)

Improving Parallel Program Performance Through DSL-Driven Code Generation with LLM Optimizers. - Anjiang Wei; Allen Nie; Thiago S. F. X. Teixeira; Rohan Yadav; Wonchan Lee; Ke Wang; Alex Aiken (CoRR, 2024)

Automated Generation of Challenging Multiple-Choice Questions for Vision Language Model Evaluation. - Yuhui Zhang; Yuchang Su; Yiming Liu; Xiaohan Wang; James Burgess; Elaine Sui; Chenyu Wang 003; Josiah Aklilu; Alejandro Lozano; Anjiang Wei; Ludwig Schmidt; Serena Yeung-Levy (CVPR, 2025)

EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking. - Anjiang Wei; Jiannan Cao; Ran Li; Hongyu Chen; Yuhui Zhang; Ziheng Wang; Yaofeng Sun; Yuan Liu; Thiago S. F. X. Teixeira; Diyi Yang; Ke Wang; Alex Aiken (CoRR, 2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis. - Anjiang Wei; Tarun Suresh; Jiannan Cao; Naveen Kannan; Yuheng Wu; Kai Yan; Thiago S. F. X. Teixeira; Ke Wang; Alex Aiken (CoRR, 2025)

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation. - Anjiang Wei; Huanmi Tan; Tarun Suresh; Daniel Mendoza; Thiago S. F. X. Teixeira; Ke Wang; Caroline Trippel; Alex Aiken (CoRR, 2025)

ClarifyCoder: Clarification-Aware Fine-Tuning for Programmatic Problem Solving. - Jie JW Wu; Manav Chaudhary; Davit Abrahamyan; Arhaan Khaku; Anjiang Wei; Fatemeh H. Fard (CoRR, 2025)

Improving Assembly Code Performance with Large Language Models via Reinforcement Learning. - Anjiang Wei; Tarun Suresh; Huanmi Tan; Yinglun Xu; Gagandeep Singh 001; Ke Wang; Alex Aiken (CoRR, 2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas. - Anjiang Wei; Yuheng Wu; Yingjia Wan; Tarun Suresh; Huanmi Tan; Zhanke Zhou; Sanmi Koyejo; Ke Wang; Alex Aiken (CoRR, 2025)

Mapple: A Domain-Specific Language for Mapping Distributed Heterogeneous Parallel Programs. - Anjiang Wei; Rohan Yadav; Hang Song; Wonchan Lee; Ke Wang; Alex Aiken (CoRR, 2025)

Task-Based Programming for Adaptive Mesh Refinement in Compressible Flow Simulations. - Anjiang Wei; Hang Song; Mert Hidayetoglu; Elliott Slaughter; Sanjiva K. Lele; Alex Aiken (CoRR, 2025)