Atsushi Igarashi

According to our database, Atsushi Igarashi authored at least 88 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Functional and logic programming: Selected papers of FLOPS 2022.

Michael Hanus, Atsushi Igarashi

Sci. Comput. Program., 2024

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric.

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe

Proc. ACM Program. Lang., 2024

Abstracting Effect Systems for Algebraic Effect Handlers.

Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi

CoRR, 2024

Linear Contextual Metaprogramming and Session Types.

Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024

iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns.

Yuki Nishida, Kohei Suenaga, Atsushi Igarashi

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming.

Takashi Suwa, Atsushi Igarashi

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

Type-Based Verification of Connectivity Constraints in Lattice Surgery.

Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

Type-based Qubit Allocation for a First-Order Quantum Programming Language.

Ryo Wakizaka, Atsushi Igarashi

CoRR, 2023

Contextual Modal Type Theory with Polymorphic Contexts.

Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi

Proceedings of the Programming Languages and Systems, 2023

2022

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.

Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi

New Gener. Comput., 2022

Preface to the JOT special issue on ECOOP 2021: selected workshop papers.

Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe

J. Object Technol., 2022

(I Can't Get No) Verification (Keynote).

Atsushi Igarashi

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

2021

Verification of a Merkle Patricia Tree Library Using F.

Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi

CoRR, 2021

2020

Signature restriction for polymorphic algebraic effects.

Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi

Proc. ACM Program. Lang., 2020

Compilation of Coordinated Choice.

Yuki Nishida, Atsushi Igarashi

CoRR, 2020

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.

John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 2020

Space-Efficient Gradual Typing in Coercion-Passing Style.

Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

A type system for first-class layers with inheritance, subtyping, and swapping.

Hiroaki Inoue, Atsushi Igarashi

Sci. Comput. Program., 2019

Dynamic type inference for gradual Hindley-Milner typing.

Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi

Proc. ACM Program. Lang., 2019

Gradual session types.

Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler

J. Funct. Program., 2019

Gradual Typing for Extensibility by Rows.

Taro Sekiyama, Atsushi Igarashi

CoRR, 2019

Temporal Verification of Programs via First-Order Fixpoint Logic.

Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno

Proceedings of the Static Analysis - 26th International Symposium, 2019

Handling Polymorphic Algebraic Effects.

Taro Sekiyama, Atsushi Igarashi

Proceedings of the Programming Languages and Systems, 2019

Manifest Contracts with Intersection Types.

Yuki Nishida, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

A Dependently Typed Multi-stage Calculus.

Akira Kawata, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Method safety mechanism for asynchronous layer deactivation.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi

Sci. Comput. Program., 2018

Automated Verification of Functional Correctness of Race-Free GPU Programs.

Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi

J. Autom. Reason., 2018

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact).

Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

Dagstuhl Artifacts Ser., 2018

Reasoning about Polymorphic Manifest Contracts.

Taro Sekiyama, Atsushi Igarashi

CoRR, 2018

Nondeterministic Manifest Contracts.

Yuki Nishida, Atsushi Igarashi

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

A guess-and-assume approach to loop fusion for program verification.

Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions.

Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Polymorphic Manifest Contracts, Revised and Resolved.

Taro Sekiyama, Atsushi Igarashi, Michael Greenberg

ACM Trans. Program. Lang. Syst., 2017

A Hoare Logic for GPU Kernels.

Kensuke Kojima, Atsushi Igarashi

ACM Trans. Comput. Log., 2017

Gradual session types.

Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler

Proc. ACM Program. Lang., 2017

On polymorphic gradual typing.

Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi

Proc. ACM Program. Lang., 2017

Stateful manifest contracts.

Taro Sekiyama, Atsushi Igarashi

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Verification of code generators via higher-order model checking.

Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

A DSL for compensable and interruptible executions.

Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2017

A Nonstandard Functional Programming Language.

Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Visibility of Context-oriented Behavior and State in L.

Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff

Inf. Media Technol., 2016

A library-based approach to context-dependent computation with reactive values: suppressing reactions of context-dependent functions using dynamic binding.

Hiroaki Inoue, Atsushi Igarashi

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13).

Atsushi Igarashi, Andrzej S. Murawski, Nikos Tzevelekos

NII Shonan Meet. Rep., 2015

Manifest Contracts for Datatypes.

Taro Sekiyama, Yuki Nishida, Atsushi Igarashi

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Shifting the Blame - A Blame Calculus with Delimited Control.

Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers.

Hiroaki Inoue, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6).

