Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019
Bali, Indonesia
Toggle navigation
Attending
Venue: Hotel Meliá Bali
Visa Information
Accomodation
Registration
Travel
Program
APLAS Program
Your Program
Sun 1 Dec
Mon 2 Dec
Tue 3 Dec
Wed 4 Dec
Tracks
APLAS 2019
Keynote Talks
PC Chair Report
Posters
Research Papers
APLAS NIER
APLAS Local Participants
Organization
APLAS 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Organizing Committee
Program Committee
APLAS NIER
APLAS Local Participants
Contributors
People Index
Search
Series
Series
APLAS 2025
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2019
(
series
) /
Hotel Meliá Bali
/
Room information: Bali Room
Venue
Hotel Meliá Bali
Room name
Bali Room
Floor
1
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
.
Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 1
APLAS 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
13:30 - 15:00
Session 2
APLAS 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:30 - 17:00
Session 3
APLAS NIER
at
Bali Room
15:30
30m
Talk
Label-Dependent Session Types
APLAS NIER
Peter Thiemann
University of Freiburg, Germany
,
Vasco T. 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
Mon 2 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
08:50 - 10:00
Keynote 1
Keynote Talks
at
Bali Room
Chair(s):
Anthony Widjaja Lin
Technische Universität Kaiserslautern
08:50
70m
Talk
Proving that Programs are Differentially Private
Keynote Talks
K:
Annabelle McIver
Macquarie University
10:30 - 12:00
Types
Research Papers
at
Bali Room
Chair(s):
Tachio Terauchi
Waseda University
10:30
30m
Talk
Manifest Contracts with Intersection Types
Research Papers
Yuki Nishida
Kyoto University
,
Atsushi Igarashi
Kyoto University, Japan
Pre-print
11:00
30m
Talk
A Dependently Typed Multi-Stage Calculus
Research Papers
Akira Kawata
Kyoto University
,
Atsushi Igarashi
Kyoto University, Japan
Pre-print
11:30
30m
Talk
Existential Types for Relaxed Noninterference
Research Papers
Raimil Cruz
University of Chile
,
Éric Tanter
University of Chile & Inria Paris
13:30 - 15:00
Program Analysis
Research Papers
at
Bali Room
Chair(s):
Annabelle McIver
Macquarie University
13:30
30m
Talk
Dissecting Widening: Separating Termination from Information
Research Papers
Graeme Gange
,
Jorge A. Navas
SRI International
,
Peter Schachte
,
Harald Sondergaard
,
Peter J. Stuckey
Monash University
14:00
30m
Talk
A Type-Based HFL Model Checking Algorithm
Research Papers
Youkichi Hosoi
The University of Tokyo
,
Naoki Kobayashi
University of Tokyo, Japan
,
Takeshi Tsukada
University of Tokyo, Japan
14:30
30m
Talk
Reducing Static Analysis Alarms based on Non-impacting Control Dependencies
Research Papers
Tukaram Muske
Tata Consultancy Services Ltd
,
Rohith Talluri
Tata Consultancy Services Ltd
,
Alexander Serebrenik
Eindhoven University of Technology
15:30 - 17:00
Semantics
Research Papers
at
Bali Room
Chair(s):
Atsushi Igarashi
Kyoto University, Japan
15:30
30m
Talk
Factorization and Normalization, Essentially
Research Papers
Beniamino Accattoli
Inria & Ecole Polytechnique
,
Claudia Faggian
IRIF
,
Giulio Guerrieri
University of Bath
16:00
30m
Talk
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion
Research Papers
Masayuki Mizuno
Tohoku University
,
Eijiro Sumii
Tohoku University
16:30
30m
Talk
Recursion Schemes in Coq
Research Papers
Kosuke Murata
Kyushu Institute of Technology
,
Kento Emoto
Kyushu Institute of Technology
Tue 3 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:00
Keynote 2
Keynote Talks
at
Bali Room
Chair(s):
Anthony Widjaja Lin
Technische Universität Kaiserslautern
09:00
60m
Talk
Network Verification: Past, Present, and Future
Keynote Talks
Nate Foster
Cornell University
10:30 - 12:00
Language Design and Implementation
Research Papers
at
Bali Room
Chair(s):
Sandrine Blazy
Univ Rennes- IRISA
10:30
30m
Talk
Lightweight Functional Logic Meta-Programming
Research Papers
Nada Amin
Harvard University
,
William E. Byrd
University of Alabama at Birmingham, USA
,
Tiark Rompf
Purdue University
11:00
30m
Talk
Mimalloc: Free List Sharding in Action
Research Papers
Daan Leijen
Microsoft Research, USA
,
Ben Zorn
Microsoft
,
Leonardo de Moura
Microsoft Research, n.n.
11:30
30m
Talk
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL
Research Papers
Yutaka Nagashima
Data61, Australia
13:00 - 13:30
Poster talk session
Posters
at
Bali Room
Chair(s):
Andreea Costea
School of Computing, National University Of Singapore
13:00
30m
Talk
Selected Poster Talks
Posters
13:30 - 15:00
Concurrency
Research Papers
at
Bali Room
Chair(s):
Philipp Ruemmer
Uppsala University
13:30
30m
Talk
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
Research Papers
Taolue Chen
Birkbeck, University of London
,
Jilong He
Institute of Software, Chinese Academy of Sciences
,
Yu-Ping Wang
Tsinghua University, China
,
Zhilin Wu
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
,
Jun Yan
Institute of Software, Chinese Academy of Sciences
14:00
30m
Talk
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
Research Papers
Thomas Dickerson
Brown University
,
Paul Gazzillo
University of Central Florida
,
Maurice Herlihy
Brown University, USA
,
Eric Koskinen
Stevens Institute of Technology
14:30
30m
Talk
Transactional Forest: A DSL for Managing Concurrent Filestores
Research Papers
Jonathan DiLorenzo
Cornell University
,
Kathryn Mancini
Cornell University
,
Kathleen Fisher
Tufts University, USA
,
Nate Foster
Cornell University
15:30 - 17:15
Verification
Research Papers
at
Bali Room
Chair(s):
Zhilin Wu
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
15:30
15m
Talk
J-ReCoVer: Java Reducer Commutativity Verifier [Tool Paper]
Research Papers
Yu-Fang Chen
Academia Sinica
,
Chang-Yi Chiang
Graduate Institute of Information Management, National Taipei University, Taiwan
,
Lukáš Holík
Brno University of Technology
,
Wei-Tsung Kao
Institute of Information Science, Academia Sinica, Taiwan
,
Hsin-Hung Lin
Institute of Information Science, Academia Sinica, Taiwan
,
Yean-Fu Wen
Graduate Institute of Information Management, National Taipei University, Taiwan
,
Tomáš Vojnar
Brno University of Technology
,
Wei-Cheng Wu
Institute of Information Science, Academia Sinica, Taiwan
15:45
30m
Talk
Uniform Random Process Model Revisited
Research Papers
Wenbo Zhang
,
Huan Long
Shanghai Jiao Tong University
,
Xian Xu
East China University of Science and Technology
16:15
30m
Talk
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
Research Papers
Makoto Tatsuta
National Institute of Informatics
,
Koji Nakazawa
Graduate School of Informatics, Nagoya University
,
Daisuke Kimura
Toho University
16:45
30m
Talk
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
Research Papers
Long H. Pham
Singapore University of Technology and Design
,
Jun Sun
Singapore Management University, Singapore
,
Quang Loc Le
Teesside University
17:15 - 17:30
PC Chair Report
PC Chair Report
at
Bali Room
Wed 4 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:00
Keynote 3
Keynote Talks
at
Bali Room
Chair(s):
Anthony Widjaja Lin
Technische Universität Kaiserslautern
09:00
60m
Talk
On Strings in Software Model Checking
Keynote Talks
Philipp Ruemmer
Uppsala University
10:30 - 12:00
Logic and Automata
Research Papers
at
Bali Room
Chair(s):
Peter Thiemann
University of Freiburg, Germany
10:30
30m
Talk
Pumping, With or Without Choice
Research Papers
Aquinas Hobor
National University of Singapore, Singapore
,
Elaine Li
Runtime Verification, Inc.
,
Frank Stephan
National University of Singapore
11:00
30m
Talk
Simulations in Rank-Based Buchi Automata Complementation
Research Papers
Yu-Fang Chen
Academia Sinica
,
Vojtěch Havlena
Brno University of Technology
,
Ondřej Lengál
Brno University of Technology
11:30
30m
Talk
Succinct Determinisation of Counting Automata via Sphere Construction
Research Papers
Lukáš Holík
Brno University of Technology
,
Tomáš Vojnar
Brno University of Technology
,
Ondřej Lengál
Brno University of Technology
,
Lenka Turoňová
Brno University of Technology
,
Margus Veanes
Microsoft Research
,
Olli Saarikivi
Sun 1 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Bali Room
APLAS NIER
Session 1
APLAS NIER
Session 2
APLAS NIER
Session 3
Mon 2 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Bali Room
Keynote Talks
Keynote 1
Research Papers
Types
Research Papers
Program Analysis
Research Papers
Semantics
Tue 3 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Bali Room
Keynote Talks
Keynote 2
Research Papers
Language Design and Implementation
Posters
Poster talk session
Research Papers
Concurrency
Research Papers
Verification
PC Chair Report
PC Chair Report
Wed 4 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
9:00
30
10:00
30
11:00
30
Bali Room
Keynote Talks
Keynote 3
Research Papers
Logic and Automata
Sun 1 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Bali Room
APLAS NIER
Towards Understanding and Reasoning about Android Interoperations
10:30 - 11:00
APLAS NIER
A Verified Garbage Collector for Gallina
11:00 - 11:30
APLAS NIER
A Constant-time Preserving C Compiler
11:30 - 12:00
APLAS NIER
On Probabilistic Process
13:30 - 14:00
APLAS NIER
On Decidable Subtyping for Path Dependent Types
14:00 - 14:30
APLAS NIER
Word Equations with Length Constraints and Presburger Arithmetic with D ...
14:30 - 15:00
APLAS NIER
Label-Dependent Session Types
15:30 - 16:00
APLAS NIER
Space-Efficient Gradual Typing in Coercion-Passing Style
16:00 - 16:30
APLAS NIER
The Polynomial Complexity of Vector Addition Systems with States
16:30 - 17:00
Mon 2 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Bali Room
APLAS Keynote Talks
Proving that Programs are Differentially Private
08:50 - 10:00
APLAS Research Papers
Manifest Contracts with Intersection Types
10:30 - 11:00
APLAS Research Papers
A Dependently Typed Multi-Stage Calculus
11:00 - 11:30
APLAS Research Papers
Existential Types for Relaxed Noninterference
11:30 - 12:00
APLAS Research Papers
Dissecting Widening: Separating Termination from Information
13:30 - 14:00
APLAS Research Papers
A Type-Based HFL Model Checking Algorithm
14:00 - 14:30
APLAS Research Papers
Reducing Static Analysis Alarms based on Non-impacting Control Dependencies
14:30 - 15:00
APLAS Research Papers
Factorization and Normalization, Essentially
15:30 - 16:00
APLAS Research Papers
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with ...
16:00 - 16:30
APLAS Research Papers
Recursion Schemes in Coq
16:30 - 17:00
Tue 3 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Bali Room
APLAS Keynote Talks
Network Verification: Past, Present, and Future
09:00 - 10:00
APLAS Research Papers
Lightweight Functional Logic Meta-Programming
10:30 - 11:00
APLAS Research Papers
Mimalloc: Free List Sharding in Action
11:00 - 11:30
APLAS Research Papers
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL
11:30 - 12:00
APLAS Posters
Selected Poster Talks
13:00 - 13:30
APLAS Research Papers
Android Multitasking Mechanism: Formal Semantics and Static Analysis of ...
13:30 - 14:00
APLAS Research Papers
Conflict Abstractions and Shadow Speculation for Optimistic Transaction ...
14:00 - 14:30
APLAS Research Papers
Transactional Forest: A DSL for Managing Concurrent Filestores
14:30 - 15:00
APLAS Research Papers
J-ReCoVer: Java Reducer Commutativity Verifier [Tool Paper]
15:30 - 15:45
APLAS Research Papers
Uniform Random Process Model Revisited
15:45 - 16:15
APLAS Research Papers
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
16:15 - 16:45
APLAS Research Papers
Compositional Verification of Heap-Manipulating Programs through Proper ...
16:45 - 17:15
Wed 4 Dec
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
Bali Room
APLAS Keynote Talks
On Strings in Software Model Checking
09:00 - 10:00
APLAS Research Papers
Pumping, With or Without Choice
10:30 - 11:00
APLAS Research Papers
Simulations in Rank-Based Buchi Automata Complementation
11:00 - 11:30
APLAS Research Papers
Succinct Determinisation of Counting Automata via Sphere Construction
11:30 - 12:00
x
Sat 21 Dec 18:02