APLAS 2017

From Openresearch
Jump to: navigation, search
APLAS 2017
15th Asian Symposium on Programming Languages and Systems
Event in series APLAS
Dates 2017/11/27 (iCal) - 2017/11/29
Homepage: https://www-aplas.github.io/
Location
Location: Suzhou, China
Loading map...

Important dates
Abstracts: 2017/06/13
Papers: 2017/06/19
Submissions: 2017/06/19
Camera ready due: 2017/09/01
Papers: Submitted 56 / Accepted 24 (42.9 %)
Committees
General chairs: Xinyu Feng
PC chairs: Bor-Yuh Evan Chang
Keynote speaker: Gilles Barthe, Ron Garcia, Sumit Gulwani, Naijun Zhan
Table of Contents

Contents


Topics

  • semantics, logics, foundational theory
  • design of languages, type systems, and foundational calculi
  • domain-specific languages
  • compilers, interpreters, abstract machines
  • program derivation, synthesis, and transformation
  • program analysis, verification, model-checking
  • logic, constraint, probabilistic, and quantum programming
  • software security
  • concurrency and parallelism
  • tools and environments for programming and implementation