Atsushi Igarashi, Peter Thiemann, Philip Wadler

NII Shonan Meet. Rep., 2014

On Cross-Stage Persistence in Multi-Stage Programming.

Yuichiro Hanada, Atsushi Igarashi

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

On-Demand Layer Activation for Type-Safe Deactivation.

Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi

Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

Towards Type-Safe JCop: A type system for layer inheritance and first-class layers.

Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeld

Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

Automatic Memory Management Based on Program Transformation Using Ownership.

Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Matching MyType to subtyping.

Chieri Saito, Atsushi Igarashi

Sci. Comput. Program., 2013

Model-Checking Higher-Order Programs with Recursive Types.

Naoki Kobayashi, Atsushi Igarashi

Proceedings of the Programming Languages and Systems, 2013

L: context-oriented programming with only layers.

Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi

Proceedings of the 5th International Workshop on Context-Oriented Programming, 2013

A Hoare Logic for SIMT Programs.

Kensuke Kojima, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Type-based safe resource deallocation for shared-memory concurrency.

Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

Constructive linear-time temporal logic: Proof systems and Kripke semantics.

Kensuke Kojima, Atsushi Igarashi

Inf. Comput., 2011

Gradual typing for generics.

Lintaro Ina, Atsushi Igarashi

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

ContextFJ: a minimal core calculus for context-oriented programming.

Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Polymorphic Contracts.

João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce

Proceedings of the Programming Languages and Systems, 2011

A Featherweight Approach to FOOL.

Atsushi Igarashi

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

A Logical Foundation for Environment Classifiers

Takeshi Tsukada, Atsushi Igarashi

Log. Methods Comput. Sci., 2010

Mostly modular compilation of crosscutting concerns by contextual predicate dispatch.

Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Type relaxed weaving.

Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009

Matching <i>ThisType</i> to subtyping.

Chieri Saito, Atsushi Igarashi

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Self type constructors.

Chieri Saito, Atsushi Igarashi

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Towards gradual typing for generics.

Lintaro Ina, Atsushi Igarashi

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

2008

Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus.

Naokata Shikuma, Atsushi Igarashi

Log. Methods Comput. Sci., 2008

The Essence of Lightweight Family Polymorphism.

Chieri Saito, Atsushi Igarashi

J. Object Technol., 2008

Lightweight family polymorphism.

Chieri Saito, Atsushi Igarashi, Mirko Viroli

J. Funct. Program., 2008

Calculi of meta-variables.

Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi

Frontiers Comput. Sci. China, 2008

Formal Techniques for Java-Like Programs.

Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007

Union Types for Object-Oriented Programming.

Atsushi Igarashi, Hideshi Nagira

J. Object Technol., 2007

Variant path types for scalable extensibility.

Atsushi Igarashi, Mirko Viroli

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Deriving Compilers and Virtual Machines for a Multi-level Language.

Atsushi Igarashi, Masashi Iwaki

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Variant parametric types: A flexible subtyping scheme for generics.

Atsushi Igarashi, Mirko Viroli

ACM Trans. Program. Lang. Syst., 2006

A modal type system for multi-level generating extensions with persistent code.

Yosihiro Yuse, Atsushi Igarashi

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Resource usage analysis for a functional language with exceptions.

Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Formal Techniques for Java-Like Programs.

Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005

Resource usage analysis.

Atsushi Igarashi, Naoki Kobayashi

ACM Trans. Program. Lang. Syst., 2005

2004

A generic type system for the Pi-calculus.

Atsushi Igarashi, Naoki Kobayashi

Theor. Comput. Sci., 2004

2002

On Inner Classes.

Atsushi Igarashi, Benjamin C. Pierce

Inf. Comput., 2002

Foundations for Virtual Types.

Atsushi Igarashi, Benjamin C. Pierce

Inf. Comput., 2002

On Variance-Based Subtyping for Parametric Types.

Atsushi Igarashi, Mirko Viroli

Proceedings of the ECOOP 2002, 2002

2001

Featherweight Java: a minimal core calculus for Java and GJ.

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler

ACM Trans. Program. Lang. Syst., 2001

2000

Type Reconstruction for Linear -Calculus with I/O Subtyping.

Atsushi Igarashi, Naoki Kobayashi

Inf. Comput., 2000

1999

Featherwieght Java: A Minimal Core Calculus for Java and GJ.

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1997

Type-Based Analysis of Communication for Concurrent Programming Languages.

Atsushi Igarashi, Naoki Kobayashi

Proceedings of the Static Analysis, 4th International Symposium, 1997