The 5th Workshop on New Ideas and Emerging Results in Programming Languages and SystemsAPLAS 2019
Welcome to the 5th Workshop on New Ideas and Emerging Results in Programming Languages and Systems!
The goal of this 1-day workshop 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 four workshops were successfully held in 2015, 2016, 2017, and 2018.
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.
APLAS-NIER is planned to be held on 1 December 2019, i.e., the day prior to the APLAS conference.
Sun 1 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 12:00 | |||
10:30 30mTalk | Towards Understanding and Reasoning about Android Interoperations APLAS NIER | ||
11:00 30mTalk | A Verified Garbage Collector for Gallina APLAS NIER Shengyi Wang , Anshuman Mohan National University of Singapore, Qinxiang Cao Shanghai Jiao Tong University, Aquinas Hobor National University of Singapore, Singapore | ||
11:30 30mTalk | A Constant-time Preserving C Compiler APLAS NIER Sandrine Blazy Univ Rennes- IRISA | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | On Probabilistic Process APLAS NIER Yuxi Fu Shanghai Jiao Tong University, China | ||
14:00 30mTalk | On Decidable Subtyping for Path Dependent Types APLAS NIER Julian Mackay Victoria University of Wellington, Yu Xiang Zhu Carnegie Mellon University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University, Lindsay Groves Victoria University of Wellington | ||
14:30 30mTalk | Word Equations with Length Constraints and Presburger Arithmetic with Divisibility APLAS NIER Anthony Widjaja Lin Technische Universität Kaiserslautern, Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) | ||
15:00 - 15:30 | Coffee BreakCatering | ||
15:00 30mCoffee break | Cofee Break Catering | ||
15:30 - 17:00 | |||
15:30 30mTalk | Label-Dependent Session Types APLAS NIER Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon | ||
16:00 30mTalk | Space-Efficient Gradual Typing in Coercion-Passing Style APLAS NIER Atsushi Igarashi Kyoto University, Japan, Yuya Tsuda Kyoto University, Tomoya Tabuchi Kyoto University | ||
16:30 30mTalk | The Polynomial Complexity of Vector Addition Systems with States APLAS NIER Florian Zuleger TU Vienna | ||
Unscheduled Events
| Not scheduled Talk | A Survey on Technologies for Designing and Implementing Safe and Correct Distributed Software APLAS NIER Andreea Costea School of Computing, National University Of Singapore |
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.
For those invited speakers, please submit a one-page abstract through the EasyChair link Submission on the right column.
| Sun 1 Dec 2019 Workshop |
| Fri 20 Sep 2019 Notification |
| Fri 13 Sep 2019 Talk proposal deadline |
