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 DecDisplayed 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 Nishida Kyoto University, Hiromasa Saito Kyoto University, Chen Ran Kyoto University, Akira Kawata Kyoto University, Jun Furuse , Kohei Suenaga Graduate School of Informatics, Kyoto University, Atsushi Igarashi Kyoto University, Japan | ||
| Not scheduled yet Poster | Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language Posters Daiki Bise Kyushu Institute of Technology, Masahiro Yasugi Kyushu Institute of Technology, Tasuku Hiraishi Kyoto University, Tsuneyasu Komiya The 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 Akinobu Japan Women’s University, Emi Nuijima Japan Women’s University, Kimio Kuramitsu Japan 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.