APLAS 2017

26 papers

1. A Computational Interpretation of Context-Free Expressions · Martin Sulzmann, Peter Thiemann
2. A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls · Alejandro Díaz-Caro
3. A Nonstandard Functional Programming Language · Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi
4. Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications · Neline van Ginkel, Raoul Strackx, Frank Piessens
5. Black-Box Equivalence Checking Across Compiler Optimizations · Manjeet Dahiya, Sorav Bansal
6. Bringing Order to the Separation Logic Jungle · Qinxiang Cao, Santiago Cuéllar, Andrew W. Appel
7. Capabilities for Java: Secure Access to Resources · Ian J. Hayes, Xi Wu, Larissa A. Meinicke
8. Compact Difference Bound Matrices · Aziem Chawdhary, Andy King
9. Counterexample-Guided Bit-Precision Selection · Shaobo He, Zvonimir Rakamaric
10. Decision Procedure for Entailment of Symbolic Heaps with Arrays · Daisuke Kimura, Makoto Tatsuta
11. Efficient Functional Reactive Programming Through Incremental Behaviors · Bob Reynders, Dominique Devriese
12. Enforcing Programming Guidelines with Region Types and Effects · Serdar Erbatur, Martin Hofmann, Eugen Zalinescu
13. Implementing Algebraic Effects in C - "Monads for Free in C" · Daan Leijen
14. Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access · Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
15. Partiality and Container Monads · Tarmo Uustalu, Niccolò Veltri
16. Programming and Proving with Classical Types · Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
17. Programming by Examples: PL Meets ML · Sumit Gulwani, Prateek Jain
18. Safety and Liveness of MCS Lock - Layer by Layer · Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao
19. Sharper and Simpler Nonlinear Interpolants for Program Verification · Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
20. Sound and Efficient Language-Integrated Query - Maintaining the ORDER · Oleg Kiselyov, Tatsuya Katsushima
21. Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous · Adrien Pommellet, Tayssir Touili
22. Synthesizing SystemC Code from Delay Hybrid CSP · Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
23. Taming Message-Passing Communication in Compositional Reasoning About Confidentiality · Ximeng Li, Heiko Mantel, Markus Tasch
24. The Negligible and Yet Subtle Cost of Pattern Matching · Beniamino Accattoli, Bruno Barras
25. Verified Root-Balanced Trees · Tobias Nipkow
26. Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects · Yoonseok Ko, Xavier Rival, Sukyoung Ryu