All Stories

  1. Abstracting Effect Systems for Algebraic Effect Handlers

    Article • Proceedings of the ACM on Programming Languages, August 2024, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  2. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

    Article • Proceedings of the ACM on Programming Languages, June 2024, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  3. (I Can’t Get No) Verification (Keynote)

    Article • November 2022, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  4. Signature restriction for polymorphic algebraic effects

    Article • Proceedings of the ACM on Programming Languages, August 2020, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  5. Dynamic type inference for gradual Hindley–Milner typing

    Article • Proceedings of the ACM on Programming Languages, January 2019, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  6. Nondeterministic Manifest Contracts

    Article • September 2018, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  7. Gradual session types

    Article • Proceedings of the ACM on Programming Languages, August 2017, ACM (Association for Computing Machinery)

    Professor Philip Wadler, Vasco T. Vasconcelos, Atsushi Igarashi

  8. On polymorphic gradual typing

    Article • Proceedings of the ACM on Programming Languages, August 2017, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  9. Stateful manifest contracts

    Article • ACM SIGPLAN Notices, May 2017, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  10. Polymorphic Manifest Contracts, Revised and Resolved

    Article • ACM Transactions on Programming Languages and Systems, February 2017, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  11. A Hoare Logic for GPU Kernels

    Article • ACM Transactions on Computational Logic, January 2017, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  12. Verification of code generators via higher-order model checking

    Article • January 2017, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  13. Stateful manifest contracts

    Article • January 2017, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  14. Method Safety Mechanism for Asynchronous Layer Deactivation

    Article • July 2015, ACM (Association for Computing Machinery)

    Hidehiko Masuhara, Atsushi Igarashi

  15. Manifest Contracts for Datatypes

    Article • ACM SIGPLAN Notices, January 2015, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  16. Manifest Contracts for Datatypes

    Article • January 2015, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  17. On-Demand Layer Activation for Type-Safe Deactivation

    Article • January 2014, ACM (Association for Computing Machinery)

    Atsushi Igarashi

  18. L

    Article • July 2013, ACM (Association for Computing Machinery)

    Atsushi Igarashi