https://ayakayorihiro.github.io/ https://ayakayorihiro.github.io/about/ https://ayakayorihiro.github.io/drafts/ https://ayakayorihiro.github.io/drafts/porchfest/ 2025-09-22 https://ayakayorihiro.github.io/drafts/rv-next/ 2025-01-19 https://ayakayorihiro.github.io/misc/ https://ayakayorihiro.github.io/misc/fun-facts/ 2024-01-01 https://ayakayorihiro.github.io/misc/translations/ https://ayakayorihiro.github.io/misc/translations/hagan/ 2022-06-22 https://ayakayorihiro.github.io/news/ https://ayakayorihiro.github.io/news/a-exam/ 2024-03-26 https://ayakayorihiro.github.io/news/calyx-firrtl/ 2024-02-25 https://ayakayorihiro.github.io/news/ic-talk-2024/ 2024-11-13 https://ayakayorihiro.github.io/news/qif-finalist-2026/ 2026-03-13 https://ayakayorihiro.github.io/news/swat-talk-2024/ 2024-09-26 https://ayakayorihiro.github.io/news/tacas-2026/ 2025-11-04 https://ayakayorihiro.github.io/news/teaching-2110/ 2024-06-20 https://ayakayorihiro.github.io/news/teaching-3110/ 2026-01-20 https://ayakayorihiro.github.io/posts/ https://ayakayorihiro.github.io/posts/cra-wp-2024/ 2024-05-13 https://ayakayorihiro.github.io/posts/grad_school_app_advice.html/ 2020-11-27 https://ayakayorihiro.github.io/posts/jo-sensei/ 2024-08-11 https://ayakayorihiro.github.io/posts/lookback/ 2025-01-19 https://ayakayorihiro.github.io/posts/rv/ 2025-06-27 https://ayakayorihiro.github.io/posts/teaching-su24/ 2024-09-26 https://ayakayorihiro.github.io/preprints/ https://ayakayorihiro.github.io/preprints/petal/ 2025-11-24 https://ayakayorihiro.github.io/publications/ https://ayakayorihiro.github.io/publications/cf/ 2024-03-24 https://ayakayorihiro.github.io/publications/emop/ 2023-10-03 https://ayakayorihiro.github.io/publications/plume/ 2020-11-30 https://ayakayorihiro.github.io/service/ https://ayakayorihiro.github.io/teaching/ https://ayakayorihiro.github.io/teaching/cornell/ 2023-05-01 https://ayakayorihiro.github.io/teaching/swarthmore/ 2020-05-01