APLAS 2014

25 papers

1. A Formalized Proof of Strong Normalization for Guarded Recursive Types · Andreas Abel, Andrea Vezzosi
2. A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking · Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan
3. A Precise and Abstract Memory Model for C Using Symbolic Values · Frédéric Besson, Sandrine Blazy, Pierre Wilke
4. A Translation of Intersection and Union Types for the λμ-Calculus · Kentaro Kikuchi, Takafumi Sakurai
5. A ZDD-Based Efficient Higher-Order Model Checking Algorithm · Taku Terao, Naoki Kobayashi
6. Address Chain: Profiling Java Objects without Overhead in Java Heaps · Xiaohua Shi, Junru Xie, Hengyang Yu
7. Automatic Constrained Rewriting Induction towards Verifying Procedural Programs · Cynthia Kop, Naoki Nishida
8. Automatic Memory Management Based on Program Transformation Using Ownership · Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi
9. Call-by-Value in a Basic Logic for Interaction · Ulrich Schöpp
10. Compositional Entailment Checking for a Fragment of Separation Logic · Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
11. Functional Pearl: Nearest Shelters in Manhattan · Shin-Cheng Mu, Ting-Wei Chen
12. Hereditary History-Preserving Bisimilarity: Logics and Automata · Paolo Baldan, Silvia Crafa
13. Inferring Grammatical Summaries of String Values · Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu
14. Logic Programming and Logarithmic Space · Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller
15. Model-Checking for Android Malware Detection · Fu Song, Tayssir Touili
16. Necessary and Sufficient Preconditions via Eager Abstraction · Mohamed Nassim Seghir, Peter Schrammel
17. NetKAT - A Formal System for the Verification of Networks · Dexter Kozen
18. Optimized Compilation of Multiset Rewriting with Comprehensions · Edmund Soon Lee Lam, Iliano Cervesato
19. Resource Analysis of Complex Programs with Cost Equations · Antonio Flores-Montoya, Reiner Hähnle
20. Resource Protection Using Atomics - Patterns and Verification · Afshin Amighi, Stefan Blom, Marieke Huisman
21. Simple and Efficient Algorithms for Octagons · Aziem Chawdhary, Edward Robbins, Andy King
22. Suppl: A Flexible Language for Policies · Robert Dockins, Andrew Tolmach
23. Syntax-Directed Divide-and-Conquer Data-Flow Analysis · Shigeyuki Sato, Akimasa Morihata
24. The Essence of Ruby · Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
25. Types for Flexible Objects · Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith