APLAS 2024
Tue 22 - Fri 25 October 2024
Kyoto
Toggle navigation
Attending
Venue: Shirankaikan (Kyoto University medical school area)
Registration
Social Events
Program
Complete Program
Your Program
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Tracks
APLAS 2024
Events
Keynote
- How to design, document, and implement programming languages
- K-Pop the Ultimate Compilation: No Kernel Left Behind
- High-Order Fixpoint Logic for Automated Program Verification
SRC & Posters
Research Papers
APLAS NIER
Organization
APLAS 2024 Committees
Organizing Committee
Track Committees
SRC & Posters
Organizer
SRC & Posters
Judges
SRC & Posters
Selection Committee
Research Papers
Organizing Committee
Research Papers
Program Committee
Research Papers
Steering Committee
Contributors
People Index
Search
Series
Series
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2024 (
series
) /
The 22nd Asian Symposium on Programming Languages and Systems
/
Program Committee
APLAS Research Papers
Beniamino Accattoli
Inria & Ecole Polytechnique
France
Pierre-Evariste Dagand
IRIF / CNRS
France
Silvia Ghilezan
University of Novi Sad, Mathematical Institute SASA
Serbia
Fritz Henglein
Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital
Denmark
Mirai Ikebuchi
Kyoto University
Japan
Patrik Jansson
Chalmers University of Technology and University of Gothenbrug
Sweden
Oleg Kiselyov
Tohoku University
Japan
Hsiang-Shang ‘Josh’ Ko
Institute of Information Science, Academia Sinica
Taiwan
Daan Leijen
Microsoft Research
United States
Martin Lester
University of Reading
Fredrik Nordvall Forsberg
University of Strathclyde
United Kingdom
Matija Pretnar
University of Ljubljana
Slovenia
Peter Schachte
The University of Melbourne
Australia
Sven-Bodo Scholz
Radboud University
Netherlands
Philipp Schuster
University of Tübingen
Germany
Taro Sekiyama
National Institute of Informatics; SOKENDAI
Japan
Amir Shaikhha
University of Edinburgh
United Kingdom
Pavle Subotic
Fantom Foundation
Serbia
Yong Kiam Tan
Institute for Infocomm Research, A*STAR
Kazunori Ueda
Waseda University
Japan
Yuting Wang
Shanghai Jiao Tong University
China
Ki Yung Ahn
Hannam University
South Korea
x
Sun 17 Nov 17:12