Atsushi Igarashi

Registered user since Thu 10 Jul 2014

Name:Atsushi Igarashi
Country:Japan
Affiliation:Kyoto University, Japan
Research interests:Programming languages, Type Systems

Contributions

FLOPS 2022 Program Co-Chair in Organizing Committee
Co-chair in Program Committee within the FLOPS 2022-track
Committee Member in Programme Chairs within the FLOPS 2022-track
PEPM 2022 Committee Member in Steering Committee within the PEPM 2022-track
WGT 2022 Committee Member in Program Committee within the WGT-track
COP 2021 Committee Member in Organizing Committee within the COP-track
Committee Member in Program Committee within the COP-track
miniKanren 2021 Committee Member in Program Committee within the miniKanren 2021-track
Scheme 2021 Author of Is Space-Efficient Polymorphic Gradual Typing Possible? within the Scheme 2021-track
POPL 2022 Committee Member in Program Committee within the POPL-track
APLAS 2021 Session Chair of Invited talk 2 (part of Keynote Talks)
SPLASH 2021 Committee Member in Review Committee within the OOPSLA-track
SPLASH 2010
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
Erlang 2020 PC Member in Program Committee within the Erlang 2020-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
COP Organizer in Organizing Committee within the COP-track
Committee Member in Program Committee within the COP-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
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
SPLASH 2020 Committee Member in Review Committee within the OOPSLA-track
Session Chair of F-2A (part of OOPSLA)
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
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
COP 2019 Organizing Committee in Organizing Committee within the COP 2019-track
Committee Member in Program Committee within the COP 2019-track
ML 2019 Committee Member in Program Committee within the ML 2019-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
BEAT 2019 Author of Gradual Session Types in Imperative Style within the BEAT 2019-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
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
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
Scala 2018 Committee Member in Program Committee within the Scala 2018-track
COP 2018 Committee Member in Organizing Committee within the COP-track
ICFP 2019 Member at large in Steering Committee
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
ICFP 2018 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
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
POPL 2018 Committee Member in Program Committee within the Research Papers-track
Session Chair of Interpretation and Evaluation (part of Research Papers)
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)
STOP 2016 Author of Gradual Typing for Delimited Continuations within the STOP-track
COP 2016 Committee Member in Organizing Committee within the COP-track
Committee Member in Program Committee within the COP-track
POPL 2017 Author of Stateful Manifest Contracts within the POPL-track
CROW 2016 Author of A Library-Based Approach to Context-Dependent Computation with Reactive Values within the CROW 2016-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)
SPLASH 2017 Committee Member in Program Committee within the OOPSLA-track
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
Modularity 2016 Committee Member in SRC Reviewers within the Student Research Competition-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 2015 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013 Committee Member in Program Committee within the Onward!-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 2012 Author of Type-based safe resource deallocation for shared-memory concurrency within the OOPSLA Research Papers-track
SPLASH 2011 Committee Member in Program Committee within the OOPSLA-track
Author of Gradual Typing for Generics within the OOPSLA-track