The 7th Workshop on New Ideas and Emerging Results in Programming Languages and SystemsAPLAS 2024
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 six workshops were successfully held in 2015, 2016, 2017, 2018, 2019, and 2023.
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 Friday, 25th October 2024, i.e., the day after the APLAS main conference.
APLAS-NIER is free-of-charge. For participants of APLAS to attend APLAS-NIER, just choose the option during registration.
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.
Fri 25 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
09:00 - 10:30 | |||
09:00 30mTalk | Automata-based approach for quantum circuit/program verification APLAS NIER Yu-Fang Chen Academia Sinica Authorizer link Media Attached File Attached | ||
09:30 30mTalk | Hyper parametric timed CTL APLAS NIER DOI Pre-print File Attached | ||
10:00 30mTalk | Compositional Probabilistic Model Checking with String Diagrams of MDPs APLAS NIER Ichiro Hasuo National Institute of Informatics, Japan | ||
10:30 - 11:00 | |||
11:00 - 12:00 | |||
11:00 30mTalk | Grammar-based Pattern Matching and Type Checking for Difference Data Structures APLAS NIER Link to publication | ||
11:30 30mTalk | Climbing up a ladder: a new approach to contextual refinement APLAS NIER Koko Muroya NII File Attached | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Verified and Verifying Compositional Compilation for Program Correctness and Safety APLAS NIER Yuting Wang Shanghai Jiao Tong University File Attached | ||
14:00 30mTalk | Specification and Verification for Higher-Order Imperative Programs APLAS NIER Wei-Ngan Chin National University of Singapore | ||
14:30 30mTalk | Deterministic Suffix-reading Automata APLAS NIER B Srivathsan Chennai Mathematical Institute | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||