APLAS 2024
Tue 22 - Fri 25 October 2024 Kyoto
Dates
Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 22 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

10:30 - 11:00

Wed 23 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:00
Keynote 2Keynote at Yamauchi Hall
Chair(s): Oleg Kiselyov Tohoku University
09:00
60m
Talk
K-Pop the Ultimate Compilation: No Kernel Left Behind
Keynote
10:30 - 11:00

Thu 24 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:00
09:00
60m
Talk
High-Order Fixpoint Logic for Automated Program Verification
Keynote
Naoki Kobayashi University of Tokyo
10:30 - 11:00