Adopting from SV-COMP, a competition jury consists of the competition chair and one member of each participating team. This committee reviews the competition contribution papers and helps the organizer with resolving any disputes that might occur.

In more detail, the tasks of the jury comprises the following:

1. Each jury member is assigned a number of (3 or 4) submissions (papers and tools) to review.
2. Participating tools are reviewed to determine whether they fulfill the requirements for participation, based on the paper submitted to EasyChair.
3. Helping the organizing team with settling any disagreements in the rebuttal phase.
4. Review final contribution papers and provide feedback to improve.
5. Help the organizer with discussing and resolving any disputes that might occur.
6. Adhere to the deadlines with all the duties.

Jury for APR-Comp 2024

• Qihao Zhu, Peking University
• Sergey Mechtaev, University College London
• Nan Jiang, Purdue University
• Yu Pei, The Hong Kong Polytechnic University
• Qingao Dong, Beihang University
• André Silva, KTH Royal Institute of Technology
• Yuan Yuan, Beihang University
• Zhao Zhang, Peking University
• He Ye, Carnegie Mellon University