Program - APLAS 2019

Filter

Badges

Your Program

Sun 1 Dec

10:30 - 12:00: APLAS NIER - Session 1 at Bali Room

10:30 - 11:00
Talk

Towards Understanding and Reasoning about Android Interoperations

Sora BaeOracle Labs, Australia, Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea

11:00 - 11:30
Talk

A Verified Garbage Collector for Gallina

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

Sandrine BlazyUniv Rennes- IRISA

12:00 - 13:30: Catering - Lunch at El Patio Restaurant

12:00 - 13:30
Lunch

Lunch

13:30 - 15:00: APLAS NIER - Session 2 at Bali Room

13:30 - 14:00
Talk

On Probabilistic Process

Yuxi FuShanghai Jiao Tong University, China

14:00 - 14:30
Talk

On Decidable Subtyping for Path Dependent Types

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

Anthony Widjaja LinTechnische Universität Kaiserslautern, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS)

15:00 - 15:30: Catering - Coffee Break

15:00 - 15:30
Coffee break

Cofee Break

15:30 - 17:00: APLAS NIER - Session 3 at Bali Room

15:30 - 16:00
Talk

Label-Dependent Session Types

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

Atsushi IgarashiKyoto University, Japan, Yuya TsudaKyoto University, Tomoya TabuchiKyoto University

16:30 - 17:00
Talk

The Polynomial Complexity of Vector Addition Systems with States

Florian ZulegerTU Vienna

Mon 2 Dec

08:50 - 10:00: Keynote Talks - Keynote 1 at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern

08:50 - 10:00
Talk

Proving that Programs are Differentially Private

Annabelle McIverMacquarie University

10:00 - 10:30: Catering - Coffee Break

10:30 - 12:00: Research Papers - Types at Bali Room
Chair(s): Tachio TerauchiWaseda University

10:30 - 11:00
Talk

Manifest Contracts with Intersection Types

Yuki NishidaKyoto University, Atsushi IgarashiKyoto University, Japan

Pre-print

11:00 - 11:30
Talk

A Dependently Typed Multi-Stage Calculus

Akira KawataKyoto University, Atsushi IgarashiKyoto University, Japan

Pre-print

11:30 - 12:00
Talk

Existential Types for Relaxed Noninterference

Raimil CruzUniversity of Chile, Éric TanterUniversity of Chile & Inria Paris

12:00 - 13:30: Catering - Lunch at El Patio Restaurant

13:30 - 15:00: Research Papers - Program Analysis at Bali Room
Chair(s): Annabelle McIverMacquarie University

13:30 - 14:00
Talk

Dissecting Widening: Separating Termination from Information

Graeme Gange, Jorge A. NavasSRI International, Peter Schachte, Harald Sondergaard, Peter J. StuckeyMonash University

14:00 - 14:30
Talk

A Type-Based HFL Model Checking Algorithm

Youkichi HosoiThe University of Tokyo , Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan

14:30 - 15:00
Talk

Reducing Static Analysis Alarms based on Non-impacting Control Dependencies

Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology

15:00 - 15:30: Catering - Coffee Break

15:30 - 17:00: Research Papers - Semantics at Bali Room
Chair(s): Atsushi IgarashiKyoto University, Japan

15:30 - 16:00
Talk

Factorization and Normalization, Essentially

Beniamino AccattoliInria & Ecole Polytechnique, Claudia FaggianIRIF, Giulio GuerrieriUniversity of Bath

16:00 - 16:30
Talk

Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion

Masayuki MizunoTohoku University , Eijiro SumiiTohoku University

16:30 - 17:00
Talk

Recursion Schemes in Coq

Kosuke MurataKyushu Institute of Technology , Kento EmotoKyushu Institute of Technology

18:00 - 20:00: Posters - Poster session at Puri Bali
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore

18:00 - 20:00: Catering - Reception at El Patio Restaurant

Tue 3 Dec

09:00 - 10:00: Keynote Talks - Keynote 2 at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern

09:00 - 10:00
Talk

Network Verification: Past, Present, and Future

Nate FosterCornell University

10:00 - 10:30: Catering - Coffee Break

10:30 - 12:00: Research Papers - Language Design and Implementation at Bali Room
Chair(s): Sandrine BlazyUniv Rennes- IRISA

10:30 - 11:00
Talk

Lightweight Functional Logic Meta-Programming

Nada AminHarvard University, William E. ByrdUniversity of Alabama at Birmingham, USA, Tiark RompfPurdue University

11:00 - 11:30
Talk

Mimalloc: Free List Sharding in Action

Daan LeijenMicrosoft Research, USA, Ben ZornMicrosoft, Leonardo De MouraMicrosoft Research, n.n.

11:30 - 12:00
Talk

LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL

Yutaka NagashimaData61, Australia

12:00 - 13:30: Catering - Lunch at El Patio Restaurant

13:00 - 13:30: Posters - Poster talk session at Bali Room
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore

13:00 - 13:30
Talk

Selected Poster Talks

13:30 - 15:00: Research Papers - Concurrency at Bali Room
Chair(s): Philipp RuemmerUppsala University

13:30 - 14:00
Talk

Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps

Taolue ChenBirkbeck, University of London, Jilong HeInstitute of Software, Chinese Academy of Sciences, Yu-Ping WangTsinghua University, China, Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences

14:00 - 14:30
Talk

Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects

Thomas DickersonBrown University, Paul GazzilloUniversity of Central Florida, Maurice HerlihyBrown University, USA, Eric KoskinenStevens Institute of Technology

14:30 - 15:00
Talk

Transactional Forest: A DSL for Managing Concurrent Filestores

Jonathan DiLorenzoCornell University, Kathryn ManciniCornell University, Kathleen FisherTufts University, USA, Nate FosterCornell University

