APLAS 2019 (series) /
APLAS 2019 Program
Conference Dates
Conference Dates are in time zone (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sun 1 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sun 1 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| 10:30 - 11:00 Talk | Towards Understanding and Reasoning about Android Interoperations APLAS NIER | ||
| 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 Lunch | Lunch Catering | ||
| 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 - 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 | ||
| 16:30 - 17:00 Talk | The Polynomial Complexity of Vector Addition Systems with States APLAS NIER Florian ZulegerTU Vienna | ||
Mon 2 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 2 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
08:50 - 10:00: Keynote 1Keynote Talks at Bali Room Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern | |||
| 08:50 - 10:00 Talk | Proving that Programs are Differentially Private Keynote Talks | ||
10:00 - 10:30: Coffee BreakCatering | |||
| 10:30 - 11:00 Talk | Manifest Contracts with Intersection Types Research Papers Pre-print | ||
| 11:00 - 11:30 Talk | A Dependently Typed Multi-Stage Calculus Research Papers Pre-print | ||
| 11:30 - 12:00 Talk | Existential Types for Relaxed Noninterference Research Papers | ||
13:30 - 15:00: Program AnalysisResearch Papers at Bali Room Chair(s): Annabelle McIverMacquarie University | |||
| 13:30 - 14:00 Talk | Dissecting Widening: Separating Termination from Information Research Papers 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 Research Papers 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 Research Papers Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology | ||
15:00 - 15:30: Coffee BreakCatering | |||
15:30 - 17:00: SemanticsResearch Papers at Bali Room Chair(s): Atsushi IgarashiKyoto University, Japan | |||
| 15:30 - 16:00 Talk | Factorization and Normalization, Essentially Research Papers 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 Research Papers | ||
| 16:30 - 17:00 Talk | Recursion Schemes in Coq Research Papers | ||
18:00 - 20:00: Poster sessionPosters at Puri Bali Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore | |||
Tue 3 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 3 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:00: Keynote 2Keynote Talks at Bali Room Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern | |||
| 09:00 - 10:00 Talk | Network Verification: Past, Present, and Future Keynote Talks Nate FosterCornell University | ||
10:00 - 10:30: Coffee BreakCatering | |||
10:30 - 12:00: Language Design and ImplementationResearch Papers at Bali Room Chair(s): Sandrine BlazyUniv Rennes- IRISA | |||
| 10:30 - 11:00 Talk | Lightweight Functional Logic Meta-Programming Research Papers 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 Research Papers | ||
| 11:30 - 12:00 Talk | LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL Research Papers Yutaka NagashimaData61, Australia | ||
13:00 - 13:30: Poster talk sessionPosters at Bali Room Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore | |||
| 13:00 - 13:30 Talk | Selected Poster Talks Posters | ||
| 13:30 - 14:00 Talk | Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps Research Papers 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 Research Papers 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 Research Papers Jonathan DiLorenzoCornell University, Kathryn ManciniCornell University, Kathleen FisherTufts University, USA, Nate FosterCornell University | ||
15:00 - 15:30: Coffee BreakCatering | |||
15:30 - 17:15: VerificationResearch Papers 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 Verifier [Tool Paper] Research Papers Yu-Fang ChenAcademia Sinica, Chang-Yi ChiangGraduate Institute of Information Management, National Taipei University, Taiwan, Lukáš HolíkBrno 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, Tomáš VojnarBrno University of Technology, Wei-Cheng WuInstitute of Information Science, Academia Sinica, Taiwan | ||
| 15:45 - 16:15 Talk | Uniform Random Process Model Revisited Research Papers 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 Research Papers 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 Research Papers Long H. PhamSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Quang Loc LeTeesside University | ||
Wed 4 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 4 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:00: Keynote 3Keynote Talks at Bali Room Chair(s): Anthony Widjaja LinTechnische Universität Kaiserslautern | |||
| 09:00 - 10:00 Talk | On Strings in Software Model Checking Keynote Talks Philipp RuemmerUppsala University | ||
10:00 - 10:30: Coffee BreakCatering | |||
10:30 - 12:00: Logic and AutomataResearch Papers at Bali Room Chair(s): Peter ThiemannUniversity of Freiburg, Germany | |||
| 10:30 - 11:00 Talk | Pumping, With or Without Choice Research Papers 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 Research Papers Yu-Fang ChenAcademia Sinica, Vojtěch HavlenaBrno University of Technology, Ondřej LengálBrno University of Technology | ||
| 11:30 - 12:00 Talk | Succinct Determinisation of Counting Automata via Sphere Construction Research Papers Lukáš HolíkBrno University of Technology, Tomáš VojnarBrno University of Technology, Ondřej LengálBrno University of Technology , Lenka TuroňováBrno University of Technology, Margus VeanesMicrosoft Research, Olli Saarikivi | ||
Sun 1 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sun 1 Dec
Times are displayed in 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Mon 2 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 2 Dec
Times are displayed in 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 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 3 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 3 Dec
Times are displayed in 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 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 4 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 4 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Sun 1 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sun 1 Dec
Times are displayed in 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 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 Label-Dependent Session Types 15:30 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| El Patio Restaurant | APLAS Catering Lunch 12:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Mon 2 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 2 Dec
Times are displayed in 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 3 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 3 Dec
Times are displayed in 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 Posters Selected Poster Talks 13:00 - 13:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 4 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 4 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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