Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia

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.

Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 1 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

10:30 - 12:00: Session 1APLAS NIER at Bali Room
10:30 - 11:00
Talk
Towards Understanding and Reasoning about Android Interoperations
APLAS NIER
Sora BaeOracle Labs, Australia, Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea
11:00 - 11:30
Talk
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 - 12:00
Talk
A Constant-time Preserving C Compiler
APLAS NIER
Sandrine BlazyUniv Rennes- IRISA
12:00 - 13:30: LunchCatering at El Patio Restaurant
12:00 - 13:30
Lunch
Lunch
Catering
13:30 - 15:00: Session 2APLAS NIER at Bali Room
13:30 - 14:00
Talk
On Probabilistic Process
APLAS NIER
Yuxi FuShanghai Jiao Tong University, China
14:00 - 14:30
Talk
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 - 15:00
Talk
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 - 15:30
Coffee break
Cofee Break
Catering
15:30 - 17:00: Session 3APLAS NIER at Bali Room
15:30 - 16:00
Talk
Label-Dependent Session Types
APLAS NIER
Peter ThiemannUniversity of Freiburg, Germany, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
16:00 - 16:30
Talk
Space-Efficient Gradual Typing in Coercion-Passing Style
APLAS NIER
Atsushi IgarashiKyoto University, Japan, Yuya TsudaKyoto University, Tomoya TabuchiKyoto University
16:30 - 17:00
Talk
The Polynomial Complexity of Vector Addition Systems with States
APLAS NIER

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.