Skip to main content
SpringerLink
Log in
Book cover

Programming Languages and Systems

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Bor-Yuh Evan Chang

    1. University of Colorado, Boulder, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10695)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: APLAS 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Invited Contributions

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Programming by Examples: PL Meets ML

      • Sumit Gulwani, Prateek Jain
      Pages 3-20

    3. Synthesizing SystemC Code from Delay Hybrid CSP

      • Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
      Pages 21-41

  3. Security

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. Taming Message-Passing Communication in Compositional Reasoning About Confidentiality

      • Ximeng Li, Heiko Mantel, Markus Tasch
      Pages 45-66

    3. Capabilities for Java: Secure Access to Resources

      • Ian J. Hayes, Xi Wu, Larissa A. Meinicke
      Pages 67-84

    4. Enforcing Programming Guidelines with Region Types and Effects

      • Serdar Erbatur, Martin Hofmann, Eugen Zălinescu
      Pages 85-104

    5. Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications

      • Neline van Ginkel, Raoul Strackx, Frank Piessens
      Pages 105-123

  4. Heap and Equivalence Reasoning

    1. Front Matter

      Pages 125-125
      Download chapter PDF

    2. Black-Box Equivalence Checking Across Compiler Optimizations

      • Manjeet Dahiya, Sorav Bansal
      Pages 127-147

    3. Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects

      • Yoonseok Ko, Xavier Rival, Sukyoung Ryu
      Pages 148-168

    4. Decision Procedure for Entailment of Symbolic Heaps with Arrays

      • Daisuke Kimura, Makoto Tatsuta
      Pages 169-189

    5. Bringing Order to the Separation Logic Jungle

      • Qinxiang Cao, Santiago Cuellar, Andrew W. Appel
      Pages 190-211

  5. Concurrency and Verification

    1. Front Matter

      Pages 213-213
      Download chapter PDF

    2. Programming and Proving with Classical Types

      • Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
      Pages 215-234

    3. Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous

      • Adrien Pommellet, Tayssir Touili
      Pages 235-254

    4. Verified Root-Balanced Trees

      • Tobias Nipkow
      Pages 255-272

    5. Safety and Liveness of MCS Lock—Layer by Layer

      • Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao
      Pages 273-297

  6. Domain-Specific Languages

    1. Front Matter

      Pages 299-299
      Download chapter PDF
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

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. 

Editors and Affiliations

  • University of Colorado, Boulder, USA

    Bor-Yuh Evan Chang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation