Atsushi Igarashi

Orcid: 0000-0002-5143-9764

Affiliations:
  • Kyoto University, Japan


According to our database1, Atsushi Igarashi authored at least 80 papers between 1997 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Contextual Modal Type Theory with Polymorphic Contexts.
Proceedings of the Programming Languages and Systems, 2023

2022
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.
New Gener. Comput., 2022

Preface to the JOT special issue on ECOOP 2021: selected workshop papers.
J. Object Technol., 2022

(I Can't Get No) Verification (Keynote).
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.
CoRR, 2021

2020
Signature restriction for polymorphic algebraic effects.
Proc. ACM Program. Lang., 2020

Compilation of Coordinated Choice.
CoRR, 2020

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.
Proceedings of the Programming Languages and Systems, 2020

Space-Efficient Gradual Typing in Coercion-Passing Style.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
A type system for first-class layers with inheritance, subtyping, and swapping.
Sci. Comput. Program., 2019

Dynamic type inference for gradual Hindley-Milner typing.
Proc. ACM Program. Lang., 2019

Gradual session types.
J. Funct. Program., 2019

Gradual Typing for Extensibility by Rows.
CoRR, 2019

Temporal Verification of Programs via First-Order Fixpoint Logic.
Proceedings of the Static Analysis - 26th International Symposium, 2019

Handling Polymorphic Algebraic Effects.
Proceedings of the Programming Languages and Systems, 2019

Manifest Contracts with Intersection Types.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

A Dependently Typed Multi-stage Calculus.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
Method safety mechanism for asynchronous layer deactivation.
Sci. Comput. Program., 2018

Automated Verification of Functional Correctness of Race-Free GPU Programs.
J. Autom. Reason., 2018

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact).
Dagstuhl Artifacts Ser., 2018

Reasoning about Polymorphic Manifest Contracts.
CoRR, 2018

Nondeterministic Manifest Contracts.
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.
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017
Polymorphic Manifest Contracts, Revised and Resolved.
ACM Trans. Program. Lang. Syst., 2017

A Hoare Logic for GPU Kernels.
ACM Trans. Comput. Log., 2017

Gradual session types.
Proc. ACM Program. Lang., 2017

On polymorphic gradual typing.
Proc. ACM Program. Lang., 2017

Stateful manifest contracts.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Verification of code generators via higher-order model checking.
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

A DSL for compensable and interruptible executions.
Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2017

A Nonstandard Functional Programming Language.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016
A library-based approach to context-dependent computation with reactive values: suppressing reactions of context-dependent functions using dynamic binding.
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).
NII Shonan Meet. Rep., 2015

Manifest Contracts for Datatypes.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Shifting the Blame - A Blame Calculus with Delimited Control.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

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

On Cross-Stage Persistence in Multi-Stage Programming.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

On-Demand Layer Activation for Type-Safe Deactivation.
Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

Towards Type-Safe JCop: A type system for layer inheritance and first-class layers.
Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

Automatic Memory Management Based on Program Transformation Using Ownership.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013
Matching MyType to subtyping.
Sci. Comput. Program., 2013

Model-Checking Higher-Order Programs with Recursive Types.
Proceedings of the Programming Languages and Systems, 2013

L: context-oriented programming with only layers.
Proceedings of the 5th International Workshop on Context-Oriented Programming, 2013

A Hoare Logic for SIMT Programs.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012
Type-based safe resource deallocation for shared-memory concurrency.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011
Constructive linear-time temporal logic: Proof systems and Kripke semantics.
Inf. Comput., 2011

Gradual typing for generics.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

ContextFJ: a minimal core calculus for context-oriented programming.
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Polymorphic Contracts.
Proceedings of the Programming Languages and Systems, 2011

A Featherweight Approach to FOOL.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010
A Logical Foundation for Environment Classifiers
Log. Methods Comput. Sci., 2010

Mostly modular compilation of crosscutting concerns by contextual predicate dispatch.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Type relaxed weaving.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009
Matching <i>ThisType</i> to subtyping.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

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

Towards gradual typing for generics.
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.
Log. Methods Comput. Sci., 2008

The Essence of Lightweight Family Polymorphism.
J. Object Technol., 2008

Lightweight family polymorphism.
J. Funct. Program., 2008

Calculi of meta-variables.
Frontiers Comput. Sci. China, 2008

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007
Union Types for Object-Oriented Programming.
J. Object Technol., 2007

Variant path types for scalable extensibility.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Deriving Compilers and Virtual Machines for a Multi-level Language.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006
Variant parametric types: A flexible subtyping scheme for generics.
ACM Trans. Program. Lang. Syst., 2006

A modal type system for multi-level generating extensions with persistent code.
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.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005
Resource usage analysis.
ACM Trans. Program. Lang. Syst., 2005

2004
A generic type system for the Pi-calculus.
Theor. Comput. Sci., 2004

2002
On Inner Classes.
Inf. Comput., 2002

Foundations for Virtual Types.
Inf. Comput., 2002

On Variance-Based Subtyping for Parametric Types.
Proceedings of the ECOOP 2002, 2002

2001
Featherweight Java: a minimal core calculus for Java and GJ.
ACM Trans. Program. Lang. Syst., 2001

2000
Type Reconstruction for Linear -Calculus with I/O Subtyping.
Inf. Comput., 2000

1999
Featherwieght Java: A Minimal Core Calculus for Java and GJ.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1997
Type-Based Analysis of Communication for Concurrent Programming Languages.
Proceedings of the Static Analysis, 4th International Symposium, 1997


  Loading...