Chiba Institute of Technology · Software Technology Research Center

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 動的エミュレーションと静的解析を併用したバイナリコードの解析手法
• MobileML: A programming language for mobile computation
• ユビキタスコンピューティング環境構築のためのオープンプラットフォームUBKit
• リビングから始めるユビキタス：情報家電インタフェース

• 性能解析および性能チューニングのための解析支援ツールを用いたアプリケーションソフトウェアのプログラムソースコード解析・チューニング
• ソースコードによらない制御フロー整合基盤技術の開発
• テイント解析モジュールの開発
• 検索をベースとした大規模ソフトウェアの変更解析に関する研究

• Official profile