Accepted Papers

About

SRC Prize Winners

First Prize

CoS-SSA: Context-Sensitive SSA for Interprocedural Program Analyses and Optimisations

Second Prize

Decompilation into Interaction Trees

Third Prize

Safeguarding Controller Software from Single Event Upset via Conditional Variable Verification

Call For Submissions

The APLAS 2025 Student Research Competition (SRC) aims to provide opportunities for students to present their ongoing work to the community and receive feedback.

Student Research Competition

The SRC consists of three rounds: extended abstracts, posters, and finalist presentations. Submissions to the SRC should present unpublished work that falls within the scope of APLAS. The work should be conducted by a single student or be a part of joint work for which the student is solely responsible.

1. An extended abstract should explain the work in an accessible way to an audience with a general background in programming language research. It should also demonstrate that there is sufficient material for a poster and clearly indicate to which extent the student contributes to the work, especially when the work is a joint effort. A selection committee will review the submitted extended abstracts and provide feedback.

2. After an extended abstract is accepted, the student should prepare a poster for the poster session of the conference. During this session, the student will present their work to interested conference participants, using the poster as a visual aid. Furthermore, posters will be displayed throughout the conference.

3. Based on the extended abstracts and posters, a panel of judges will select several finalists to present their work to all conference participants in a dedicated session of the conference. (If time permits, all the SRC entrants will be invited as finalists.) Each finalist presentation is scheduled for 10 minutes, followed by 5 minutes of questions from the audience.

Non-SRC Posters

Non-SRC poster submissions should fall within the scope of APLAS, and can present either unpublished or published work. They should first be submitted in the form of extended abstracts to be reviewed by the selection committee. For each accepted submission, at least one author should present the work during the poster session.

Submission Information

Accepted extended abstracts and posters will be made available on the website indefinitely, unless authors choose to opt out.

Extended Abstracts (Pre-review)

Extended abstracts (for both SRC and non-SRC submissions) should be:

• Formatted using the acmart LaTeX template with the options sigplan and review enabled (so that there are two columns and line numbers)
• No longer than 3 pages (excluding bibliography), and
• Submitted in PDF format via EasyChair

For an SRC submission, the student should be the sole author. However, on the EasyChair submission form please list the supervisor(s) as author(s) after the student, so that reviewers and judges can identify any conflicts of interest.

Revised Extended Abstracts (Post-review)

The revised extended abstract (for both SRC and non-SRC submissions) should be:

• Formatted using the acmart LaTeX template with the options sigplan, screen and nonacm enabled, commented out for the \begin{CCSXML}...\end{CCSXML} and \ccsdesc[...]{...} commands,
• No longer than 3 pages (excluding bibliography)
• Submitted in PDF format via EasyChair Please note again that for an SRC submission, the student should be the sole author.

Posters

Posters will be printed onsite by the organizers in color at A0 size. Authors can choose to bring back their printed posters at the end of the conference. Posters should be

• Designed to withstand printing at A0 size
• Submitted in PDF format via EasyChair