Atsushi Igarashi

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 53

Top Venues

CoRR

APLAS

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos
Linear Contextual Metaprogramming and Session Types. PLACES@ETAPS (2024)
Takashi Suwa, Atsushi Igarashi
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. FLOPS (2024)
Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi
Abstracting Effect Systems for Algebraic Effect Handlers. CoRR (2024)
Michael Hanus, Atsushi Igarashi
Functional and logic programming: Selected papers of FLOPS 2022. Sci. Comput. Program. 238 (2024)
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
Signature restriction for polymorphic algebraic effects. J. Funct. Program. 34 (2024)
Ryo Wakizaka, Atsushi Igarashi
Type-based Qubit Allocation for a First-Order Quantum Programming Language. CoRR (2023)
Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi
Contextual Modal Type Theory with Polymorphic Contexts. ESOP (2023)
Atsushi Igarashi
(I Can't Get No) Verification (Keynote). SPLASH Companion (2022)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. New Gener. Comput. 40 (2) (2022)
Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe
Preface to the JOT special issue on ECOOP 2021: selected workshop papers. J. Object Technol. 21 (2) (2022)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types. CoRR (2021)
Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Verification of a Merkle Patricia Tree Library Using F. CoRR (2021)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. TACAS (2) (2021)
Yuki Nishida, Atsushi Igarashi
Compilation of Coordinated Choice. CoRR (2020)
Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi
Space-Efficient Gradual Typing in Coercion-Passing Style. ECOOP (2020)
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
Signature restriction for polymorphic algebraic effects. CoRR (2020)
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. ESOP (2020)
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
Signature restriction for polymorphic algebraic effects. Proc. ACM Program. Lang. 4 (ICFP) (2020)
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. CoRR (2020)
Hiroaki Inoue, Atsushi Igarashi
A type system for first-class layers with inheritance, subtyping, and swapping. Sci. Comput. Program. 179 (2019)
Yuki Nishida, Atsushi Igarashi
Manifest Contracts with Intersection Types. CoRR (2019)
Hiroaki Inoue, Atsushi Igarashi
A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping. CoRR (2019)
Akira Kawata, Atsushi Igarashi
A Dependently Typed Multi-Stage Calculus. CoRR (2019)
Taro Sekiyama, Atsushi Igarashi
Handling Polymorphic Algebraic Effects. ESOP (2019)
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
Gradual session types. J. Funct. Program. 29 (2019)
Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno
Temporal Verification of Programs via First-Order Fixpoint Logic. SAS (2019)
Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi
Space-Efficient Gradual Typing in Coercion-Passing Style. CoRR (2019)
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
Dynamic type inference for gradual Hindley-Milner typing. Proc. ACM Program. Lang. 3 (POPL) (2019)
Akira Kawata, Atsushi Igarashi
A Dependently Typed Multi-stage Calculus. APLAS (2019)
Yuki Nishida, Atsushi Igarashi
Manifest Contracts with Intersection Types. APLAS (2019)
Taro Sekiyama, Atsushi Igarashi
Gradual Typing for Extensibility by Rows. CoRR (2019)
Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi
A guess-and-assume approach to loop fusion for program verification. PEPM (2018)
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
Gradual Session Types. CoRR (2018)
Taro Sekiyama, Atsushi Igarashi
Reasoning about Polymorphic Manifest Contracts. CoRR (2018)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi
Method safety mechanism for asynchronous layer deactivation. Sci. Comput. Program. 156 (2018)
Taro Sekiyama, Atsushi Igarashi
Handling polymorphic algebraic effects. CoRR (2018)
Yuki Nishida, Atsushi Igarashi
Nondeterministic Manifest Contracts. PPDP (2018)
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
Automated Verification of Functional Correctness of Race-Free GPU Programs. J. Autom. Reason. 60 (3) (2018)
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
Dynamic Type Inference for Gradual Hindley-Milner Typing. CoRR (2018)
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. ECOOP (2018)
Taro Sekiyama, Atsushi Igarashi
Stateful manifest contracts. POPL (2017)
Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi
Verification of code generators via higher-order model checking. PEPM (2017)
Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi
A Nonstandard Functional Programming Language. APLAS (2017)
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
Gradual session types. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Kensuke Kojima, Atsushi Igarashi
A Hoare Logic for GPU Kernels. ACM Trans. Comput. Log. 18 (1) (2017)
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
A DSL for compensable and interruptible executions. REBLS@SPLASH (2017)
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg
Polymorphic Manifest Contracts, Revised and Resolved. ACM Trans. Program. Lang. Syst. 39 (1) (2017)
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi
On polymorphic gradual typing. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
Automated Verification of Functional Correctness of Race-Free GPU Programs. VSTTE (2016)
Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff
Visibility of Context-oriented Behavior and State in L. Inf. Media Technol. 11 (2016)
Hiroaki Inoue, Atsushi Igarashi
A library-based approach to context-dependent computation with reactive values: suppressing reactions of context-dependent functions using dynamic binding. MODULARITY (Companion) (2016)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi
Method Safety Mechanism for Asynchronous Layer Deactivation. COP@ECOOP (2015)
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi
Manifest Contracts for Datatypes. POPL (2015)
Atsushi Igarashi, Andrzej S. Murawski, Nikos Tzevelekos
Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13). NII Shonan Meet. Rep. 2015 (2015)
Hiroaki Inoue, Atsushi Igarashi
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. APLAS (2015)
Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi
Shifting the Blame - A Blame Calculus with Delimited Control. APLAS (2015)
Atsushi Igarashi, Peter Thiemann, Philip Wadler
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). NII Shonan Meet. Rep. 2014 (2014)
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi
Automatic Memory Management Based on Program Transformation Using Ownership. APLAS (2014)
Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeld
Towards Type-Safe JCop: A type system for layer inheritance and first-class layers. COP@ECOOP (2014)
Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi
On-Demand Layer Activation for Type-Safe Deactivation. COP@ECOOP (2014)
Yuichiro Hanada, Atsushi Igarashi
On Cross-Stage Persistence in Multi-Stage Programming. FLOPS (2014)
Naoki Kobayashi, Atsushi Igarashi
Model-Checking Higher-Order Programs with Recursive Types. ESOP (2013)
Chieri Saito, Atsushi Igarashi
Matching MyType to subtyping. Sci. Comput. Program. 78 (7) (2013)
Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi
L: context-oriented programming with only layers. COP@ECOOP (2013)
Kensuke Kojima, Atsushi Igarashi
A Hoare Logic for SIMT Programs. APLAS (2013)
Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi
Type-based safe resource deallocation for shared-memory concurrency. OOPSLA (2012)
João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce
Polymorphic Contracts. ESOP (2011)
Lintaro Ina, Atsushi Igarashi
Gradual typing for generics. OOPSLA (2011)
Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara
ContextFJ: a minimal core calculus for context-oriented programming. FOAL (2011)
Kensuke Kojima, Atsushi Igarashi
Constructive linear-time temporal logic: Proof systems and Kripke semantics. Inf. Comput. 209 (12) (2011)
Atsushi Igarashi
A Featherweight Approach to FOOL. ECOOP (2011)
Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama
Type relaxed weaving. AOSD (2010)
Takeshi Tsukada, Atsushi Igarashi
A Logical Foundation for Environment Classifiers Log. Methods Comput. Sci. 6 (4) (2010)
Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch. OOPSLA (2010)
Chieri Saito, Atsushi Igarashi
Self type constructors. OOPSLA (2009)
Lintaro Ina, Atsushi Igarashi
Towards gradual typing for generics. STOP@ECOOP (2009)
Takeshi Tsukada, Atsushi Igarashi
A Logical Foundation for Environment Classifiers. TLCA (2009)
Chieri Saito, Atsushi Igarashi
to subtyping. SAC (2009)
Naokata Shikuma, Atsushi Igarashi
Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. Log. Methods Comput. Sci. 4 (3) (2008)
Naokata Shikuma, Atsushi Igarashi
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus CoRR (2008)
Chieri Saito, Atsushi Igarashi
The Essence of Lightweight Family Polymorphism. J. Object Technol. 7 (5) (2008)
Chieri Saito, Atsushi Igarashi, Mirko Viroli
Lightweight family polymorphism. J. Funct. Program. 18 (3) (2008)
Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad
Formal Techniques for Java-Like Programs. ECOOP Workshops (2008)
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
Calculi of meta-variables. Frontiers Comput. Sci. China 2 (1) (2008)
Atsushi Igarashi, Masashi Iwaki
Deriving Compilers and Virtual Machines for a Multi-level Language. APLAS (2007)
Atsushi Igarashi, Mirko Viroli
Variant path types for scalable extensibility. OOPSLA (2007)
Atsushi Igarashi, Hideshi Nagira
Union Types for Object-Oriented Programming. J. Object Technol. 6 (2) (2007)
Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
Resource usage analysis for a functional language with exceptions. PEPM (2006)
Atsushi Igarashi, Hideshi Nagira
Union types for object-oriented programming. SAC (2006)
Naokata Shikuma, Atsushi Igarashi
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. ASIAN (2006)
Atsushi Igarashi, Mirko Viroli
Variant parametric types: A flexible subtyping scheme for generics. ACM Trans. Program. Lang. Syst. 28 (5) (2006)
Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca
Formal Techniques for Java-Like Programs. ECOOP Workshops (2006)
Yosihiro Yuse, Atsushi Igarashi
A modal type system for multi-level generating extensions with persistent code. PPDP (2006)
Atsushi Igarashi, Naoki Kobayashi
Resource usage analysis. ACM Trans. Program. Lang. Syst. 27 (2) (2005)
Atsushi Igarashi, Chieri Saito, Mirko Viroli
Lightweight Family Polymorphism. APLAS (2005)
Atsushi Igarashi, Naoki Kobayashi
A generic type system for the Pi-calculus. Theor. Comput. Sci. 311 (1-3) (2004)
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
Calculi of Meta-variables. CSL (2003)
Atsushi Igarashi, Naoki Kobayashi
Resource usage analysis. POPL (2002)

Atsushi Igarashi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Atsushi Igarashi