| No. |
発表題名 |
発表会議名(発表誌等の媒体名) |
発表年月日 |
| 1 |
プログラム解析基盤のサービス化
|
ウィンターワークショップ 2012・イン・琵琶湖(pp.73-74)
|
2012/01
|
| 2 |
Secure Call and Return Instructions for Mimicry Attack Detection
|
IWIA 2012
|
2012/01
|
| 3 |
A Parallel CellML Simulation Program Generator with a Nonlinear Simultaneous Equation Solver
|
IWIA 2012
|
2012/01
|
| 4 |
プログラム解析技術のサービス化の試み
|
ソフトウェア工学の基礎XVIII(pp.243-248)
|
2011/11
|
| 5 |
形式的に記述されたODE解法スキームに基づくCellMLシミュレーションコード生成システム
|
生体医工学シンポジウム 2011
|
2011/09
|
| 6 |
CUDAプログラミングのためのプロファイリングと最適化支援
|
第10回情報科学技術フォーラム(B-038)
|
2011/09
|
| 7 |
既存のプログラミング言語のための量子探索機構
|
第10回情報科学技術フォーラム(A-011)
|
2011/09
|
| 8 |
A General CellML Simulation Code Generator using ODE Solving Scheme Description
|
33rd Annual International IEEE EMBS Conference
|
2011/08
|
| 9 |
ウィンターワークショップ2011・イン・修善寺開催報告
|
情報処理学会研究報告(Vol.2011-SE-173，No.11，pp.1-9)
|
2011/07
|
| 10 |
プログラミング言語独立なプログラム解析基盤
|
ウィンターワークショップ 2011・イン・修善寺(pp.15-16)
|
2011/01
|
| 11 |
拡張可能なJavaScript向けコーディング検査器
|
日本ソフトウェア科学会第27回大会(6C-1)
|
2010/09
|
| 12 |
型検査に基づく情報流解析における型エラースライシング
|
ソフトウェア工学の基礎XVI(pp.49-60)
|
2009
|
| 13 |
意味解析器の自動生成系にむけて
|
ソフトウェア工学の基礎XVI(pp.329-330)
|
2009
|
| 14 |
消費電力の実行時予測を用いた電力最適化
|
第71回情報処理学会全国大会
|
2009
|
| 15 |
コード視覚化手法を用いたMPIプログラム開発環境のユーザインタフェース
|
第71回情報処理学会全国大会
|
2009
|
| 16 |
条件分岐のSIMD化手法のCellへの適用
|
第71回情報処理学会全国大会
|
2009
|
| 17 |
タスク分割によるCell用の自動並列化コンパイラの開発
|
第71回情報処理学会全国大会
|
2009
|
| 18 |
静的解析情報を利用したセキュアシステムの侵入検知精度向上
|
第71回情報処理学会全国大会
|
2009
|
| 19 |
不要な検査を行わない整数オーバーフロー攻撃対策ツールの実装
|
第71回情報処理学会全国大会
|
2009
|
| 20 |
VMクラスタ管理システムSHILCO
|
先進的計算基盤システムシンポジウム SACSIS 2008
|
2008
|
| 21 |
スクリプト言語向けCASEツール開発環境
|
ウィンターワークショップ2008・イン・道後(pp.17-18)
|
2008/01
|
| 22 |
コンパイラとOSの連携による強制アクセス制御向けプロセス監視手法
|
コンピュータセキュリティシンポジウム2007(pp.109-114)
|
2007/10
|
| 23 |
コンパイラとOSの連携による強制アクセス制御向け静的解析
|
コンピュータセキュリティシンポジウム2007(pp.103-108)
|
2007/10
|
| 24 |
StrutsLint: Web アプリケーションコーディングチェッカ
|
日本ソフトウェア科学会 第24回大会
|
2007/09
|
| 25 |
時間付き通信プロセスモデルにおける時間動作の抽象化
|
LA Symposium 2006 Winter(京大数解研講究録,No.1554，pp.1-8)
|
2007/01
|
| 26 |
例外処理付きオブジェクト指向言語における情報流の安全性解析
|
電子情報通信学会技術研究報告(Vol.106，No.324，pp.13-18)
|
2006
|
| 27 |
Javaプログラム理解支援のための不変性解析
|
情報処理学会研究報告(Vol.2006，No.48，pp.33-40)
|
2006
|
| 28 |
Congruence Properties for a Timed Extension of the pi-Calculus
|
DSN2005 Workshop1: Dependable Software –Tools and Methods-(pp.207-214)
|
2005
|
| 29 |
Webアプリケーションにおけるデータ依存グラフ
|
ソフトウェア工学の基礎XII(pp.237-246)
|
2005
|
| 30 |
π計算に対する時間拡張と代数的意味論
|
ソフトウェア工学の基礎XI(pp.97-108)
|
2004
|
| 31 |
時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述
|
情報処理学会オブジェクト指向シンポジウム2003(pp.69-76)
|
2003/08
|