皆様，
京都大学の池渕です．
京都で開催される 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