APLAS 2016

23 papers

1. A Debugger-Cooperative Higher-Order Contract System in Python · Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
2. A Realizability Interpretation for Intersection and Union Types · Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze
3. A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc · Taichi Yachi, Eijiro Sumii
4. AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code · Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan
5. AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications · Andrea Rosà, Lydia Y. Chen, Walter Binder
6. Binary Session Types for Psi-Calculi · Hans Hüttel
7. Completeness for a First-Order Abstract Separation Logic · Zhe Hou, Alwen Tiu
8. DOM: Specification and Client Reasoning · Azalea Raad, José Fragoso Santos, Philippa Gardner
9. Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic · Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin
10. Eliom: A Core ML Language for Tierless Web Programming · Gabriel Radanne, Jérôme Vouillon, Vincent Balat
11. Higher-Order Model Checking in Direct Style · Taku Terao, Takeshi Tsukada, Naoki Kobayashi
12. Implementing Cantor's Paradise · Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
13. Learning a Strategy for Choosing Widening Thresholds from a Large Codebase · Sooyoung Cha, Sehun Jeong, Hakjoo Oh
14. Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models · Tatsuya Abe, Toshiyuki Maeda
15. Open Call-by-Value · Beniamino Accattoli, Giulio Guerrieri
16. Probabilistic Programming Language and its Incremental Evaluation · Oleg Kiselyov
17. Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells · Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo
18. SPEC: An Equivalence Checker for Security Protocols · Alwen Tiu, Nam Nguyen, Ross Horne
19. Static Trace-Based Deadlock Analysis for Synchronous Mini-Go · Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
20. Substructural Proofs as Automata · Henry DeYoung, Frank Pfenning
21. Unified Syntax with Iso-types · Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira
22. Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation · Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi
23. Verifying Concurrent Graph Algorithms · Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner