APLAS 2024
Tue 22 - Fri 25 October 2024
Kyoto
Toggle navigation
Attending
Venue: Shirankaikan (Kyoto University medical school area)
Registration
Social Events
Program
APLAS 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 2025
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2024 (
series
) /
Shirankaikan (Kyoto University medical school area)
/
Room information: The 2nd floor corridor
Venue
Shirankaikan (Kyoto University medical school area)
Room name
The 2nd floor corridor
Floor
2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Osaka, Sapporo, Tokyo
.
Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Coffee Break
Catering
at
The 2nd floor corridor
15:30 - 16:00
Coffee Break
Catering
at
The 2nd floor corridor
16:00 - 17:30
Poster Session
SRC & Posters
at
The 2nd floor corridor
Chair(s):
Koko Muroya
NII
,
Yudai Tanabe
Institute of Science Tokyo
16:00
6m
Poster
[SRC] (Bi-)^3 directional Typing for Answer Type Modification
SRC & Posters
Takuma Yoshioka
Kyoto University
File Attached
16:06
6m
Poster
[non-SRC] Disproving Termination of O-like Combinators by Tree Automata
SRC & Posters
Munehiro Iwami
Iwate Prefectural University
,
Keisuke Nakano
Tohoku University
File Attached
16:13
6m
Poster
[SRC / Not under award selection] GPU Code Generation for Dynamic Graph Algorithms
SRC & Posters
Ashwina Kumar
IIT Madras, India
File Attached
16:20
6m
Poster
[SRC] Implementing a control flow obfuscation tool for Java
SRC & Posters
Ching Hian
Singapore University of Technology and Design, Singapore
File Attached
16:27
6m
Poster
[SRC] Improving the WebAssembly Specification Framework for Future Proposals
SRC & Posters
Yusung Sim
Korea Advanced Institute of Science and Technology (KAIST)
File Attached
16:34
6m
Poster
[SRC] Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts
SRC & Posters
Takashi Suwa
Kyoto University and National Institute of Informatics
File Attached
16:41
6m
Poster
[SRC] On the Equivalence Between Binary and Intermediate Representation Through Filtered-Simulation
SRC & Posters
Jihee Park
Korea Advanced Institute of Science and Technology (KAIST)
File Attached
16:48
6m
Poster
[SRC] Refined^2 Environment Classifiers
SRC & Posters
Yuito Murase
Kyoto University, Japan
16:55
6m
Poster
[SRC] Testing and Finding Bugs in Homomorphic Encryption Libraries with Equivalence Partitioning
SRC & Posters
Hyerin Park
KAIST
File Attached
17:02
6m
Poster
[non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack
SRC & Posters
Cheng-Hui Weng
Nagoya University
,
Reynald Affeldt
National Institute of Advanced Industrial Science and Technology (AIST), Japan
,
Jacques Garrigue
Nagoya University
,
Takafumi Saikawa
Nagoya University
File Attached
17:09
6m
Poster
[non-SRC] Towards Ownership Refinement Type Inference with Nested Arrays
SRC & Posters
Yusuke Fujiwara
Kyoto University
,
Yusuke Matsushita
The University of Tokyo
,
Kohei Suenaga
Graduate School of Informatics, Kyoto University
,
Atsushi Igarashi
Kyoto University
File Attached
17:16
6m
Poster
[SRC] Verified Exact Inference for Testing Quantum Circuit Transformers and Simulators
SRC & Posters
Kanguk Lee
KAIST
File Attached
17:23
6m
Poster
[SRC] Vython: a Language with Dynamic Version Checking for Gradual Updating
SRC & Posters
Satsuki Kasuya
Institute of Science Tokyo
File Attached
Wed 23 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
10:00 - 10:30
Coffee Break
Catering
at
The 2nd floor corridor
15:40 - 16:00
Coffee Break
Catering
at
The 2nd floor corridor
Thu 24 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
10:30 - 11:00
Coffee Break
Catering
at
The 2nd floor corridor
15:30 - 16:00
Coffee Break
Catering
at
The 2nd floor corridor
Fri 25 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
10:30 - 11:00
Coffee Break
Catering
at
The 2nd floor corridor
15:00 - 15:30
Break
Catering
at
The 2nd floor corridor
15:00
30m
Coffee break
Break
Catering
Tue 22 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
The 2nd floor corridor
Catering
Coffee Break
Catering
Coffee Break
SRC & Posters
Poster Session
Wed 23 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
The 2nd floor corridor
Catering
Coffee Break
Catering
Coffee Break
Thu 24 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
The 2nd floor corridor
Catering
Coffee Break
Catering
Coffee Break
Fri 25 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
The 2nd floor corridor
Catering
Coffee Break
Catering
Break
Tue 22 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
The 2nd floor corridor
APLAS SRC & Posters
[SRC] (Bi-)^3 directional Typing for Answer Type Modification
16:00 - 16:06
APLAS SRC & Posters
[non-SRC] Disproving Termination of O-like Combinators by Tree Automata
16:06 - 16:13
APLAS SRC & Posters
[SRC / Not under award selection] GPU Code Generation for Dynamic Graph ...
16:13 - 16:20
APLAS SRC & Posters
[SRC] Implementing a control flow obfuscation tool for Java
16:20 - 16:27
APLAS SRC & Posters
[SRC] Improving the WebAssembly Specification Framework for Future Prop ...
16:27 - 16:34
APLAS SRC & Posters
[SRC] Lightweight Dependent Types via Staging: Compile-Time Manifest Co ...
16:34 - 16:41
APLAS SRC & Posters
[SRC] On the Equivalence Between Binary and Intermediate Representation ...
16:41 - 16:48
APLAS SRC & Posters
[SRC] Refined^2 Environment Classifiers
16:48 - 16:55
APLAS SRC & Posters
[SRC] Testing and Finding Bugs in Homomorphic Encryption Libraries with ...
16:55 - 17:02
APLAS SRC & Posters
[non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack
17:02 - 17:09
APLAS SRC & Posters
[non-SRC] Towards Ownership Refinement Type Inference with Nested Arrays
17:09 - 17:16
APLAS SRC & Posters
[SRC] Verified Exact Inference for Testing Quantum Circuit Transformers ...
17:16 - 17:23
APLAS SRC & Posters
[SRC] Vython: a Language with Dynamic Version Checking for Gradual Updating
17:23 - 17:30
Thu 24 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
No events planned for this day yet.
Fri 25 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
The 2nd floor corridor
APLAS Catering
Break
15:00 - 15:30
x
Wed 18 Dec 16:59