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

ESOP 2019Committee Member in Program Committee
Scala 2018Committee Member in Program Committee
COP 2018Committee Member in Organizing Committee
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
HOPE 2017Committee Member in Program Committee
COP 2017Organizing Committee in Organizing Committee
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
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
Session Chair of 4 (part of PLMW)
STOPAuthor of Gradual Typing for Delimited Continuations within the STOP-track
COPCommittee Member in Organizing Committee
Committee Member in Program Committee
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
Author of ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions within the ECOOP Research Papers-track
SPLASH 2017Committee Member in Program Committee
ECOOP 2016Committee Member in External Review Committee
Modularity 2016 Committee Member in SRC Reviewers
COP 2015Committee Member in Program Committee
Author of Method Safety Mechanism for Asynchronous Layer Deactivation within the COP-track
FTfJP 2015Committee Member in Program committee
PEPM 2015Committee Member in Program Committee
SPLASH 2015Committee Member in External Review Committee
SPLASH 2013Committee Member in Program Committee
FOOL 2012
SPLASH 2012