Skip to main content
Book cover
  • Conference proceedings
  • © 2017

Programming Languages and Systems

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

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)

Conference series link(s): APLAS: Asian Symposium on Programming Languages and Systems

Conference proceedings info: APLAS 2017.

Sections

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-71237-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)
Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (26 papers)

  1. Front Matter

    Pages I-XIX
    PDF

  2. Invited Contributions

    1. Front Matter

      Pages 1-1
      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
      PDF

    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
      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
      PDF

    2. Programming and Proving with Classical Types

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

    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
      PDF
Back to top

Other Volumes

  1. Programming Languages and Systems

Back to top

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. 

Back to top

Keywords

  • computer architecture
  • concurrency and parallelism
  • design of languages
  • domain-specific languages
  • formal logic
  • foundational calculi
  • logics
  • model-checking
  • program analysis
  • program compilers
  • program derivation
  • program synthesis
  • program transformation
  • programming languages
  • semantics
  • software engineering
  • software security
  • type systems
  • verification
Back to top

Editors and Affiliations

  • University of Colorado, Boulder, USA

    Bor-Yuh Evan Chang

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-71237-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)
Learn about institutional subscriptions