APLAS 2024
Tue 22 - Fri 25 October 2024 Kyoto

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).

Accepted Presentations

Title
(Bi-)^3 directional Typing for Answer Type Modification (SRC)
SRC & Posters
Disproving Termination of O-like Combinators by Tree Automata
SRC & Posters
GPU Code Generation for Dynamic Graph Algorithms (SRC)
SRC & Posters
Implementing a control flow obfuscation tool for Java (SRC)
SRC & Posters
Improving the WebAssembly Specification Framework for Future Proposals (SRC)
SRC & Posters
Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts (SRC)
SRC & Posters
On the Equivalence Between Binary and Intermediate Representation Through Filtered-Simulation (SRC)
SRC & Posters
Refined^2 Environment Classifiers (SRC)
SRC & Posters
Testing and Finding Bugs in Homomorphic Encryption Libraries with Equivalence Partitioning (SRC)
SRC & Posters
Toward a formalization of Security-Multiparty Computation stack
SRC & Posters
Towards Ownership Refinement Type Inference with Nested Arrays
SRC & Posters
Verified Exact Inference for Testing Quantum Circuit Transformers and Simulators (SRC)
SRC & Posters
Vython: a Language with Dynamic Version Checking for Gradual Updating (SRC)
SRC & Posters

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).

Dates
Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 22 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

10:30 - 11:00
12:30 - 14:00
15:30 - 16:00
16:00 - 17:30
Poster SessionSRC & Posters at The 2nd floor corridor
Chair(s): Koko Muroya NII, Yudai Tanabe Tokyo Institute of Technology
16:00
6m
Poster
(Bi-)^3 directional Typing for Answer Type Modification (SRC)
SRC & Posters
Takuma Yoshioka Kyoto University
16:06
6m
Poster
Disproving Termination of O-like Combinators by Tree Automata
SRC & Posters
Munehiro Iwami Shimane University, Keisuke Nakano Tohoku University
16:13
6m
Poster
GPU Code Generation for Dynamic Graph Algorithms (SRC)
SRC & Posters
Ashwina Kumar IIT Madras, India
16:20
6m
Poster
Implementing a control flow obfuscation tool for Java (SRC)
SRC & Posters
Ching Hian Singapore University of Technology and Design, Singapore
16:27
6m
Poster
Improving the WebAssembly Specification Framework for Future Proposals (SRC)
SRC & Posters
16:34
6m
Poster
Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts (SRC)
SRC & Posters
Takashi Suwa Kyoto University and National Institute of Informatics
16:41
6m
Poster
On the Equivalence Between Binary and Intermediate Representation Through Filtered-Simulation (SRC)
SRC & Posters
16:48
6m
Poster
Refined^2 Environment Classifiers (SRC)
SRC & Posters
Yuito Murase Kyoto University, Japan
16:55
6m
Poster
Testing and Finding Bugs in Homomorphic Encryption Libraries with Equivalence Partitioning (SRC)
SRC & Posters
17:02
6m
Poster
Toward a formalization of Security-Multiparty Computation stack
SRC & Posters
Cheng-Hui Weng Nagoya University, Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan, Jacques Garrigue Nagoya University, Takafumi Saikawa Nagoya University
17:09
6m
Poster
Towards Ownership Refinement Type Inference with Nested Arrays
SRC & Posters
Yusuke Fujiwara , Yusuke Matsushita The University of Tokyo, Kohei Suenaga Graduate School of Informatics, Kyoto University, Atsushi Igarashi Kyoto University
17:16
6m
Poster
Verified Exact Inference for Testing Quantum Circuit Transformers and Simulators (SRC)
SRC & Posters
17:23
6m
Poster
Vython: a Language with Dynamic Version Checking for Gradual Updating (SRC)
SRC & Posters
Satsuki Kasuya Tokyo Institute of Technology, Japan
18:00 - 19:30

Wed 23 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:00
Keynote 2Keynote at Yamauchi Hall
Chair(s): Oleg Kiselyov Tohoku University
09:00
60m
Talk
K-Pop the Ultimate Compilation: No Kernel Left Behind
Keynote
10:30 - 11:00
12:00 - 14:00
14:00 - 15:40
Finalist PresentationSRC & Posters at Yamauchi Hall
Chair(s): Koko Muroya NII, Yudai Tanabe Tokyo Institute of Technology
15:40 - 16:00
Questions? Use the APLAS SRC & Posters contact form.