皆様,
京都大学の池渕です.

京都で開催される APLAS 2024 の Call for Participation をお送りします.皆様のご参加をお待ちしております.

池渕

-------------

Call for Participation
APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems
October 22-24, 2024, Kyoto, Japan

       https://conf.researchr.org/home/aplas-2024/
       Early Registration deadline: Sep 1

APLAS 2024 aims to bring together programming language researchers,
practitioners and implementors *worldwide*, to present and discuss the
latest results and exchange ideas in all areas of programming
languages and systems. APLAS 2024 is co-located with the
22nd International Symposium on Automated Technology for Verification
and Analysis (ATVA).

Keynotes

 Albert Cohen (Google)
 Naoki Kobayashi (University of Tokyo: Joint with ATVA 2024)
 Sukyoung Ryu (KAIST, South Korea)

Research Paper Sessions (18 papers)

Student Research Competition and Poster Session

APLAS-NIER post-conference workshop (Oct 25, 2024)


Accepted Papers:

A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic
Execution
Thi Thu Ha Doan, Peter Thiemann

Building A Correct-By-Construction Type Checker for a Dependently Typed Core
Language
Bohdan Liesnikov, Jesper Cockx

Comparing semantic frameworks of dependently-sorted algebraic theories
Benedikt Ahrens, Peter Lefanu Lumsdaine, Paige Randall North

Effective Search Space Pruning for Testing Deep Neural Networks
Bala Rangaya, Eugene Sng, Minh-Thai Trinh

Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size
Accesses
Shigeyuki Sato, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura

Explaining Explanations in Probabilistic Logic Programming
German Vidal

Extending the Quantitative Pattern-Matching Paradigm
Sandra Alves, Delia Kesner, Miguel Ramos

Generic Reasoning of the Locally Nameless Representation
Yicheng Ni, Yuting Wang

Hybrid Verification of Declarative Programs with Arithmetic Non-Fail
Conditions
Michael Hanus

Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to
Test-Friendly Reachability Problem
Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Non-deterministic, probabilistic, and quantum effects through the lens of
event structures
Vitor Fernandes, Marc de Visme, Benoît Valiron

OBRA: Oracle-based, relational, algorithmic type verification
Lisa Vasilenko, Gilles Barthe, Niki Vazou

On Computational Indistinguishability and Logical Relations
Ugo Dal Lago, Zeinab Galal, Giulia Giusti

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Quantum Programming Without the Quantum Physics
Jun Inoue

Random-access lists, from EE to FP
Pierre-Evariste Dagand, Titouan Quennet

Relative Completeness of Incorrectness Separation Logic
Yeonseok Lee, Koji Nakazawa

Type-Based Verification of Connectivity Constraints in Lattice Surgery
Ryo Wakizaka, Atsushi Igarashi, Yasunari Suzuki