千田 忠賢
チダ ナリヨシ (Nariyoshi Chida)
更新日: 2024/10/20
基本情報
- 所属
- 日本電信電話株式会社 社会情報研究所
- 学位
-
博士（工学）(2023年3月 早稲田大学)
- ORCID iD
https://orcid.org/0000-0002-9542-9234- J-GLOBAL ID
- 202401017046562882
- researchmap会員ID
- R000065877
- 外部リンク
委員歴
1-
2023年 - 2024年
受賞
2論文
10-
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering 294-305 2024年10月27日
-
IEICE Transactions on Information & Systems 106(5) 959-975 2023年5月 査読有り筆頭著者
-
Proceedings of the ACM on Programming Languages 7(PLDI) 1633-1656 2023年 査読有り筆頭著者
-
43rd IEEE Symposium on Security and Privacy(SP) 2060-2077 2022年 査読有り筆頭著者
-
7th International Conference on Formal Structures for Computation and Deduction(FSCD) 15-18 2022年 査読有り筆頭著者
-
情報処理学会論文誌 61(2) 500-509 2020年2月 査読有り招待有り筆頭著者
-
CoRR abs/2010.12450 2020年 筆頭著者
-
CC '20: 29th International Conference on Compiler Construction(CC) 155-166 2020年 査読有り筆頭著者
-
Language and Automata Theory and Applications - 11th International Conference(LATA) abs/1707.01814 275-286 2017年 査読有り筆頭著者
-
Journal of Information Processing 25 975-982 2017年 査読有り筆頭著者
講演・口頭発表等
10-
第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024) 2024年3月
-
PPLサマースクール2023 2023年9月 招待有り
-
第22回情報科学技術フォーラム(FIT2023) (トップカンファレンス特別講演) 2023年9月 招待有り
-
第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023) 2023年3月
-
2022年 暗号と情報セキュリティワークショップ(WCIS2022) (招待講演) 2022年9月 招待有り
-
第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022) 2022年3月
-
日本ソフトウェア科学会第37回大会(JSSST2020) (トップカンファレンス特別講演) 2020年9月 招待有り
-
コンピュータセキュリティシンポジウム2018(CSS2018) 2018年10月
-
情報処理学会 第113回 プログラミング研究会 2017年3月