Difference between revisions of "APLAS 2017"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
|||
| Line 18: | Line 18: | ||
|Submitted papers=56 | |Submitted papers=56 | ||
|Accepted papers=24 | |Accepted papers=24 | ||
| + | |pageCreator=Saskia.Ernert | ||
| + | |pageEditor=Saskia.Ernert | ||
| + | |contributionType=1 | ||
}} | }} | ||
== Topics == | == Topics == | ||
Latest revision as of 18:48, 1 April 2022
| 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 |
| 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 | |
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