| 2026 | COMPSAC | The Zero Trust IoT (ZT-IoT) Project. | Atsuko Takefusa, Atsushi Igarashi, Taro Sekiyama, Kuniyasu Suzaki, Toshihiro Matsui, Jie Yin, Atsuya Osaki, Naoki Yamashita, Nobuo Aoki, Sewon Park, Terunobu Inaba, Llio Brun, Yutaka Ishikawa, Kento Aida, Yasushi Ono, Kensuke Fukuda, Eisaku Sakane, Ichiro Hasuo |
| 2026 | ECOOP | Ownership Refinement Types for Pointer Arithmetic and Nested Arrays. | Yusuke Fujiwara, Yusuke Matsushita, Kohei Suenaga, Atsushi Igarashi |
| 2026 | ECOOP | Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types. | Takashi Suwa, Atsushi Igarashi |
| 2026 | ESOP | Contextual Metaprogramming for Session Types. | Pedro ngelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos |
| 2025 | FMCAD | Making Rabbit Run for Security Verification of Networked Systems with Unbounded Loops. | Sewon Park, Atsushi Igarashi |
| 2024 | APLAS | Type-Based Verification of Connectivity Constraints in Lattice Surgery. | Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi |
| 2024 | FLOPS | An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. | Takashi Suwa, Atsushi Igarashi |
| 2024 | ISNCC | Rabbit: A Language to Model and Verify Data Flow in Networked Systems. | Terunobu Inaba, Yutaka Ishikawa, Atsushi Igarashi, Taro Sekiyama |
| 2023 | ESOP | Contextual Modal Type Theory with Polymorphic Contexts. | Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi |
| 2021 | TACAS | 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 |
| 2020 | ECOOP | Space-Efficient Gradual Typing in Coercion-Passing Style. | Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi |
| 2020 | ESOP | ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. | John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi |
| 2019 | APLAS | A Dependently Typed Multi-stage Calculus. | Akira Kawata, Atsushi Igarashi |
| 2019 | APLAS | Manifest Contracts with Intersection Types. | Yuki Nishida, Atsushi Igarashi |
| 2019 | ESOP | Handling Polymorphic Algebraic Effects. | Taro Sekiyama, Atsushi Igarashi |
| 2019 | SAS | Temporal Verification of Programs via First-Order Fixpoint Logic. | Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno |
| 2018 | ECOOP | ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. | Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi |
| 2018 | PEPM | A guess-and-assume approach to loop fusion for program verification. | Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi |
| 2018 | PPDP | Nondeterministic Manifest Contracts. | Yuki Nishida, Atsushi Igarashi |
| 2017 | APLAS | A Nonstandard Functional Programming Language. | Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi |
| 2017 | OOPSLA | A DSL for compensable and interruptible executions. | Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi |
| 2017 | PEPM | Verification of code generators via higher-order model checking. | Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi |
| 2017 | POPL | Stateful manifest contracts. | Taro Sekiyama, Atsushi Igarashi |
| 2015 | APLAS | A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. | Hiroaki Inoue, Atsushi Igarashi |
| 2015 | APLAS | Shifting the Blame - A Blame Calculus with Delimited Control. | Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi |
| 2015 | ECOOP | Method Safety Mechanism for Asynchronous Layer Deactivation. | Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi |
| 2015 | POPL | Manifest Contracts for Datatypes. | Taro Sekiyama, Yuki Nishida, Atsushi Igarashi |
| 2014 | APLAS | Automatic Memory Management Based on Program Transformation Using Ownership. | Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi |
| 2014 | ECOOP | Towards Type-Safe JCop: A type system for layer inheritance and first-class layers. | Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeld |
| 2014 | ECOOP | On-Demand Layer Activation for Type-Safe Deactivation. | Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi |
| 2014 | FLOPS | On Cross-Stage Persistence in Multi-Stage Programming. | Yuichiro Hanada, Atsushi Igarashi |
| 2013 | APLAS | A Hoare Logic for SIMT Programs. | Kensuke Kojima, Atsushi Igarashi |
| 2013 | ECOOP | L: context-oriented programming with only layers. | Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi |
| 2013 | ESOP | Model-Checking Higher-Order Programs with Recursive Types. | Naoki Kobayashi, Atsushi Igarashi |
| 2012 | OOPSLA | Type-based safe resource deallocation for shared-memory concurrency. | Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi |
| 2011 | ECOOP | A Featherweight Approach to FOOL. | Atsushi Igarashi |
| 2011 | ESOP | Polymorphic Contracts. | Joo Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce |
| 2011 | OOPSLA | Gradual typing for generics. | Lintaro Ina, Atsushi Igarashi |
| 2010 | OOPSLA | Mostly modular compilation of crosscutting concerns by contextual predicate dispatch. | Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov |
| 2009 | ECOOP | Towards gradual typing for generics. | Lintaro Ina, Atsushi Igarashi |
| 2009 | OOPSLA | Self type constructors. | Chieri Saito, Atsushi Igarashi |
| 2009 | SAC | Matching | Chieri Saito, Atsushi Igarashi |
| 2007 | APLAS | Deriving Compilers and Virtual Machines for a Multi-level Language. | Atsushi Igarashi, Masashi Iwaki |
| 2007 | OOPSLA | Variant path types for scalable extensibility. | Atsushi Igarashi, Mirko Viroli |
| 2006 | PEPM | Resource usage analysis for a functional language with exceptions. | Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi |
| 2006 | PPDP | A modal type system for multi-level generating extensions with persistent code. | Yosihiro Yuse, Atsushi Igarashi |
| 2006 | SAC | Union types for object-oriented programming. | Atsushi Igarashi, Hideshi Nagira |
| 2005 | APLAS | Lightweight Family Polymorphism. | Atsushi Igarashi, Chieri Saito, Mirko Viroli |
| 2003 | CSL | Calculi of Meta-variables. | Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
| 2002 | ECOOP | On Variance-Based Subtyping for Parametric Types. | Atsushi Igarashi, Mirko Viroli |
| 2002 | POPL | Resource usage analysis. | Atsushi Igarashi, Naoki Kobayashi |
| 2001 | APLAS | Resource Usage Analysis. | Atsushi Igarashi, Naoki Kobayashi |
| 2001 | POPL | A generic type system for the Pi-calculus. | Atsushi Igarashi, Naoki Kobayashi |
| 2000 | ECOOP | On Inner Classes. | Atsushi Igarashi, Benjamin C. Pierce |
| 1999 | ECOOP | Foundations for Virtual Types. | Atsushi Igarashi, Benjamin C. Pierce |
| 1999 | OOPSLA | Featherwieght Java: A Minimal Core Calculus for Java and GJ. | Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler |
| 1997 | SAS | Type-Based Analysis of Communication for Concurrent Programming Languages. | Atsushi Igarashi, Naoki Kobayashi |