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
Research interests:Programming languages, Type Systems

Contributions

SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
ECOOP 2023 PC Member in Program Committee within the Research Papers-track
‹Programming› 2023 Committee Member in Program Committee within the Research Papers-track
Publicity Co-Chair in Organizing Committee
QP 2023 Committee Member in Program Committee within the QP2023-track
PEPM 2023 Committee Member in Program Committee within the PEPM 2023-track
APLAS 2022 Session Chair of Types (part of APLAS)
SPLASH 2022 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 2022 Session Chair of GPCE Session 2 (part of GPCE )
Committee Member in Program Committee within the GPCE -track
COP 2022 Committee Member in Workshop Organizers within the COP 2022-track
Committee Member in Program Committee within the COP 2022-track
FLOPS 2022 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
POPL 2022 Committee Member in Program Committee within the POPL-track
PEPM 2022 Committee Member in Steering Committee within the PEPM 2022-track
WGT 2022 Committee Member in Program Committee within the WGT-track
SPLASH 2021 Session Chair of Types & Verification -- mirror (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Session Chair of Functional Programming - Mirror (part of OOPSLA)
APLAS 2021 Session Chair of Invited talk 2 (part of Keynote Talks)
Scheme 2021 Author of Is Space-Efficient Polymorphic Gradual Typing Possible? within the Scheme 2021-track
miniKanren 2021 Committee Member in Program Committee within the miniKanren 2021-track
COP 2021 Committee Member in Organizing Committee within the COP-track
Committee Member in Program Committee within the COP-track
POPL 2021 Panelist of Panel Discussion 4: Finding Friends and Collaborators in Academia within the POPL Meetups-track
Panelist of Panel Discussion 3: Work/Life Balance within the POPL Meetups-track
PEPM 2021 Committee Member in Steering Committee within the PEPM 2021-track
APLAS 2020 Workshop Chair in Organising Committee
Author of Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types within the Posters-track
SPLASH 2020 Committee Member in Review Committee within the OOPSLA-track
Session Chair of F-2A (part of OOPSLA)
ECOOP 2020 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 2020 Author in Steering Committee
Author of Signature restriction for polymorphic algebraic effects within the ICFP Program-track
Author of Online Lecture Panel within the Social Events-track
Erlang 2020 PC Member in Program Committee within the Erlang 2020-track
COP Organizer in Organizing Committee within the COP-track
Committee Member in Program Committee within the COP-track
PEPM 2020 Invited Speaker of Dependently-Typed Multi-Stage Programming Revisited (invited talk) within the PEPM 2020-track
Session Chair of Sessions 3 & 4 (part of PEPM 2020)
WGT 2020 Committee Member in Program Committee within the WGT-track
Author of Gradual Typing for Extensibility by Rows within the WGT-track
Author of Space-Efficient Gradual Typing in Coercion-Passing Style within the WGT-track
APLAS 2019 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
ICFP 2019 Member at large in Steering Committee
ML 2019 Committee Member in Program Committee within the ML 2019-track
COP 2019 Organizing Committee in Organizing Committee within the COP 2019-track
Committee Member in Program Committee within the COP 2019-track
ESOP 2019 Committee Member in Program Committee within the ESOP 2019-track
Author of Handling polymorphic algebraic effects within the ESOP 2019-track
Session Chair of Language Design (part of ESOP 2019)
POPL 2019 Author of Dynamic Type Inference for Gradual Hindley–Milner Typing within the Research Papers-track
PLMW 2019 Panelist in Panelists within the PLMW@POPL-track
Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track
BEAT 2019 Author of Gradual Session Types in Imperative Style within the BEAT 2019-track
PEPM 2019 Session Chair of Session 3 (part of PEPM 2019)
Program Co-Chair in Program Committee within the PEPM 2019-track
Co-chair of Welcome to PEPM19 within the PEPM 2019-track
ICFP 2018 Member at large in Steering Committee
Scala 2018 Committee Member in Program Committee within the Scala 2018-track
COP 2018 Committee Member in Organizing Committee within the COP-track
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
Author of ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions within the ECOOP Research Papers-track
Session Chair of Formal Calculi (part of ECOOP Research Papers)
POPL 2018 Committee Member in Program Committee within the Research Papers-track
Session Chair of Interpretation and Evaluation (part of Research Papers)
PEPM 2018 Author of A Guess-and-Assume Approach to Loop Fusion for Program Verification within the PEPM 2018-track
REBLS 2017 Author of A DSL for Compensable and Interruptible Executions within the REBELS-track
SPLASH 2017 Committee Member in Program Committee within the OOPSLA-track
ICFP 2017 Author of On Polymorphic Gradual Typing within the Research Papers-track
Author of Gradual Session Types within the Research Papers-track
Member at large in Steering Committee
OCaml 2017 Committee Member in Program Committee within the OCaml 2017-track
HOPE 2017 Committee Member in Program Committee within the HOPE 2017-track
COP 2017 Organizing Committee in Organizing Committee within the COP-17-track
POPL 2017 Author of Stateful Manifest Contracts within the POPL-track
PEPM 2017 Author of Verification of Code Generators via Higher-Order Model Checking within the PEPM 2017-track
PLMW 2016 Session Chair of 5 (part of PLMW)
Committee Member in Organizers within the PLMW-track
Session Chair of 4 (part of PLMW)
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
COP 2016 Committee Member in Organizing Committee within the COP-track
Committee Member in Program Committee within the COP-track
STOP 2016 Author of Gradual Typing for Delimited Continuations within the STOP-track
Modularity 2016 Committee Member in SRC Reviewers within the Student Research Competition-track
CROW 2016 Author of A Library-Based Approach to Context-Dependent Computation with Reactive Values within the CROW 2016-track
SPLASH 2015 Committee Member in External Review Committee within the OOPSLA-track
COP 2015 Committee Member in Program Committee within the COP-track
Author of Method Safety Mechanism for Asynchronous Layer Deactivation within the COP-track
FTfJP 2015 Committee Member in Program committee within the FTfJP-track
PEPM 2015 Committee Member in Program Committee within the PEPM 2015-track
SPLASH 2013 Committee Member in Program Committee within the Onward!-track
SPLASH 2012 Author of Type-based safe resource deallocation for shared-memory concurrency within the OOPSLA Research Papers-track
FOOL 2012 Author of A Type System for Dynamic Layer Composition within the FOOL 2012-track
Steering Committee Member in Steering Committee within the FOOL 2012-track
SPLASH 2011 Committee Member in Program Committee within the OOPSLA-track
Author of Gradual Typing for Generics within the OOPSLA-track
SPLASH 2010