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 Dec Times are displayed in 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 MohanNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Aquinas HoborNational University of Singapore, Singapore | ||
11:30 30mTalk | A Constant-time Preserving C Compiler APLAS NIER Sandrine BlazyUniv Rennes- IRISA |
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering |
13:30 - 15:00 | |||
13:30 30mTalk | On Probabilistic Process APLAS NIER Yuxi FuShanghai Jiao Tong University, China | ||
14:00 30mTalk | On Decidable Subtyping for Path Dependent Types APLAS NIER Julian MackayVictoria University of Wellington, Yu Xiang ZhuCarnegie Mellon University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University, Lindsay GrovesVictoria University of Wellington | ||
14:30 30mTalk | Word Equations with Length Constraints and Presburger Arithmetic with Divisibility APLAS NIER Anthony Widjaja LinTechnische Universität Kaiserslautern, Rupak MajumdarMax 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 ThiemannUniversity of Freiburg, Germany, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon | ||
16:00 30mTalk | Space-Efficient Gradual Typing in Coercion-Passing Style APLAS NIER | ||
16:30 30mTalk | The Polynomial Complexity of Vector Addition Systems with States APLAS NIER Florian ZulegerTU Vienna |
Not scheduled yet
Not scheduled yet Talk | A Survey on Technologies for Designing and Implementing Safe and Correct Distributed Software APLAS NIER Andreea CosteaSchool of Computing, National University Of Singapore |
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.