default search action
Atsushi Igarashi
Person information
- affiliation: Kyoto University, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j33]Taro Sekiyama
, Takeshi Tsukada
Signature restriction for polymorphic algebraic effects. J. Funct. Program. 34 (2024) - [j32]Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi:
Abstracting Effect Systems for Algebraic Effect Handlers. Proc. ACM Program. Lang. 8(ICFP): 455-484 (2024) - [j31]Atsushi Igarashi
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proc. ACM Program. Lang. 8(PLDI): 1585-1608 (2024) - [j30]Michael Hanus
Functional and logic programming: Selected papers of FLOPS 2022. Sci. Comput. Program. 238: 103129 (2024) - [c62]Ryo Wakizaka
Type-Based Verification of Connectivity Constraints in Lattice Surgery. APLAS 2024: 216-237 - [c61]Takashi Suwa
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. FLOPS 2024: 237-272 - [c60]Yuki Nishida, Kohei Suenaga, Atsushi Igarashi:
iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns. ICBC 2024: 576-584 - [c59]Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos:
Linear Contextual Metaprogramming and Session Types. PLACES@ETAPS 2024: 1-10 - [i20]Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi:
Abstracting Effect Systems for Algebraic Effect Handlers. CoRR abs/2404.16381 (2024) - [i19]Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi:
Type-Based Verification of Connectivity Constraints in Lattice Surgery. CoRR abs/2409.00529 (2024) - 2023
- [c58]Yuito Murase
Contextual Modal Type Theory with Polymorphic Contexts. ESOP 2023: 281-308 - [e8]Yudai Tanabe, Lars Schütze, Robert Hirschfeld, Atsushi Igarashi
Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity, COP 2023, Seattle, WA, USA, 17 July 2023. ACM 2023 [contents] - [i18]Ryo Wakizaka, Atsushi Igarashi:
Type-based Qubit Allocation for a First-Order Quantum Programming Language. CoRR abs/2306.01856 (2023) - 2022
- [j29]Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi
Preface to the JOT special issue on ECOOP 2021: selected workshop papers. J. Object Technol. 21(2) (2022) - [j28]Yuki Nishida
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. New Gener. Comput. 40(2): 507-540 (2022) - [c57]Atsushi Igarashi
(I Can't Get No) Verification (Keynote). SPLASH Companion 2022: 1 - [e7]Yudai Tanabe, Atsushi Igarashi
COP@ECOOP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP), Berlin, Germany, 7 June 2022. ACM 2022, ISBN 978-1-4503-9986-9 [contents] - [e6]Michael Hanus
Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings. Lecture Notes in Computer Science 13215, Springer 2022, ISBN 978-3-030-99460-0 [contents] - 2021
- [c56]Yuki Nishida
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. TACAS (2) 2021: 262-280 - [e5]Yu David Liu, Harumi Watanabe, Robert Hirschfeld, Atsushi Igarashi
COP@ECOOP 2021: Proceedings of the 13th ACM International Workshop on Context-Oriented Programming and Advanced Modularity, Virtual Event, Denmark, July 12, 2021. ACM 2021, ISBN 978-1-4503-8542-8 [contents] - [i17]Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi:
Verification of a Merkle Patricia Tree Library Using F. CoRR abs/2106.04826 (2021) - [i16]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 abs/2108.12971 (2021) - 2020
- [j27]Taro Sekiyama
Signature restriction for polymorphic algebraic effects. Proc. ACM Program. Lang. 4(ICFP): 117:1-117:30 (2020) - [c55]Yuya Tsuda
Space-Efficient Gradual Typing in Coercion-Passing Style. ECOOP 2020: 8:1-8:29 - [c54]John Toman
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. ESOP 2020: 684-714 - [i15]John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi:
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. CoRR abs/2002.07770 (2020) - [i14]Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi:
Signature restriction for polymorphic algebraic effects. CoRR abs/2003.08138 (2020) - [i13]Yuki Nishida, Atsushi Igarashi:
Compilation of Coordinated Choice. CoRR abs/2004.14084 (2020)
2010 – 2019
- 2019
- [j26]Atsushi Igarashi
Gradual session types. J. Funct. Program. 29: e17 (2019) - [j25]Yusuke Miyazaki
Dynamic type inference for gradual Hindley-Milner typing. Proc. ACM Program. Lang. 3(POPL): 18:1-18:29 (2019) - [j24]Hiroaki Inoue, Atsushi Igarashi
A type system for first-class layers with inheritance, subtyping, and swapping. Sci. Comput. Program. 179: 54-86 (2019) - [c53]Yuki Nishida
Manifest Contracts with Intersection Types. APLAS 2019: 33-52 - [c52]Akira Kawata, Atsushi Igarashi
A Dependently Typed Multi-stage Calculus. APLAS 2019: 53-72 - [c51]Taro Sekiyama
Handling Polymorphic Algebraic Effects. ESOP 2019: 353-380 - [c50]Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi
Temporal Verification of Programs via First-Order Fixpoint Logic. SAS 2019: 413-436 - [e4]Manuel V. Hermenegildo, Atsushi Igarashi
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019. ACM 2019, ISBN 978-1-4503-6226-9 [contents] - [i12]Hiroaki Inoue, Atsushi Igarashi:
A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping. CoRR abs/1905.01453 (2019) - [i11]Akira Kawata, Atsushi Igarashi:
A Dependently Typed Multi-Stage Calculus. CoRR abs/1908.02035 (2019) - [i10]Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi:
Space-Efficient Gradual Typing in Coercion-Passing Style. CoRR abs/1908.02414 (2019) - [i9]Yuki Nishida, Atsushi Igarashi:
Manifest Contracts with Intersection Types. CoRR abs/1908.03010 (2019) - [i8]Taro Sekiyama, Atsushi Igarashi:
Gradual Typing for Extensibility by Rows. CoRR abs/1910.08480 (2019) - 2018
- [j23]Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi:
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact). Dagstuhl Artifacts Ser. 4(3): 04:1-04:2 (2018) - [j22]Kensuke Kojima
Automated Verification of Functional Correctness of Race-Free GPU Programs. J. Autom. Reason. 60(3): 279-298 (2018) - [j21]Tetsuo Kamina
Method safety mechanism for asynchronous layer deactivation. Sci. Comput. Program. 156: 104-120 (2018) - [c49]Hiroaki Inoue, Tomoyuki Aotani
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. ECOOP 2018: 2:1-2:33 - [c48]Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi
A guess-and-assume approach to loop fusion for program verification. PEPM 2018: 2-14 - [c47]Yuki Nishida
Nondeterministic Manifest Contracts. PPDP 2018: 16:1-16:13 - [i7]Taro Sekiyama, Atsushi Igarashi:
Reasoning about Polymorphic Manifest Contracts. CoRR abs/1806.07041 (2018) - [i6]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual Session Types. CoRR abs/1809.05649 (2018) - [i5]Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi:
Dynamic Type Inference for Gradual Hindley-Milner Typing. CoRR abs/1810.12619 (2018) - [i4]Taro Sekiyama, Atsushi Igarashi:
Handling polymorphic algebraic effects. CoRR abs/1811.07332 (2018) - 2017
- [j20]Atsushi Igarashi
Gradual session types. Proc. ACM Program. Lang. 1(ICFP): 38:1-38:28 (2017) - [j19]Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi
On polymorphic gradual typing. Proc. ACM Program. Lang. 1(ICFP): 40:1-40:29 (2017) - [j18]Kensuke Kojima
A Hoare Logic for GPU Kernels. ACM Trans. Comput. Log. 18(1): 3:1-3:43 (2017) - [j17]Taro Sekiyama, Atsushi Igarashi
Polymorphic Manifest Contracts, Revised and Resolved. ACM Trans. Program. Lang. Syst. 39(1): 3:1-3:36 (2017) - [c46]Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi:
A Nonstandard Functional Programming Language. APLAS 2017: 514-533 - [c45]Hiroaki Inoue, Tomoyuki Aotani
A DSL for compensable and interruptible executions. REBLS@SPLASH 2017: 8-14 - [c44]Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi
Verification of code generators via higher-order model checking. PEPM 2017: 59-70 - [c43]Taro Sekiyama, Atsushi Igarashi
Stateful manifest contracts. POPL 2017: 530-544 - 2016
- [j16]Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff:
Visibility of Context-oriented Behavior and State in L. Inf. Media Technol. 11: 11-20 (2016) - [c42]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: 50-54 - [c41]Kensuke Kojima
Automated Verification of Functional Correctness of Race-Free GPU Programs. VSTTE 2016: 90-106 - [e3]Atsushi Igarashi:
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Lecture Notes in Computer Science 10017, 2016, ISBN 978-3-319-47957-6 [contents] - 2015
- [c40]Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi:
Shifting the Blame - A Blame Calculus with Delimited Control. APLAS 2015: 189-207 - [c39]Hiroaki Inoue, Atsushi Igarashi:
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. APLAS 2015: 445-462 - [c38]Tetsuo Kamina, Tomoyuki Aotani
Method Safety Mechanism for Asynchronous Layer Deactivation. COP@ECOOP 2015: 6:1-6:6 - [c37]Taro Sekiyama, Yuki Nishida
Manifest Contracts for Datatypes. POPL 2015: 195-207 - [i3]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) - 2014
- [c36]Tatsuya Sonobe, Kohei Suenaga
Automatic Memory Management Based on Program Transformation Using Ownership. APLAS 2014: 58-77 - [c35]Tetsuo Kamina, Tomoyuki Aotani
On-Demand Layer Activation for Type-Safe Deactivation. COP@ECOOP 2014: 4:1-4:7 - [c34]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: 7:1-7:6 - [c33]Yuichiro Hanada, Atsushi Igarashi
On Cross-Stage Persistence in Multi-Stage Programming. FLOPS 2014: 103-118 - [e2]Gul A. Agha
Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 8665, Springer 2014, ISBN 978-3-662-44470-2 [contents] - [i2]Atsushi Igarashi, Peter Thiemann, Philip Wadler:
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). NII Shonan Meet. Rep. 2014 (2014) - 2013
- [j15]Chieri Saito, Atsushi Igarashi
Matching MyType to subtyping. Sci. Comput. Program. 78(7): 933-952 (2013) - [c32]Kensuke Kojima
A Hoare Logic for SIMT Programs. APLAS 2013: 58-73 - [c31]Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi
L: context-oriented programming with only layers. COP@ECOOP 2013: 4:1-4:5 - [c30]Naoki Kobayashi
Model-Checking Higher-Order Programs with Recursive Types. ESOP 2013: 431-450 - 2012
- [c29]Kohei Suenaga
Type-based safe resource deallocation for shared-memory concurrency. OOPSLA 2012: 1-20 - [e1]Ranjit Jhala, Atsushi Igarashi
Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings. Lecture Notes in Computer Science 7705, Springer 2012, ISBN 978-3-642-35181-5 [contents] - 2011
- [j14]Kensuke Kojima
Constructive linear-time temporal logic: Proof systems and Kripke semantics. Inf. Comput. 209(12): 1491-1503 (2011) - [c28]Atsushi Igarashi:
A Featherweight Approach to FOOL. ECOOP 2011: 433 - [c27]João Filipe Belo, Michael Greenberg, Atsushi Igarashi
Polymorphic Contracts. ESOP 2011: 18-37 - [c26]Robert Hirschfeld, Atsushi Igarashi
ContextFJ: a minimal core calculus for context-oriented programming. FOAL 2011: 19-23 - [c25]Lintaro Ina, Atsushi Igarashi
Gradual typing for generics. OOPSLA 2011: 609-624 - 2010
- [j13]Takeshi Tsukada, Atsushi Igarashi
A Logical Foundation for Environment Classifiers. Log. Methods Comput. Sci. 6(4) (2010) - [c24]Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama:
Type relaxed weaving. AOSD 2010: 121-132 - [c23]Shigeru Chiba, Atsushi Igarashi
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch. OOPSLA 2010: 539-554
2000 – 2009
- 2009
- [c22]Lintaro Ina, Atsushi Igarashi:
Towards gradual typing for generics. STOP@ECOOP 2009: 17-29 - [c21]Chieri Saito, Atsushi Igarashi:
Self type constructors. OOPSLA 2009: 263-282 - [c20]Chieri Saito, Atsushi Igarashi:
Matching ThisType to subtyping. SAC 2009: 1851-1858 - [c19]Takeshi Tsukada, Atsushi Igarashi:
A Logical Foundation for Environment Classifiers. TLCA 2009: 341-355 - 2008
- [j12]Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
Calculi of meta-variables. Frontiers Comput. Sci. China 2(1): 12-21 (2008) - [j11]Chieri Saito, Atsushi Igarashi
Lightweight family polymorphism. J. Funct. Program. 18(3): 285-331 (2008) - [j10]Chieri Saito, Atsushi Igarashi
The Essence of Lightweight Family Polymorphism. J. Object Technol. 7(5): 67-99 (2008) - [j9]Naokata Shikuma, Atsushi Igarashi
Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. Log. Methods Comput. Sci. 4(3) (2008) - [c18]Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman
Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76 - [i1]Naokata Shikuma, Atsushi Igarashi:
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus. CoRR abs/0808.3307 (2008) - 2007
- [j8]Atsushi Igarashi
Union Types for Object-Oriented Programming. J. Object Technol. 6(2): 47-68 (2007) - [c17]Atsushi Igarashi
Deriving Compilers and Virtual Machines for a Multi-level Language. APLAS 2007: 206-221 - [c16]Atsushi Igarashi
Variant path types for scalable extensibility. OOPSLA 2007: 113-132 - 2006
- [j7]Atsushi Igarashi
Variant parametric types: A flexible subtyping scheme for generics. ACM Trans. Program. Lang. Syst. 28(5): 795-847 (2006) - [c15]Naokata Shikuma, Atsushi Igarashi
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. ASIAN 2006: 301-315 - [c14]Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58 - [c13]Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
Resource usage analysis for a functional language with exceptions. PEPM 2006: 38-47 - [c12]Yosihiro Yuse, Atsushi Igarashi
A modal type system for multi-level generating extensions with persistent code. PPDP 2006: 201-212 - [c11]Atsushi Igarashi
Union types for object-oriented programming. SAC 2006: 1435-1441 - 2005
- [j6]Atsushi Igarashi
Resource usage analysis. ACM Trans. Program. Lang. Syst. 27(2): 264-313 (2005) - [c10]Atsushi Igarashi
Lightweight Family Polymorphism. APLAS 2005: 161-177 - 2004
- [j5]Atsushi Igarashi
A generic type system for the Pi-calculus. Theor. Comput. Sci. 311(1-3): 121-163 (2004) - 2003
- [c9]Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
Calculi of Meta-variables. CSL 2003: 484-497 - 2002
- [j4]Atsushi Igarashi
Foundations for Virtual Types. Inf. Comput. 175(1): 34-49 (2002) - [j3]Atsushi Igarashi
On Inner Classes. Inf. Comput. 177(1): 56-89 (2002) - [c8]Atsushi Igarashi
On Variance-Based Subtyping for Parametric Types. ECOOP 2002: 441-469 - [c7]Atsushi Igarashi
Resource usage analysis. POPL 2002: 331-342 - 2001
- [j2]Atsushi Igarashi
Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3): 396-450 (2001) - [c6]Atsushi Igarashi, Naoki Kobayashi:
Resource Usage Analysis. APLAS 2001: 147-158 - [c5]Atsushi Igarashi
A generic type system for the Pi-calculus. POPL 2001: 128-141 - 2000
- [j1]Atsushi Igarashi
Type Reconstruction for Linear -Calculus with I/O Subtyping. Inf. Comput. 161(1): 1-44 (2000) - [c4]Atsushi Igarashi
On Inner Classes. ECOOP 2000: 129-153
1990 – 1999
- 1999
- [c3]Atsushi Igarashi
Foundations for Virtual Types. ECOOP 1999: 161-185 - [c2]Atsushi Igarashi
Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA 1999: 132-146 - 1997
- [c1]Atsushi Igarashi
Type-Based Analysis of Communication for Concurrent Programming Languages. SAS 1997: 187-201
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: