Atsushi Igarashi

Registered user since Thu 10 Jul 2014

Name: Atsushi Igarashi

Country: Japan

Affiliation: Kyoto University, Japan

Personal website: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

Research interests: Programming languages, Type Systems

Contributions

PEPM 2019Program Co-Chair in Program Committee within the PEPM 2019-track
ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
Scala 2018Committee Member in Program Committee within the Scala 2018-track
COP 2018Committee Member in Organizing Committee within the COP-track
PEPM 2018Author of A Guess-and-Assume Approach to Loop Fusion for Program Verification within the PEPM 2018-track
REBLS 2017Author of A DSL for Compensable and Interruptible Executions within the REBELS-track
ICFP 2018Member at large in Steering Committee
OCaml 2017Committee Member in Program Committee within the OCaml 2017-track
HOPE 2017Committee Member in Program Committee within the HOPE 2017-track
COP 2017Organizing Committee in Organizing Committee within the COP-17-track
ICFP 2017Author 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 2018Committee Member in Program Committee within the Research Papers-track
Session Chair of Interpretation and Evaluation (part of Research Papers)
PEPM 2017Author of Verification of Code Generators via Higher-Order Model Checking within the PEPM 2017-track
PLMW 2016Session Chair of 5 (part of PLMW)
Committee Member in Organizers within the PLMW-track
Session Chair of 4 (part of PLMW)
STOP 2016Author of Gradual Typing for Delimited Continuations within the STOP-track
COP 2016Committee Member in Organizing Committee within the COP-track
Committee Member in Program Committee within the COP-track
POPL 2017Author of Stateful Manifest Contracts within the POPL-track
CROW 2016Author of A Library-Based Approach to Context-Dependent Computation with Reactive Values within the CROW 2016-track
ECOOP 2018Committee 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 2017Committee Member in Program Committee within the OOPSLA-track
ECOOP 2016Committee Member in External Review Committee within the Research Track-track
Modularity 2016 Committee Member in SRC Reviewers within the Student Research Competition-track
COP 2015Committee Member in Program Committee within the COP-track
Author of Method Safety Mechanism for Asynchronous Layer Deactivation within the COP-track
FTfJP 2015Committee Member in Program committee within the FTfJP-track
PEPM 2015Committee Member in Program Committee within the PEPM 2015-track
SPLASH 2015Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013Committee Member in Program Committee within the Onward!-track
FOOL 2012Author 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 2012Author of Type-based safe resource deallocation for shared-memory concurrency within the OOPSLA Research Papers-track