Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Description

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. Front Matter ....Pages I-XIX Front Matter ....Pages 1-1 Programming by Examples: PL Meets ML (Sumit Gulwani, Prateek Jain)....Pages 3-20 Synthesizing SystemC Code from Delay Hybrid CSP (Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan)....Pages 21-41 Front Matter ....Pages 43-43 Taming Message-Passing Communication in Compositional Reasoning About Confidentiality (Ximeng Li, Heiko Mantel, Markus Tasch)....Pages 45-66 Capabilities for Java: Secure Access to Resources (Ian J. Hayes, Xi Wu, Larissa A. Meinicke)....Pages 67-84 Enforcing Programming Guidelines with Region Types and Effects (Serdar Erbatur, Martin Hofmann, Eugen Zălinescu)....Pages 85-104 Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications (Neline van Ginkel, Raoul Strackx, Frank Piessens)....Pages 105-123 Front Matter ....Pages 125-125 Black-Box Equivalence Checking Across Compiler Optimizations (Manjeet Dahiya, Sorav Bansal)....Pages 127-147 Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects (Yoonseok Ko, Xavier Rival, Sukyoung Ryu)....Pages 148-168 Decision Procedure for Entailment of Symbolic Heaps with Arrays (Daisuke Kimura, Makoto Tatsuta)....Pages 169-189 Bringing Order to the Separation Logic Jungle (Qinxiang Cao, Santiago Cuellar, Andrew W. Appel)....Pages 190-211 Front Matter ....Pages 213-213 Programming and Proving with Classical Types (Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan)....Pages 215-234 Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous (Adrien Pommellet, Tayssir Touili)....Pages 235-254 Verified Root-Balanced Trees (Tobias Nipkow)....Pages 255-272 Safety and Liveness of MCS Lock—Layer by Layer (Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao)....Pages 273-297 Front Matter ....Pages 299-299 Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access (Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu)....Pages 301-320 Efficient Functional Reactive Programming Through Incremental Behaviors (Bob Reynders, Dominique Devriese)....Pages 321-338 Implementing Algebraic Effects in C (Daan Leijen)....Pages 339-363 Sound and Efficient Language-Integrated Query (Oleg Kiselyov, Tatsuya Katsushima)....Pages 364-383 Front Matter ....Pages 385-385 A Computational Interpretation of Context-Free Expressions (Martin Sulzmann, Peter Thiemann)....Pages 387-405 Partiality and Container Monads (Tarmo Uustalu, Niccolò Veltri)....Pages 406-425 The Negligible and Yet Subtle Cost of Pattern Matching (Beniamino Accattoli, Bruno Barras)....Pages 426-447 A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Alejandro Díaz-Caro)....Pages 448-467 Front Matter ....Pages 469-469 Compact Difference Bound Matrices (Aziem Chawdhary, Andy King)....Pages 471-490 Sharper and Simpler Nonlinear Interpolants for Program Verification (Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo)....Pages 491-513 A Nonstandard Functional Programming Language (Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi)....Pages 514-533 Counterexample-Guided Bit-Precision Selection (Shaobo He, Zvonimir Rakamarić)....Pages 534-553 Back Matter ....Pages 555-555