Student Research Competition and PostersAPLAS 2023
The APLAS 2023 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).
New this year: audience awards (for both the SRC and the non-SRC posters)
SRC Prizes
First Prize
Yaozhu Sun
Separate Compilation for Compositional Programming via Extensible Records
Second Prize
Yong Qi Foo
Type-Safe Auto-Completion of Incomplete Polymorphic Programs
Third Prize
Kazuki Matsuoka
Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework
Fourth Prize
Jin Ishikawa
Multiple Screen States for Programming with Small Screens
Audience Awards
SRC Presentation
Yaozhu Sun
Separate Compilation for Compositional Programming via Extensible Records
Yong Qi Foo
Type-Safe Auto-Completion of Incomplete Polymorphic Programs
SRC Poster
Yaozhu Sun
Separate Compilation for Compositional Programming via Extensible Records
Non-SRC Poster
Kento Takyu and Kazunori Ueda
Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language
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.
-
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.
-
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.
-
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
Extended abstracts (for both SRC and non-SRC submissions) should be
- formatted using the acmart LaTeX template with the options
sigplan
andreview
enabled (so that there are two columns and line numbers), - no longer than 3 pages (excluding bibliography), and
- submitted online 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.
Posters will be collected electronically and printed on-site by the organisers in A0 size with colour. Authors can choose to bring back their printed posters at the end of the conference.
Extended abstracts and posters will be made available on the website indefinitely, unless authors choose to opt out.
Update: The notification date is brought forward to 29 Aug to allow enough time for PRC passport holders to apply for an entry permit. (See the page ‘Information for PRC Passport Holders’ for more information.) Reviews will be sent later on 22 Sep.
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 $500, $300, and $200 (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).
Mon 27 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
15:00 - 15:30 | Coffee BreakCatering | ||
15:30 - 17:00 | Poster Session & ReceptionSRC & Posters at Room 106 & 107, IIS See the SRC & Posters track page for more information about the entrants/authors and their work. Food and drink will be served. | ||
Tue 28 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
12:00 - 13:30 | LunchCatering | ||
13:30 - 15:00 | Student Research Competition PresentationsSRC & Posters at Room 106 & 107, IIS Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica | ||
13:30 20mTalk | [SRC] Separate Compilation for Compositional Programming via Extensible Records SRC & Posters Yaozhu Sun University of Hong Kong File Attached | ||
13:50 20mTalk | [SRC] Multiple Screen States for Programming with Small Screens SRC & Posters Jin Ishikawa Oita University File Attached | ||
14:10 20mTalk | [SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs SRC & Posters Yong Qi Foo National University of Singapore File Attached | ||
14:30 20mTalk | [SRC] Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework SRC & Posters Kazuki Matsuoka Tokyo Institute of Technology File Attached |
15:00 - 15:30 | Coffee BreakCatering | ||
Wed 29 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
12:00 - 12:30 | Student Research Competition and Poster Session AwardsSRC & Posters at Room 106 & 107, IIS Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica | ||
12:30 - 18:00 | ExcursionCatering | ||
Not scheduled yet
Not scheduled yet Talk | [Non-SRC] Towards a Programming Paradigm Approach for AI-Assisted Software Development SRC & Posters YungYu Zhuang National Central University, Wei-Hsin Yen National Central University, Yin-Jung Huang National Central University File Attached | ||
Not scheduled yet Talk | [Non-SRC] Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language SRC & Posters File Attached |