APLAS 2024 (series) / Student Research Competition and Posters /
[SRC] Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts
Tue 22 Oct 2024 16:34 - 16:41 at The 2nd floor corridor - Poster Session Chair(s): Koko Muroya, Yudai Tanabe
Wed 23 Oct 2024 14:20 - 14:40 at Yamauchi Hall - Finalist Presentation Chair(s): Koko Muroya, Yudai Tanabe
Wed 23 Oct 2024 14:20 - 14:40 at Yamauchi Hall - Finalist Presentation Chair(s): Koko Muroya, Yudai Tanabe
extended abstract (APLAS_2024_SRC__Posters_paper_2.pdf) | 504KiB |
poster (APLAS_2024_SRC__Posters_poster_2.pdf) | 413KiB |
Tue 22 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
Tue 22 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change
Wed 23 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
Wed 23 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change
14:00 - 15:40 | Finalist PresentationSRC & Posters at Yamauchi Hall Chair(s): Koko Muroya NII, Yudai Tanabe Institute of Science Tokyo | ||
14:00 20mPoster | [SRC] (Bi-)^3 directional Typing for Answer Type Modification SRC & Posters Takuma Yoshioka Kyoto University File Attached | ||
14:20 20mPoster | [SRC] Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts SRC & Posters Takashi Suwa Kyoto University and National Institute of Informatics File Attached | ||
14:40 20mPoster | [SRC] Refined^2 Environment Classifiers SRC & Posters Yuito Murase Kyoto University, Japan | ||
15:00 20mPoster | [SRC] Testing and Finding Bugs in Homomorphic Encryption Libraries with Equivalence Partitioning SRC & Posters Hyerin Park KAIST File Attached | ||
15:20 20mPoster | [SRC] Verified Exact Inference for Testing Quantum Circuit Transformers and Simulators SRC & Posters Kanguk Lee KAIST File Attached |