Skip to main content
  • Conference proceedings
  • © 2021

Programming Languages and Systems

19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings

Editors:

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

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 2021.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-89051-3
  • 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 79.99
Price excludes VAT (USA)

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

Table of contents (17 papers)

  1. Front Matter

    Pages i-xiv
  2. Analysis and Synthesis

    1. Front Matter

      Pages 1-1
    2. Scalable and Modular Robustness Analysis of Deep Neural Networks

      • Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
      Pages 3-22
    3. Function Pointer Eliminator for C Programs

      • Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa
      Pages 23-37
    4. PyCT: A Python Concolic Tester

      • Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu
      Pages 38-46
    5. Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications

      • Wonhyuk Choi, Michel Vazirani, Mark Santolucito
      Pages 47-61
  3. Compilation and Transformation

    1. Front Matter

      Pages 81-81
    2. Fully Abstract and Robust Compilation

      • Carmine Abate, Matteo Busi, Stelios Tsampas
      Pages 83-101
    3. A Dictionary-Passing Translation of Featherweight Go

      • Martin Sulzmann, Stefan Wehr
      Pages 102-120
    4. Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus

      • Agustín Borgna, Simon Perdrix, Benoît Valiron
      Pages 121-139
    5. A Compilation Method for Dynamic Typing in ML

      • Atsushi Ohori, Katsuhiro Ueno
      Pages 140-159
  4. Language Design

    1. Front Matter

      Pages 161-161
    2. The Choice Construct in the Soufflé Language

      • Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
      Pages 163-181
    3. Latent Effects for Reusable Language Components

      • Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
      Pages 182-201
    4. Adaptable Traces for Program Explanations

      • Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay
      Pages 202-221
    5. A Typed Programmatic Interface to Contracts on the Blockchain

      • Thi Thu Ha Doan, Peter Thiemann
      Pages 222-240
  5. Verification

    1. Front Matter

      Pages 241-241
    2. Simplifying Alternating Automata for Emptiness Testing

      • Pavol Vargovčík, Lukáš Holík
      Pages 243-264
    3. Termination Analysis for the $$\pi $$ π -Calculus by Reduction to Sequential Program Termination

      • Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada
      Pages 265-284

Other Volumes

  1. Programming Languages and Systems

    19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings

About this book

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*

The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.

* The conference was held in a hybrid format due to the COVID-19 pandemic.

Keywords

  • architecture verification and validation
  • artificial intelligence
  • computer programming
  • computer systems
  • distributed computer systems
  • distributed systems
  • embedded systems
  • formal logic
  • model checking
  • object-oriented programming
  • parallel processing systems
  • program compilers
  • programming languages
  • software architecture
  • software design
  • software engineering

Editors and Affiliations

  • Korea University, Seoul, Korea (Republic of)

    Hakjoo Oh

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-89051-3
  • 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 79.99
Price excludes VAT (USA)