links
Labs
I am an alumnus and currently a faculty member of
- Programming Group (a.k.a. PRG-Group),
- Department of Mathematical and Computing Science,
- School of Computing,
- Institute of Science Tokyo (renamed in 2024 after merging with TMDU, formerly Tokyo Institute of Technology).
I was previously a postdoctoral researcher of
Visits
2025
- PPL 2025 in Aichi, Japan (March 2025)
- Host PL Joint Seminar at Institute of Science Tokyo in Tokyo, Japan (February 2024)
- Half-day visit to Sekiyama lab (NII) for PL Joint Seminar in Tokyo, Japan (January 2025)
2024
- Half-day visit to Group MMSD (NII) for PL Joint Seminar in Tokyo, Japan (December 2024)
- PRO 2024-3 at Institute of Science Tokyo in Tokyo, Japan (November 2024)
- Half-day visit to Programming Lang. (Yasugi-Emoto) lab (Kyutech) in Fukuoka, Japan (November 2024)
- Half-day visit to Kobayashi lab (UTokyo) for PL Joint Seminar in Tokyo, Japan (November 2024)
- APLAS 2024 in Kyoto, Japan (October 2024)
- JSSST 2024 in Osaka, Japan (September 2024)
- 2-days visit to Computer Software Group (KyotoU) in Kyoto, Japan (July 2024)
- PLDI 2024 in Copenhagen, Denmark (June 2024)
- Online participation in PRO 2024-1 (June 2024)
- Online participation in The 7th STAIR Lab ST Seminar (May 2024)
- 1-day visit to Sekiyama lab (NII) in Tokyo, Japan (April 2024)
- PPL 2024 in Niigata, Japan (March 2024)
2023
- APSEC 2023 in Seoul, Korea (December 2023)
- APLAS 2023 in Taipei, Taiwan (November 2023)
- Online participation in JSSST 2023 (Septemebr 2023)
- SLACS 2023 in Kyoto, Japan (August & Septemebr 2023)
- ECOOP/ISSTA 2023 in Seattle, USA (July 2023)
- 1-day visit to Computer Software Group (KyotoU) in Kyoto, Japan (March 2023)
- ‹Programming› 2023 in Tokyo, Japan (March 2023)
2022
- Half-day visit to Software Architecture Group (HPI) in Berlin, Germany (July 2022)
- ECOOP 2022 in Berlin, Germany (July 2022)
- Online participation in ‹Programming› 2022 (April 2022)
- Online participation in PPL 2022 (March 2022)
- Online participation in POPL 2022 (January 2022)
2021
- 2-month online internship at IBM Research Tokyo (November & December 2021)
- Online participation in JSSST 2021 (September 2021)
- Online participation in ICFP 2021 (August 2021)
- Online participation in ECOOP/ISSTA 2021 (July 2021)
- Online participation in PLDI 2021 (June 2021)
- Online participation in PPL 2021 (March 2021)
- Online participation in POPL 2021 (January 2021)
2020
- Online participation in APLAS 2020 (December 2020)
- Online participation in SPLASH/ECOOP 2020 (November 2020)
- Online participation in ICFP 2020 (August 2020)
- (Canceled due to COVID-19) PPL 2020 in Saga, Japan (March 2020)
2019
- PRO 2019-1 in Nagoya, Japan (June 2019)
- PPL 2019 in Iwate, Japan (March 2019)
2018
- 2-month internship at IBM Research Tokyo in Tokyo, Japan (September & October 2018)
- Kumiki meeting 6.0 at Kyushu University in Fukuoka, Japan (September 2018)
- ECOOP/ISSTA 2018 in Amsterdam, Netherlands (July 2018)
- PPL 2018 in Tottori, Japan (March 2018)
- PRO 2017-5 in Tokyo, Japan (February & March 2018)
2017
- JSSST 2017 in Tokyo, Japan (September 2017)
Tools
- PL Conference Deadlines
- Doctoral Students Funding Calendar (for PhD students in Japan)
- ACM Digital Library
International Conference
| Conference | Date | Archive | Submission |
|---|---|---|---|
| POPL | January | PACMPL | acmsmall 25 pgs. + refs |
| PLDI | June | PACMPL | acmsmall 20 pgs. + refs |
| SPLASH/OOPSLA | October ~ December | PACMPL | acmsmall 23(+4) pgs. + refs 2 separate rounds of reviewing |
| ICFP | August ~ September | PACMPL | acmsmall 25(+2) pgs. + refs |
| ECOOP | June ~ July | LIPIcs | No limits when submission LIPIcs 25 pgs. + refs (camera-ready) 2 separate rounds of reviewing |
| ESOP | October ~ November | proceedings | LNCS 25 pgs. + refs |
| Conference | Date | Archive | Submission |
|---|---|---|---|
| FLOPS | October ~ December | proceedings | LNCS 15 pgs. + refs |
| APLAS | October ~ December | proceedings | LNCS 17(+1) pgs. + refs |
| ‹Programming› | March ~ April | ‹Programming› Journal | ‹Programming› template 22 pgs. + refs 3 separate rounds of reviewing |
| GPCE | (Colocated with SPLASH) | proceedings | sigplan 12 pgs. + refs |
| SLE | (Colocated with SPLASH) | proceedings | sigplan 12 pgs. (including refs?) |
| DLS | (Colocated with SPLASH) | proceedings | sigplan 12 pgs. (including refs?) |
| PPDP | September ~ October | proceedings | sigplan 12 pgs. + refs |
Templates
International Workshop / Symposium
Language Implementation
| Conference | Comment |
|---|---|
| MoreVMs | Colocated with ‹Programming› |
| Array | Colocated with PLDI |
| ICOOOLPS | Colocated with ECOOP |
Types and Functional Language
| Conference | Comment |
|---|---|
| PEPM | Colocated with POPL |
| Scheme | Colocated with ICFP |
| TFP | |
| WITS | Colocated with POPL |
| TyDe | Colocated with ICFP |
| HOPE | Colocated with ICFP |
Programming Environment and Experience
| Conference | Comment |
|---|---|
| LIVE | Colocated with SPLASH |
| PX | Colocated with ‹Programming› |
| SIGCHI | Hosts CHI, IUI, UIST |
Programming Education
| Conference | Comment |
|---|---|
| ITiCSE | https://iticse.acm.org/2023/ |
Others
| Conference | Comment |
|---|---|
| COP | Colocated with ECOOP |
| Onward! | Colocated with SPLASH https://2022.splashcon.org/track/splash-2022-Onward-papers |
Domestic Conference
| Conference | Comment |
|---|---|
| SIGPX | |
| JSSST-PPL | |
| JSSST Annual Conference | |
| IPSJ PRO |