


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
, Atsushi Igarashi
:
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
, Shota Ozaki
, Taro Sekiyama
, Yudai Tanabe
:
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proc. ACM Program. Lang. 8(PLDI): 1585-1608 (2024) - [j30]Michael Hanus
, Atsushi Igarashi:
Functional and logic programming: Selected papers of FLOPS 2022. Sci. Comput. Program. 238: 103129 (2024) - [c63]Ryo Wakizaka
, Yasunari Suzuki, Atsushi Igarashi
:
Type-Based Verification of Connectivity Constraints in Lattice Surgery. APLAS 2024: 216-237 - [c62]Takashi Suwa
, Atsushi Igarashi
:
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. FLOPS 2024: 237-272 - [c61]Yuki Nishida, Kohei Suenaga, Atsushi Igarashi:
iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns. ICBC 2024: 576-584 - [c60]Terunobu Inaba, Yutaka Ishikawa, Atsushi Igarashi, Taro Sekiyama:
Rabbit: A Language to Model and Verify Data Flow in Networked Systems. ISNCC 2024: 1-8 - [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
, Yuichi Nishiwaki
, Atsushi Igarashi
:
Contextual Modal Type Theory with Polymorphic Contexts. ESOP 2023: 281-308 - [e8]Yudai Tanabe, Lars Schütze, Robert Hirschfeld, Atsushi Igarashi
, Hidehiko Masuhara:
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
, 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) - [j28]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): 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
, Atsushi Igarashi
:
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
, 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: 262-280 - [e5]Yu David Liu, Harumi Watanabe, Robert Hirschfeld, Atsushi Igarashi
, Hidehiko Masuhara:
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
, Takeshi Tsukada
, Atsushi Igarashi
:
Signature restriction for polymorphic algebraic effects. Proc. ACM Program. Lang. 4(ICFP): 117:1-117:30 (2020) - [c55]Yuya Tsuda
, Atsushi Igarashi
, Tomoya Tabuchi:
Space-Efficient Gradual Typing in Coercion-Passing Style. ECOOP 2020: 8:1-8:29 - [c54]John Toman
, Ren Siqi, Kohei Suenaga
, Atsushi Igarashi
, Naoki Kobayashi
:
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
, Peter Thiemann
, Yuya Tsuda
, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. J. Funct. Program. 29: e17 (2019) - [j25]Yusuke Miyazaki
, Taro Sekiyama, Atsushi Igarashi
:
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
, Atsushi Igarashi
:
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
, Atsushi Igarashi
:
Handling Polymorphic Algebraic Effects. ESOP 2019: 353-380 - [c50]Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi
, Hiroshi Unno:
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
, Akifumi Imanishi, Atsushi Igarashi
:
Automated Verification of Functional Correctness of Race-Free GPU Programs. J. Autom. Reason. 60(3): 279-298 (2018) - [j21]Tetsuo Kamina
, Tomoyuki Aotani
, Hidehiko Masuhara, Atsushi Igarashi
:
Method safety mechanism for asynchronous layer deactivation. Sci. Comput. Program. 156: 104-120 (2018) - [c49]Hiroaki Inoue, Tomoyuki Aotani
, Atsushi Igarashi
:
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
, Atsushi Igarashi
:
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
, Peter Thiemann
, Vasco T. Vasconcelos, Philip Wadler:
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
, Atsushi Igarashi
:
A Hoare Logic for GPU Kernels. ACM Trans. Comput. Log. 18(1): 3:1-3:43 (2017) - [j17]Taro Sekiyama, Atsushi Igarashi
, Michael Greenberg
:
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
, Atsushi Igarashi
:
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
, Akifumi Imanishi, Atsushi Igarashi
:
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
, Hidehiko Masuhara, Atsushi Igarashi:
Method Safety Mechanism for Asynchronous Layer Deactivation. COP@ECOOP 2015: 6:1-6:6 - [c37]Taro Sekiyama, Yuki Nishida
, Atsushi Igarashi:
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
, Atsushi Igarashi
:
Automatic Memory Management Based on Program Transformation Using Ownership. APLAS 2014: 58-77 - [c35]Tetsuo Kamina, Tomoyuki Aotani
, Atsushi Igarashi
:
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
, Atsushi Igarashi
, Naoki Kobayashi
, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura:
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
, Atsushi Igarashi:
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
, Atsushi Igarashi:
Model-Checking Higher-Order Programs with Recursive Types. ESOP 2013: 431-450 - 2012
- [c29]Kohei Suenaga
, Ryota Fukuda, Atsushi Igarashi:
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
, Atsushi Igarashi
:
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
, Benjamin C. Pierce:
Polymorphic Contracts. ESOP 2011: 18-37 - [c26]Robert Hirschfeld, Atsushi Igarashi
, Hidehiko Masuhara:
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
, Salikh Zakirov:
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
, Mirko Viroli
:
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
, Atsushi Igarashi
, Gary T. Leavens, Peter Müller, Tobias Wrigstad:
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
, Hideshi Nagira:
Union Types for Object-Oriented Programming. J. Object Technol. 6(2): 47-68 (2007) - [c17]Atsushi Igarashi
, Masashi Iwaki:
Deriving Compilers and Virtual Machines for a Multi-level Language. APLAS 2007: 206-221 - [c16]Atsushi Igarashi
, Mirko Viroli
:
Variant path types for scalable extensibility. OOPSLA 2007: 113-132 - 2006
- [j7]Atsushi Igarashi
, Mirko Viroli
:
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
, Hideshi Nagira:
Union types for object-oriented programming. SAC 2006: 1435-1441 - 2005
- [j6]Atsushi Igarashi
, Naoki Kobayashi
:
Resource usage analysis. ACM Trans. Program. Lang. Syst. 27(2): 264-313 (2005) - [c10]Atsushi Igarashi
, Chieri Saito, Mirko Viroli
:
Lightweight Family Polymorphism. APLAS 2005: 161-177 - 2004
- [j5]Atsushi Igarashi
, Naoki Kobayashi
:
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
, Benjamin C. Pierce:
Foundations for Virtual Types. Inf. Comput. 175(1): 34-49 (2002) - [j3]Atsushi Igarashi
, Benjamin C. Pierce:
On Inner Classes. Inf. Comput. 177(1): 56-89 (2002) - [c8]Atsushi Igarashi
, Mirko Viroli:
On Variance-Based Subtyping for Parametric Types. ECOOP 2002: 441-469 - [c7]Atsushi Igarashi
, Naoki Kobayashi
:
Resource usage analysis. POPL 2002: 331-342 - 2001
- [j2]Atsushi Igarashi
, Benjamin C. Pierce, Philip Wadler:
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
, Naoki Kobayashi
:
A generic type system for the Pi-calculus. POPL 2001: 128-141 - 2000
- [j1]Atsushi Igarashi
, Naoki Kobayashi
:
Type Reconstruction for Linear -Calculus with I/O Subtyping. Inf. Comput. 161(1): 1-44 (2000) - [c4]