APLAS and CPP will be held at the Rydges on Swanston hotel in Melbourne, Australia, adjacent to the University of Melbourne.
(Last updated on 2013-11-29.)
Monday, 9 December 2013 | |
08:00–09:00 | Registration |
Session chair: Peter Schachte | |
09:00–10:00 |
Alexandra Silva
Brzozowski's and up-to algorithms for must testing (APLAS invited talk) |
10:00–10:25 |
Koichi Fujima, Sohei Ito, and Naoki Kobayashi
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes |
10:25–10:55 | Break |
Session chair: Naoki Kobayashi | |
10:55–11:20 |
Fu Song and Tayssir Touili
Model Checking Dynamic Pushdown Networks |
11:20–11:45 |
Eric Goubault and Sylvie Putot
Robustness analysis of finite precision implementations (demo) |
11:45–12:10 |
Kensuke Kojima and Atsushi Igarashi
A Hoare Logic for SIMT Programs |
12:10–14:00 | Lunch (own arrangements) |
Session chair: Hakjoo Oh | |
14:00–14:25 |
Holger Siegel, Bogdan Mihaila, and Axel Simon
The Undefined Domain: Precise Relational Information for Entities that Do Not Exist |
14:25–14:50 |
Juan Antonio Navarro Pérez and Andrey Rybalchenko
Separation Logic Modulo Theories |
14:50–15:20 | Break |
Session chair: Kazunori Ueda | |
15:20–15:45 |
Minh-Thai Trinh, Quang Loc Le, Cristina David, and Wei-Ngan Chin
Bi-Abduction with Pure Properties for Specification Inference |
15:45–16:10 |
Giovanny Lucero, David Naumann, and Augusto Sampaio
Laws of Programming for References |
16:10–16:40 | Break |
Session chair: Jacques Garrigue | |
16:40–17:05 |
Janina Voigt and Alan Mycroft
Dynamic Alias Protection with Aliasing Contracts |
17:05–17:30 |
Jieung Kim, Sukyoung Ryu, Victor Luchangco, and Guy L. Steele Jr.
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance |
Tuesday, 10 December 2013 | |
Session chair: Sukyoung Ryu | |
08:30–09:30 |
Cristina Cifuentes
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle (APLAS invited talk) |
09:30–09:55 |
Marco Patrignani, Dave Clarke, and Frank Piessens
Secure Compilation of Object-Oriented Components to Protected Module Architectures |
09:55–10:25 | Break |
Session chair: Chin Wei Ngan | |
10:25–10:50 |
Uli Fahrenberg and Axel Legay
Generalized Quantitative Analysis of Metric Transition Systems |
10:50–11:15 |
Julian Kranz, Alexander Sepp, and Axel Simon
GDSL: A Universal Toolkit for Giving Semantics to Machine Language (demo) |
11:15–11:40 |
Niklas Broberg, Bart Van Delft, and David Sands
Paragon for Practical Programming with Information-Flow Control |
11:40–12:05 |
Hyunik Na and Sukyoung Ryu
ThisJava: An Extension of Java with Exact Types (demo) |
12:05–13:45 | Lunch (own arrangements) |
Session chair: Shin-ya Katsumata | |
13:45–14:10 |
Alessandra Di Pierro and Herbert Wiklicky
Semantics of Probabilistic Programs: A Weak Limit Approach |
14:10–14:35 |
Jacques Garrigue and Didier Remy
Ambivalent Types for Principal Type Inference with GADTs |
14:35–16:10 |
Poster and Demo Session
|
Session chair: Matthias Puech | |
16:10–16:35 |
Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, and Chung-Cheng Li
Temporal Specification Mining for Anomaly Analysis |
16:35–17:00 |
Haiyan Zhu, Thomas Dillig, and Isil Dillig
Automated Inference of Library Specifications for Source-Sink Property Verification |
Wednesday, 11 December 2013 | |
08:00–09:00 | Registration |
Session chair: Georges Gonthier | |
09:00–10:00 |
Nick Benton
The Proof Assistant as an Integrated Development Environment (APLAS+CPP invited talk) |
10:00–10:25 |
Fritz Henglein and Ralf Hinze
Distributive Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries |
10:25–10:55 | Break |
Session chair: Chung-chieh Shan | |
10:55–11:20 |
Dariusz Biernacki and Sergueï Lenglet
Environmental Bisimulations for Delimited-Control Operators |
11:20–11:45 |
Valentin Blot and Colin Riba
On Bar-Recursion and Choice in a Classical Setting |
11:45–12:10 |
Matthias Puech
Proofs, upside down: a functional correspondence between natural deduction and the sequent calculus |
12:10–14:00 | Lunch (own arrangements) |
Afternoon | CPP |
Evening | APLAS+CPP joint dinner |