PostersAPLAS 2020
APLAS 2020 includes a poster session during the conference. The poster session aims to give students, researchers and professionals an opportunity to present technical materials to the research community, and to get responses from other researchers in the field.
Scope
- 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
- Applications of SAT/SMT to programming and implementation
Tue 1 Dec Times are displayed in time zone: Osaka, Sapporo, Tokyo change
Not scheduled yet
Not scheduled yet Poster | Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types Posters Yuki NishidaKyoto University, Hiromasa SaitoKyoto University, Chen RanKyoto University, Akira KawataKyoto University, Jun Furuse, Kohei SuenagaGraduate School of Informatics, Kyoto University, Atsushi IgarashiKyoto University, Japan | ||
Not scheduled yet Poster | Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language Posters Daiki BiseKyushu Institute of Technology, Masahiro YasugiKyushu Institute of Technology, Tasuku HiraishiKyoto University, Tsuneyasu KomiyaThe University of Electro-Communications | ||
Not scheduled yet Poster | Capability Typing for HyperLMNtal Posters | ||
Not scheduled yet Poster | Generating Parallel Corpus of Python Code and Natural Language for Deep Learning Posters Yuka AkinobuJapan Women’s University, Emi NuijimaJapan Women’s University, Kimio KuramitsuJapan Women’s University |
Submission Information
Each presenter should submit an extended abstract to aplas2020-poster@pl.ai.kyutech.ac.jp of no longer than two 8.5×11 inch pages in PDF by 11 November. The submission should include the title and the complete list of author(s) and affiliation(s). Your abstract should contain a brief description of your problem, the key contributions of your work, how your work compares to prior research, and any results from evaluation.
Please use this ACM template to format your submission.
We will announce the accepted presentations on 16 November. We hope to accommodate every presentation as a Slack thread or channel, but may restrict them (based on relevance and interest to the community) due to space constraints.