Anjiang Wei

According to our database, Anjiang Wei authored at least 20 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, August, 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, July, 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, May, 2025

Improving Assembly Code Performance with Large Language Models via Reinforcement Learning.

Anjiang Wei, Tarun Suresh, Huanmi Tan, Yinglun Xu, Gagandeep Singh, Ke Wang, Alex Aiken

CoRR, May, 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, April, 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, April, 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, March, 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, February, 2025

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, Josiah Aklilu, Alejandro Lozano, Anjiang Wei, Ludwig Schmidt, Serena Yeung-Levy

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

2024

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

2023

PBA: Percentile-Based Level Allocation for Multiple-Bits-Per-Cell RRAM.

Anjiang Wei, Akash Levy, Pu Yi, Robert M. Radway, Priyanka Raina, Subhasish Mitra, Sara Achour

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

NeoFlow: A Flexible Framework for Enabling Efficient Compilation for High Performance DNN Training.

Size Zheng, Renze Chen, Yicheng Jin, Anjiang Wei, Bingyang Wu, Xiuhong Li, Shengen Yan, Yun Liang

IEEE Trans. Parallel Distributed Syst., 2022

Fuzzing deep-learning libraries via automated relational API inference.

Yinlin Deng, Chenyuan Yang, Anjiang Wei, Lingming Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

AMOS: enabling automatic mapping for tensor computations on spatial accelerators with hardware abstraction.

Size Zheng, Renze Chen, Anjiang Wei, Yicheng Jin, Qin Han, Liqiang Lu, Bingyang Wu, Xiuhong Li, Shengen Yan, Yun Liang

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

Preempting Flaky Tests via Non-Idempotent-Outcome Tests.

Anjiang Wei, Pu Yi, Zhengxi Li, Tao Xie, Darko Marinov, Wing Lam

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source.

Anjiang Wei, Yinlin Deng, Chenyuan Yang, Lingming Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Finding Polluter Tests Using Java PathFinder.

Pu Yi, Anjiang Wei, Wing Lam, Tao Xie, Darko Marinov

ACM SIGSOFT Softw. Eng. Notes, 2021

Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests.

Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, Wing Lam

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined Specifications.

Peilun Zhang, Yanjie Jiang, Anjiang Wei, Victoria Stodden, Darko Marinov, August Shi

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

A large-scale longitudinal study of flaky tests.

Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell

Proc. ACM Program. Lang., 2020