APLAS 2019 (series) /
APLAS 2019 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 1 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sun 1 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 12:00 | |||
10:30 30mTalk | Towards Understanding and Reasoning about Android Interoperations APLAS NIER | ||
11:00 30mTalk | 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 30mTalk | A Constant-time Preserving C Compiler APLAS NIER Sandrine Blazy Univ Rennes- IRISA | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | On Probabilistic Process APLAS NIER Yuxi Fu Shanghai Jiao Tong University, China | ||
14:00 30mTalk | 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 30mTalk | 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 30mCoffee break | Cofee Break Catering | ||
15:30 - 17:00 | |||
15:30 30mTalk | Label-Dependent Session Types APLAS NIER Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon | ||
16:00 30mTalk | 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 30mTalk | The Polynomial Complexity of Vector Addition Systems with States APLAS NIER Florian Zuleger TU Vienna | ||
Mon 2 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
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 70mTalk | Proving that Programs are Differentially Private Keynote Talks | ||
10:00 - 10:30 | Coffee BreakCatering | ||
10:30 - 12:00 | |||
10:30 30mTalk | Manifest Contracts with Intersection Types Research Papers Pre-print | ||
11:00 30mTalk | A Dependently Typed Multi-Stage Calculus Research Papers Pre-print | ||
11:30 30mTalk | Existential Types for Relaxed Noninterference Research Papers | ||
12:00 - 13:30 | |||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
15:30 30mTalk | Factorization and Normalization, Essentially Research Papers Beniamino Accattoli Inria & Ecole Polytechnique, Claudia Faggian IRIF, Giulio Guerrieri University of Bath | ||
16:00 30mTalk | Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion Research Papers | ||
16:30 30mTalk | Recursion Schemes in Coq Research Papers | ||
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 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
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 60mTalk | 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 30mTalk | 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 30mTalk | Mimalloc: Free List Sharding in Action Research Papers | ||
11:30 30mTalk | 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 30mTalk | Selected Poster Talks Posters | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 15mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
18:00 - 21:00 | |||
Wed 4 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
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 60mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||