APLAS 2013

11th Asian Symposium on Programming Languages and Systems
9–11 December 2013
Melbourne, Australia (colocated with CPP 2013)

RSS Twitter Facebook
2013-11-29
Student rooms are still available at the university for AUD ~65/night. Please email Mark Gordon for rates and booking instructions.
2013-11-06
Local information posted for APLAS and CPP.
2013-10-18
Posted list of accepted posters. Registration is open, and special hotel rates are available.
2013-10-02
Posted tentative schedule. Our invited speakers are Nick Benton (joint with CPP), Cristina Cifuentes, and Alexandra Silva. The proceedings will be published as volume 8301 in Springer’s LNCS series. See you in Melbourne!
2013-09-19
Posted call for posters and demos.
2013-08-29
Posted list of accepted papers.
2013-06-13
Deadline extended by 3 days.
2013-03-29
Posted call for papers.

See you in Melbourne!

APLAS and CPP will be held at the Rydges on Swanston hotel in Melbourne, Australia, adjacent to the University of Melbourne.

Register at http://bit.ly/aplascpp2013
Change your existing registration at http://app.certain.com/profile/form/index.cfm?PKformID=0x1644090d380
Book accommodation at http://bit.ly/aplascpp2013hotel
Student rooms are still available at the university for AUD ~65/night. Please email Mark Gordon for rates and booking instructions.
More local information: http://bit.ly/aplascpp2013local

Tentative schedule

(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
  • Web API Misuse Detection in JavaScript Web Applications
    SungGyeong Bae, Hyunghun Cho, and Sukyoung Ryu
  • Finding Java Vulnerabilities with the Parfait Static Code Analysis Tool
    Cristina Cifuentes, Nathan Keynes, John Gough, Diane Corney, Lin Gao, Manuel Valdiviezo, and Andrew Gross
  • FLUCTUAT: static analysis of accuracy and robustness of finite precision implementations
    Eric Goubault and Sylvie Putot
  • A Tree-Division Tool for Practical Huge XML Trees
    Takayuki Kawamura and Kiminori Matsuzaki
  • Synthesizing Shape Predicate via Second-Order Bi-Abduction
    Quang Loc Le, Cristian Gherghina, Shengchao Qin, and Wei-Ngan Chin
  • Optimized Canonical Graph Labeling Algorithm for Graph Rewriting Systems
    Kazuhiro Miyahara and Kazunori Ueda
  • Formalization of the Graph Rewriting Operations of LMNtal by Coq
    Yuuki Shinobu, Yoshinori Tanabe, and Kazunori Ueda
  • Global Load Instruction Aggregation Based on Array Dimensions
    Yasunobu Sumikawa and Munehiro Takimoto
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
http://aplas2013.soic.indiana.edu/ · aplas2013@easychair.org