The 6th Workshop on New Ideas and Emerging Results in Programming Languages and SystemsAPLAS 2023
The goal of the workshop on New Ideas and Emerging Results in Programming Languages and Systems (NIER) is to provide an informal forum for generating interactions and collaborations on programming languages and systems. Strongly encouraged are proposals of new, speculative ideas, evaluations of new techniques in practical settings, and discussions of emerging results and important problems. The past five workshops were successfully held in 2015, 2016, 2017, 2018, and 2019.
The workshop speakers are invitation-based. Each speaker will give a short talk, which is meant to be on latest research topics, and can include work that is not yet published or have been recently published.
No formal proceedings will be published. Abstracts and slides will be available online.
Date, Location, and Attendance
APLAS-NIER is held on Sunday, 26th November 2023, i.e., the day prior to the APLAS main conference, in the same venue — IIS, Academia Sinica.
APLAS-NIER is free-of-charge. For participants of APLAS to attend APLAS-NIER, just choose the option during registration.
If you wish to attend APLAS-NIER but not the APLAS main conference, please send an email to aplas2023[AT]iis.sinica.edu.tw (changing [AT] to @) including your name, title, affiliations, and a brief statement on why you would like to attend the workshop.
Talks
The list below is tentative — a few more talk may be added. Detailed programme will be announced later.
Accepted Papers
Call for Talk Proposals
The workshop speakers are invitation-based. Each speaker will give a short talk, which is meant to be on latest research topics, and can include work that is not yet published or have been recently published.
Sun 26 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
12:30 - 13:30 | |||
13:30 - 15:00 | |||
13:30 30mTalk | Counterfactual Explanations for Sequential Models through Computational Complexity APLAS NIER Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS | ||
14:00 30mTalk | A Neural-Network-Guided Approach to Program Verification and Synthesis APLAS NIER Naoki Kobayashi University of Tokyo | ||
14:30 30mTalk | A Compositional Theory of Linearizability APLAS NIER Zhong Shao Yale University | ||
15:30 - 17:00 | NIER Session 2APLAS NIER at Room 106 & 107, IIS Chair(s): Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS | ||
15:30 30mTalk | Environment-Friendly Monadic Equational Reasoning for OCaml APLAS NIER Jacques Garrigue Nagoya University, Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan, Takafumi Saikawa Nagoya University File Attached | ||
16:00 30mTalk | λGT: A Functional Language with Graphs as First-Class Data APLAS NIER File Attached | ||
16:30 30mTalk | Bottom-Up Construction of Sublist Trees APLAS NIER Shin-Cheng Mu Academia Sinica, Taiwan | ||