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
) /
Student Research Competition and Posters
/
[non-SRC] Towards Ownership Refinement Type Inference with Nested Arrays
Who
Yusuke Fujiwara
,
Yusuke Matsushita
,
Kohei Suenaga
,
Atsushi Igarashi
Track
APLAS 2024 SRC & Posters
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
When
Tue 22 Oct 2024 17:09 - 17:16 at
The 2nd floor corridor
-
Poster Session
Chair(s):
Koko Muroya
,
Yudai Tanabe
File attachments
extended abstract (
APLAS_2024_SRC__Posters_paper_12.pdf
)
501KiB
poster (
APLAS_2024_SRC__Posters_poster_12.pdf
)
1.1MiB
Yusuke Fujiwara
Kyoto University
Yusuke Matsushita
The University of Tokyo
Kohei Suenaga
Graduate School of Informatics, Kyoto University
Japan
Atsushi Igarashi
Kyoto University
Japan
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
Session Program
Tue 22 Oct
Displayed time zone:
Osaka, Sapporo, Tokyo
change
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
x
Tue 5 Nov 10:30