Rchr
J-GLOBAL ID：200901018941019247   Update date: Nov. 03, 2024

Igarashi Atsushi

イガラシ アツシ | Igarashi Atsushi
Affiliation and department：
-

About -


Homepage URL  (1)： http://kaken.nii.ac.jp/ja/r/40323456
Research field  (2)： Information theory ,  Software
Research keywords  (7)： プログラミング言語の基礎理論 ,  漸進的型付け ,  型理論 ,  マルチステージプログラミング ,  オブジェクト指向 ,  ソフトウェア ,  型システム
Research theme for competitive and other funds  (27)：
  • 2021 - 2027 形式検証とシステムソフトウェアの協働によるゼロトラストIoT
  • 2020 - 2025 Program Verification Techniques for the AI Era
  • 2020 - 2025 Program Verification Based on Higher-Order Fixpoint Logic
  • 2020 - 2025 Research on software contracts for highly interoperable software modules
  • 2019 - 2024 IoT システムのための形式検証手法の深化
Show all
Papers (143)：
  • Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proceedings of the ACM on Programming Languages. 2024. 8. PLDI. 1585-1608
  • TARO SEKIYAMA, TAKESHI TSUKADA, ATSUSHI IGARASHI. Signature restriction for polymorphic algebraic effects. Journal of Functional Programming. 2024. 34
  • Takashi Suwa, Atsushi Igarashi. An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. Proceedings of Intl. Symposium on Functional and Logic Programming. 2024. 14659. 237-272
  • Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos. Linear Contextual Metaprogramming and Session Types. Electronic Proceedings in Theoretical Computer Science. 2024. 401. 1-10
  • 小林亮太, 中村烈士, 五十嵐淳, 末永幸平, 小林直樹. 命令型プログラムの安全性検証のための所有権主導変換. 第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024)論文集. 2024
ｍore...
MISC (10)：
  • 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. Journal of Object Technology. 2022. 21. 2
  • 五十嵐淳. 日本ソフトウェア科学会第31回大会報告. コンピュータソフトウェア. 2015
  • 五十嵐 淳, 中澤 巧爾, 馬谷 誠二, 関山 太朗, 花田 裕一朗, 大元 武, 宮本 洋平, 末永 幸平. 京都大学 Teen Racketeer 養成コース. 第17回プログラミングおよびプログラミング言語ワークショップ. 2015
  • 五十嵐淳, Jacques Garrigue, 古瀬 淳. 今熱い! 快進撃のOCaml. ソフトウェアデザイン. 2014
  • Taro Sekiyama, Atsushi Igarashi. Logical relations for a manifest calculus, fixed. The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects. 2012
ｍore...
Patents (1)：
  • プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、プログラム変換器、プログラム変換方法、プログラム変換のためのコンピュータプログラム、プログラム製造方法、及び検証用プログラム
Books (10)：
  • Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
    ACM Press 2023 ISBN:9798400702440
  • COP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP)
    ACM Press 2022 ISBN:9781450399869
  • Functional and Logic Programming: Proceedings of the 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 2022
    Springer 2022 ISBN:9783030994617
  • Encyclopedia of theoretical computer science
    2022 ISBN:9784254122633
  • Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    The ACM Press 2019
ｍore...
Lectures and oral presentations  (9)：
  • (I Can't Get No) Verification
    (The 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity 2022)
  • Dependently-Typed Multi-Stage Programming Revisited
    (ACM SIGPLAN 2020 Workshop on Partial Evaluation and Program Manipulation (PEPM) 2020)
  • 漸進的型付き多相ラムダ計算
    (第19回プログラミングおよびプログラミング言語ワークショップ 2017)
  • 限定継続演算子 shift/reset のための漸進的型付け
    (第18回プログラミングおよびプログラミング言語ワークショップ 2016)
  • Type Systems for Dynamic Layer Composition
    (International Workshop on Foundations of Aspect-Oriented Languages 2013)
ｍore...
Professional career (1)：
  • 博士(理学) (東京大学)
Work history (5)：
  • 2012/10 - 現在 Kyoto University Graduate School of Informatics
  • 2007/04 - 2012/09 Kyoto University Graduate School of Informatics
  • 2006/04 - 2007/04 Kyoto University Graduate School of Informatics
  • 2002/04 - 2006/04 Kyoto University Graduate School of Informatics
  • 2000/04 - 2002/04 The University of Tokyo Graduate School of Arts and Sciences
Awards (8)：
  • 2021/04 - 文部科学省 科学技術分野の文部科学大臣表彰 科学技術賞 研究部門 先進的で安全なプログラミ ング言語機構の研究
  • 2020/09 - 日本ソフトウェア科学会 基礎研究賞 オブジェクト指向言語の基礎理論および先進的なプログラミング機構の研究
  • 2018/07 - European Conference on Object-Oriented Programming ECOOP 2018 Distinguished Artifact Award ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
  • 2014/09 - Japan Society of Software Science and Technology Takahashi Award
  • 2011/07 - Association Internationale pour les Technologies Objets Dahl-Nygaard Junior Prize
Show all
Association Membership(s) (3)：
日本ソフトウェア科学会 ,  IEEE Computer Society ,  ACM
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM