Student Research Competition and PostersAPLAS 2024

About

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

The associated poster session also welcomes contributions from the entire community (not restricted to students).

Note: The prize for the Audience Award was set at 50 USD per winner. Although there were enough valid votes, the votes were spread out, leading to multiple first-place winners in some categories.

SRC Prizes

First Prize

Refined^2 Environment Classifiers
Yuito Murase

Second Prize

Verified Exact Inference for Testing Quantum Circuit Transformers and Simulators
Kanguk Lee

Third Prize

Testing and Finding Bugs in Homomorphic Encryption Libraries with Equivalence Partitioning
Hyerin Park

Audience Awards

SRC Finalist Presentation

Testing and Finding Bugs in Homomorphic Encryption Libraries with Equivalence Partitioning
Hyerin Park

SRC Poster

(Bi-)^3 directional Typing for Answer Type Modification
Takuma Yoshioka

Refined^2 Environment Classifiers
Yuito Murase

Vython: a Language with Dynamic Version Checking for Gradual Updating
Satsuki Kasuya

Non-SRC Poster

Toward a Formalization of Secure-Multiparty Computation Stack
Cheng-Hui Weng, Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

Disproving Termination of O-like Combinators by Tree Automata
Munehiro Iwami, Keisuke Nakano

Finalists Notifications

The following five individuals have been chosen as finalists. Congratulations!

• (Bi-)^3 directional Typing for Answer Type Modification, Takuma Yoshioka, Kyoto University
• Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts, Takashi Suwa, Kyoto University and National Institute of Informatics
• Refined^2 Environment Classifiers, Yuito Murase, Kyoto University, Japan
• Testing and Finding Bugs in Homomorphic Encryption Libraries with Equivalence Partitioning, Hyerin Park, KAIST
• Verified Exact Inference for Testing Quantum Circuit Transformers and Simulators, Kanguk Lee, KAIST

Accepted Presentations

Call for Submissions

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 15 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), and
• 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.

Prizes and Awards

The first, second, and third prizes of the SRC will be determined by the panel of judges. The recipients will be awarded $300, $200, and $100 (USD) respectively.

In addition, there will be audience awards based on voting by conference registrants. These awards will be given in three categories: SRC posters, non-SRC posters, and SRC finalist presentations. The authors of the work receiving the highest number of votes in each category will be awarded $100 (USD).