Atsushi Igarashi

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