The 8th Workshop on New Ideas and Emerging Results in Programming Languages and SystemsAPLAS 2025
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 seven workshops were successfully held in 2015, 2016, 2017, 2018, 2019, 2023, and 2024.
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
ATVA-APLAS-NIER is held on Monday, 27th October 2025, i.e., the day before the APLAS main conference.
ATVA-APLAS-NIER is free-of-charge. For participants of APLAS to attend APLAS-NIER, just choose the option during registration.
This program is tentative and subject to change.
Mon 27 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:30 - 10:30 | |||
09:30 30mTalk | Regular Theories and How to Decide Them ATVA and APLAS NIER Umang Mathur National University of Singapore, Singapore | ||
10:00 30mTalk | Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation ATVA and APLAS NIER | ||
11:00 - 12:30 | |||
11:00 30mTalk | Property Grouping and Context-Aware Runtime Enforcement ATVA and APLAS NIER Saumya Shankar International Institute of Information Technology Bangalore, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA | ||
11:30 30mTalk | Compositional Probabilistic Model Checking with String Diagrams of MDPs ATVA and APLAS NIER Ichiro Hasuo National Institute of Informatics, Japan | ||
12:00 30mTalk | PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements ATVA and APLAS NIER | ||
14:00 - 14:30 | |||
14:00 30mTalk | Bidding Your Way to Better Decisions ATVA and APLAS NIER | ||
Accepted Papers
| Title | |
|---|---|
| Bidding Your Way to Better Decisions ATVA and APLAS NIER | |
| Compositional Probabilistic Model Checking with String Diagrams of MDPs ATVA and APLAS NIER | |
| Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation ATVA and APLAS NIER | |
| PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements ATVA and APLAS NIER | |
| Property Grouping and Context-Aware Runtime Enforcement ATVA and APLAS NIER | |
| Regular Theories and How to Decide Them ATVA and APLAS NIER |
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.