15:00 - 15:30: Catering - Coffee Break

15:30 - 17:15: Research Papers - Verification at Bali Room
Chair(s): Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

15:30 - 15:45
Talk

J-ReCoVer: Java Reducer Commutativity Veriﬁer [Tool Paper]

Yu-Fang ChenAcademia Sinica, Chang-Yi ChiangGraduate Institute of Information Management, National Taipei University, Taiwan, Lukas HolikBrno University of Technology, Wei-Tsung KaoInstitute of Information Science, Academia Sinica, Taiwan, Hsin-Hung LinInstitute of Information Science, Academia Sinica, Taiwan, Yean-Fu WenGraduate Institute of Information Management, National Taipei University, Taiwan, Tomas VojnarBrno University of Technology, Wei-Cheng WuInstitute of Information Science, Academia Sinica, Taiwan

15:45 - 16:15
Talk

Uniform Random Process Model Revisited

Wenbo Zhang, Huan LongShanghai Jiao Tong University, Xian XuEast China University of Science and Technology

16:15 - 16:45
Talk

Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions

Makoto TatsutaNational Institute of Informatics, Koji NakazawaGraduate School of Informatics, Nagoya University, Daisuke KimuraToho University

16:45 - 17:15
Talk

Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning

Long H. PhamSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Quang Loc LeTeesside University

17:15 - 17:30: PC Chair Report - PC Chair Report at Bali Room

18:00 - 21:00: Catering - Banquet at Temple Garden

Wed 4 Dec

09:00 - 10:00: Keynote Talks - Keynote 3 at Bali Room
Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern

09:00 - 10:00
Talk

On Strings in Software Model Checking

Philipp RuemmerUppsala University

10:00 - 10:30: Catering - Coffee Break

10:30 - 12:00: Research Papers - Logic and Automata at Bali Room
Chair(s): Peter ThiemannUniversity of Freiburg, Germany

10:30 - 11:00
Talk

Pumping, With or Without Choice

Aquinas HoborNational University of Singapore, Singapore, Elaine LiRuntime Verification, Inc., Frank StephanNational University of Singapore

11:00 - 11:30
Talk

Simulations in Rank-Based Buchi Automata Complementation

Yu-Fang ChenAcademia Sinica, Vojtěch HavlenaBrno University of Technology, Ondrej LengalBrno University of Technology

11:30 - 12:00
Talk

Succinct Determinisation of Counting Automata via Sphere Construction

Lukas HolikBrno University of Technology, Tomas VojnarBrno University of Technology, Ondrej LengalBrno University of Technology , Lenka TuronovaBrno University of Technology, Margus VeanesMicrosoft Research, Olli Saarikivi

12:00 - 13:30: Catering - Lunch at El Patio Restaurant

Sun 1 Dec 2019


Room	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		APLAS NIER Session 1 10:30 - 12:00						APLAS NIER Session 2 13:30 - 15:00				APLAS NIER Session 3 15:30 - 17:00
El Patio Restaurant					APLAS Catering Lunch 12:00 - 13:30

Mon 2 Dec 2019


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	17:00	30	18:00	30	19:00	30	20:00	30
Bali Room			APLAS Keynote Talks Keynote 1 08:50 - 10:00				APLAS Research Papers Types 10:30 - 12:00							APLAS Research Papers Program Analysis 13:30 - 15:00				APLAS Research Papers Semantics 15:30 - 17:00
El Patio Restaurant										APLAS Catering Lunch 12:00 - 13:30													APLAS Catering Reception 18:00 - 20:00
Puri Bali													APLAS Posters Poster session 18:00 - 20:00

Tue 3 Dec 2019


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	18:00	30	19:00	30	20:00	30	21:00	30
Bali Room	APLAS Keynote Talks Keynote 2 09:00 - 10:00			APLAS Research Papers Language Design and Implementation 10:30 - 12:00					APLAS Posters Poster talk session 13:00 - 13:30	APLAS Research Papers Concurrency 13:30 - 15:00					APLAS Research Papers Verification 15:30 - 17:15				APLAS PC Chair Report PC Chair Report 17:15 - 17:30
El Patio Restaurant							APLAS Catering Lunch 12:00 - 13:30
Temple Garden												APLAS Catering Banquet 18:00 - 21:00

Wed 4 Dec 2019


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30
Bali Room	APLAS Keynote Talks Keynote 3 09:00 - 10:00			APLAS Research Papers Logic and Automata 10:30 - 12:00
El Patio Restaurant							APLAS Catering Lunch 12:00 - 13:30

Sun 1 Dec 2019


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	17: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
El Patio Restaurant									APLAS Catering Lunch 12:00 - 13:30

Mon 2 Dec 2019


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			17: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 2019


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 Veriﬁer [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 2019


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12: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

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

APLAS 2019 Program

Sun 1 Dec

Mon 2 Dec

Tue 3 Dec

Wed 4 Dec

Sun 1 Dec 2019

APLAS NIER

APLAS NIER

APLAS NIER

APLAS Catering

Mon 2 Dec 2019

APLAS Keynote Talks

APLAS Research Papers

APLAS Research Papers

APLAS Research Papers

APLAS Catering

APLAS Catering

APLAS Posters

Tue 3 Dec 2019

APLAS Keynote Talks

APLAS Research Papers

APLAS Posters

APLAS Research Papers

APLAS Research Papers

APLAS PC Chair Report

APLAS Catering

APLAS Catering

Wed 4 Dec 2019

APLAS Keynote Talks

APLAS Research Papers

APLAS Catering

Sun 1 Dec 2019

Mon 2 Dec 2019

Tue 3 Dec 2019

Wed 4 Dec 2019

Tracks