Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
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 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 1Keynote 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:00 - 10:30
Coffee BreakCatering
10:30 - 12:00
TypesResearch 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
12:00 - 13:30
13:30 - 15:00
Program AnalysisResearch Papers at Bali Room
Chair(s): Annabelle McIver Macquarie University
13:30
30m
Talk
Dissecting Widening: Separating Termination from Information
Research Papers
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:00 - 15:30
Coffee BreakCatering
15:30 - 17:00
SemanticsResearch 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
18:00 - 20:00
18:00 - 20:00
Poster sessionPosters at Puri Bali
Chair(s): Andreea Costea School of Computing, National University Of Singapore

Tue 3 Dec

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

09:00 - 10:00
Keynote 2Keynote 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:00 - 10:30
Coffee BreakCatering
10:30 - 12:00
Language Design and ImplementationResearch 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
12:00 - 13:30
13:00 - 13:30
Poster talk sessionPosters 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
ConcurrencyResearch 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:00 - 15:30
Coffee BreakCatering
15:30 - 17:15
VerificationResearch 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 ReportPC Chair Report at Bali Room
18:00 - 21:00

Wed 4 Dec

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

09:00 - 10:00
Keynote 3Keynote 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:00 - 10:30
Coffee BreakCatering
10:30 - 12:00
Logic and AutomataResearch 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
12:00 - 13:30