APLAS 2015

26 papers

1. A Secure Compiler for ML Modules · Adriaan Larmuseau, Marco Patrignani, Dave Clarke
2. A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers · Hiroaki Inoue, Atsushi Igarashi
3. A Strong Distillery · Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
4. Abstraction of Optional Numerical Values · Jiangchao Liu, Xavier Rival
5. Aliasing Control in an Imperative Pure Calculus · Marco Servetto, Elena Zucca
6. Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM · Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder
7. Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs · Yuma Matsumoto, Naoki Kobayashi, Hiroshi Unno
8. Bottom-Up Context-Sensitive Pointer Analysis for Java · Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig
9. Decision Algorithms for Checking Definability of Order-2 Finitary PCF · Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi
10. Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA · Rekha R. Pai
11. Fault-Tolerant Resource Reasoning · Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner
12. From Call-by-Value to Interaction by Typed Closure Conversion · Ulrich Schöpp
13. Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques · Guilhem Jaber, Nicolas Tabareau
14. Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects · Tomás Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang + 1 more
15. More Sound Static Handling of Java Reflection · Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer
16. Objects in Polynomial Time · Emmanuel Hainry, Romain Péchoux
17. Programming Techniques for Reversible Comparison Sorts · Holger Bock Axelsen, Tetsuo Yokoyama
18. Programming with "Big Code" · Eran Yahav
19. Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics · Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey
20. Quasi-Linearizability is Undecidable · Chao Wang, Yi Lv, Gaoang Liu, Peng Wu
21. Randomized Resource-Aware Path-Sensitive Static Analysis · Tomasz Dudziak
22. Separation Logic with Monadic Inductive Definitions and Implicit Existentials · Makoto Tatsuta, Daisuke Kimura
23. Shifting the Blame - A Blame Calculus with Delimited Control · Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi
24. Transactions on Mergeable Objects · Deepthi Devaki Akkoorath, Annette Bieniusa
25. Tree-Like Grammars and Separation Logic · Christoph Matheja, Christina Jansen, Thomas Noll
26. Uncovering JavaScript Performance Code Smells Relevant to Type Mutations · Xiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang