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

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

10:30 - 12:00
Session 1APLAS NIER at Bali Room
10:30
30m
Talk
Towards Understanding and Reasoning about Android Interoperations
APLAS NIER
Sora Bae Oracle Labs, Australia, Sungho Lee KAIST, South Korea, Sukyoung Ryu KAIST, South Korea
11:00
30m
Talk
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
30m
Talk
A Constant-time Preserving C Compiler
APLAS NIER
Sandrine Blazy Univ Rennes- IRISA
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Session 2APLAS NIER at Bali Room
13:30
30m
Talk
On Probabilistic Process
APLAS NIER
Yuxi Fu Shanghai Jiao Tong University, China
14:00
30m
Talk
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
30m
Talk
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
30m
Coffee break
Cofee Break
Catering

15:30 - 17:00
Session 3APLAS NIER at Bali Room
15:30
30m
Talk
Label-Dependent Session Types
APLAS NIER
Peter Thiemann University of Freiburg, Germany, Vasco Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon
16:00
30m
Talk
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
30m
Talk
The Polynomial Complexity of Vector Addition Systems with States
APLAS NIER
Florian Zuleger TU Vienna

Not scheduled yet

Not scheduled yet
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

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.