岩間 太

査読付論文(英語)

Resource Usage Analysis for a Functional Language with Exceptions. (Conference version; pdf ), (Full version; pdf )
• Futoshi Iwama, Atsushi Igarashi and Naoki Kobayashi
• In Proceedings of PEPM'06, ISBN:1-59593-196-1, pages.38-47, ACM Press, 2006.

A New Type System for JVM Lock Primitives. (Conference version; pdf ), (Full version; pdf )
• Futoshi Iwama and Naoki Kobayashi
• In Proceedings of ASIA-PEPM'02, ISBN:1-58113-458-4, pages.156-168, ACM Press, 2002.

査読付論文(日本語）

例外機構を備えた言語のための資源使用法解析. (論文 pdf )
• 岩間 太，五十嵐 敦，小林直樹
• 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)

JVMにおけるロック整合性検証のための新しい型システム
• 岩間 太，小林直樹
• 日本ソフトウェア科学会第18 回全国大会, 2001 (論文 pdf )
• コンピュータソフトウェア,19(2),58-64, 岩波書店, 2002

ソフトウェア

プロトタイプ(関数型言語)計算資源使用法解析器.
• デモンストレーション at ショートセッション＆ポスター・デモセッション PPL2006
• GUI version is available from here

ロック使用解析を行うJavaバイトコード検証器
• デモンストレーション at 2003年公開シンポジウム「社会基盤を守るソフトウェアセキュリティ技術」
  文部科学省 特定領域研究「社会基盤としてのセキュア・コンピューティングの実現方式の研究」.