conf.researchr.org / Atsushi Igarashi
Registered user since Thu 10 Jul 2014
Name:Atsushi Igarashi
Bio:
Atsushi Igarashi is a Professor at Dept. of Communication and Computer Engineering, Graduate School of Informatics, Kyoto University. He received his PhD degree from the University of Tokyo in 2000. His research interest is in principles of programming languages, in particular, type systems and program verification. He received the AITO Dahl-Nygaard Junior Prize in 2011 for his contribution to the foundations of object-oriented languages with his work on Featherweight Java and its extensions.
Country:Japan
Affiliation:Kyoto University
Personal website: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/
Research interests:Programming languages, Type Systems
Contributions
2024
APLAS
- Author of [non-SRC] Towards Ownership Refinement Type Inference with Nested Arrays within the SRC & Posters-track
- Session Chair of Keynote 1 (part of Keynote)
- Author of Type-Based Verification of Connectivity Constraints in Lattice Surgery within the Research Papers-track
- Steering Committee Chair in Steering Committee within the Research Papers-track
2023
COP
‹Programming›
2022
SPLASH
- Session Chair of Logic and Verification II (part of OOPSLA)
- Session Chair of Proofs (part of OOPSLA)
- Committee Member in Review Committee within the OOPSLA-track
- Session Chair of Session 3 (part of V-OOPSLA)
- Committee Member in Program Committee within the Doctoral Symposium-track
- Keynote Speaker of (I Can't Get No) Verification within the Keynotes-track
- Organizer in Program Committe within the CARES-track
GPCE
COP
FLOPS
- Program Co-Chair in Organizing Committee
- Committee Member in Organizing Committee within the AiDL 2022-track
- Session Chair of Session 1: Opening & Invited Talk (part of FLOPS 2022)
- Co-chair in Program Committee within the FLOPS 2022-track
- Committee Member in Programme Chairs within the FLOPS 2022-track
- Author of Space-Efficient Polymorphic Gradual Typing within the AiDL 2022-track
2021
SPLASH
Scheme
COP
POPL
2020
APLAS
SPLASH
ECOOP
- Session Chair of S-2 (part of Research Papers)
- Session Chair of S-3 (part of Research Papers)
- Session Chair of S-4 (part of Research Papers)
- Author of Space-Efficient Gradual Typing in Coercion-Passing Style within the Research Papers-track
- Committee Member in Program Committee within the Research Papers-track
ICFP
COP
PEPM
2019
APLAS
- Author of Space-Efficient Gradual Typing in Coercion-Passing Style within the APLAS NIER-track
- Co-chair in Steering Committee
- Author of A Dependently Typed Multi-Stage Calculus within the Research Papers-track
- Author of Manifest Contracts with Intersection Types within the Research Papers-track
- Session Chair of Semantics (part of Research Papers)
- Committee Member in Organizing Committee within the APLAS NIER-track