論文など

英語のもの

論文誌論文 / 口頭発表 / 解説・講演 / ポスター・デモ・work-in-progress発表

VMMによるアプリケーションを意識したカーネル内の振舞い制御

尾上 浩一, 大山 恵弘, 米澤 明憲
情報処理学会論文誌 コンピューティングシステム, Vol. 3, No. 2, pages 163-176, June 2010.
abstract and PDF in IPSJ Bookpark
paper (PDF) (local access only)

アプリケーションデータを保護するためのVMMに基づくアーキテクチャ

尾上 浩一, 大山 恵弘, 米澤 明憲
情報処理学会論文誌 コンピューティングシステム, Vol. 2, No. 3, pages 173-188, September 2009.
abstract and PDF in IPSJ Bookpark
paper (PDF) (local access only)

コールスタック情報を利用したモデル分割に基づく異常検知システム

神山 貴幸, 大山 恵弘
情報処理学会論文誌 コンピューティングシステム, Vol. 2, No. 1, pages 12-22, March 2009.
abstract and PDF in IPSJ Bookpark
paper (PDF) (local access only)

システムコール制御に基づく仮想マシン間サンドボックスシステム

尾上 浩一, 大山 恵弘, 米澤 明憲
情報処理学会論文誌 コンピューティングシステム, Vol. 2, No. 1, pages 33-52, March 2009.
abstract and PDF in IPSJ Bookpark
paper (PDF) (local access only)

プロセスレベルの仮想化を用いた大規模分散システムテストベッド

西川 賀樹, 大山 恵弘, 米澤 明憲
情報処理学会論文誌 コンピューティングシステム, Vol. 1, No. 2, pages 144-156, August 2008.
abstract and PDF in IPSJ Bookpark
paper (PDF) (local access only)

System Service 監視による Windows 向け異常検知システム機構

島本 大輔, 大山 恵弘, 米澤 明憲
情報処理学会論文誌 コンピューティングシステム, Vol. 47, No. SIG 12(ACS 15), pages 420-429, September 2006.
abstract and PDF in IPSJ Bookpark
paper (PDF) (local access only)

単一システムイメージを提供するための仮想マシンモニタ

金田 憲二, 大山 恵弘, 米澤 明憲
情報処理学会論文誌 コンピューティングシステム Vol. 47, No. SIG 3(ACS 13), pp. 27-39, March 2006.
abstract and PDF in IPSJ Bookpark
paper (PDF) (local access only)
Virtual Multiprocessorホームページもご覧下さい。
VINCSホームページもご覧下さい。

静的解析に基づく侵入検知システムの最適化 (情報処理学会 平成16年度 論文賞 受賞論文)

阿部 洋丈, 大山 恵弘, 岡 瑞起, 加藤 和彦
情報処理学会論文誌 コンピューティングシステム 第45巻 SIG 3(ACS 5), pages 11-20, March 2004.
abstract and PDF in IPSJ Bookpark / abstract
paper (PDF) (local access only)

異常検知システムにおける正常動作データのモジュール化

大山恵弘, 王維, 加藤和彦
情報処理学会論文誌 コンピューティングシステム 第44巻 SIG10(ACS2), pages 36-47, July 2003.
abstract and PDF in IPSJ Bookpark / abstract
paper (PDF) (local access only)

安全なソフトウェア実行システムSoftwarePotの設計と実装 (日本ソフトウェア科学会 2003年度 論文賞 受賞論文)

大山恵弘, 神田勝規, 加藤和彦
コンピュータソフトウェア Vol. 19, No. 6, 日本ソフトウェア科学会, pages 2-12, November 2002.
abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF)
SoftwarePot Home Page もご覧下さい

排他的なメソッドの並行な呼び出しを融合する機構を持つ言語 (情報処理学会 平成13年度 論文賞 受賞論文)

大山恵弘, 田浦健次朗, 米澤明憲
情報処理学会論文誌 第42巻 SIG 2 (PRO 9), pages 13-25, February 2001.
論文発表：情報処理学会・ プログラミング研究会, 芝浦, June 2000.
論文誌に掲載されたバージョン (recommended)
abstract in IPSJ (HTML) / abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF)
研究会で配布したバージョン (NOT recommended)
abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF) / slide (PowerPoint)

本著作物の著作権は（社）情報処理学会に帰属します． 本著作物は著作権者である情報処理学会の許可のもとに掲載するものです． ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします．

同期ボトルネックが存在する並列プログラムの効率的実行

大山恵弘, 田浦健次朗, 米澤明憲
情報処理学会論文誌 第41巻5号, pages 1448-1458, May 2000.
Longer version (recommended)
abstract in IPSJ (HTML) / abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF)
Original version (NOT recommended)
paper (gzipped Postscript) / paper (Postscript) / paper (PDF)

本著作物の著作権は（社）情報処理学会に帰属します． 本著作物は著作権者である情報処理学会の許可のもとに掲載するものです． ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします．

明示的なタスク配置指定が可能な遅延タスク生成に基づく動的負荷分散方法

外山純生, 大山恵弘, 田浦健次朗, 米澤明憲
情報処理学会論文誌 第40巻 SIG1(PRO2), pages 1-12, February 1999.
abstract in IPSJ (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF)

状況をつぶやくセキュリティシステム

糸魚川 竜士, 大山 恵弘
情報処理学会第57回コンピュータセキュリティ研究発表会, 6 pages, 秋田, 2012年5月.
abstract and paper in IPSJ website

Content-Defined Chunkingを用いた重複除外キャッシュ機構によるGfarmの性能向上

村上 じゅん, 石黒 駿, 大山 恵弘
情報処理学会第121回システムソフトウェアとオペレーティング・システム研究会, 7 pages, 沖縄, 2012年5月.
abstract and paper in IPSJ website

外部入力の変更によるプロセスヒーリングシステム

富山 高彰, 大山 恵弘
ディペンダブルシステムワークショップ＆シンポジウム（DSW & DSS 2011）, 7 pages, 京都, 2011年12月.
PDF

HyperCensor: 仮想マシンモニタを用いたOSバイナリコードの秘匿化

佐久間 充, 大山 恵弘
ディペンダブルシステムワークショップ＆シンポジウム（DSW & DSS 2011）, 8 pages, 京都, 2011年12月.
PDF

広域分散ファイルシステムGfarmにおけるローカルストレージのファイルアクセスの高速化

石黒 駿, 村上 じゅん, 大山 恵弘
情報処理学会第19回ハイパフォーマンスコンピューティングとアーキテクチャの評価に関する北海道ワークショップ（HOKKE-19）, 8 pages, 2011年11月.
abstract and paper in IPSJ website

外部入力の変更によるプロセスヒーリングシステム

富山 高彰, 大山 恵弘
日本ソフトウェア科学会第28回大会, 萌芽セッション, 5 pages, 沖縄, 2011年9月.

重複除外によるGfarmの性能向上に関する検討

村上 じゅん, 石黒 駿, 大山 恵弘
情報処理学会2011年並列／分散／協調処理に関する『鹿児島』サマー・ワークショップ（SWoPP鹿児島2011）, 6 pages, 鹿児島, 2011年7月.
abstract and paper in IPSJ website

Gfarmのためのカーネルドライバへのキャッシュ機構導入の検討

石黒 駿, 村上 じゅん, 大山 恵弘
情報処理学会2011年並列／分散／協調処理に関する『鹿児島』サマー・ワークショップ（SWoPP鹿児島2011）, 8 pages, 鹿児島, 2011年7月.
abstract and paper in IPSJ website

ADvisor: ゲストOSの操作に連動した広告を表示するハイパバイザ

小川 夏樹, 大山 恵弘
情報処理学会2011年並列／分散／協調処理に関する『鹿児島』サマー・ワークショップ（SWoPP鹿児島2011）, 7 pages, 鹿児島, 2011年7月.
abstract and paper in IPSJ website

無害なバグを大量に含ませるプログラム変換器

大山 恵弘, 甲斐 朋希
情報処理学会第54回コンピュータセキュリティ・第1回情報セキュリティ心理学とトラスト合同研究発表会, 7 pages, 静岡大学 浜松キャンパス, 2011年7月.
abstract and paper in IPSJ website

アプリケーションの実行を指定した時間に制限するためのLinuxの拡張

石黒 駿, 大山 恵弘
情報処理学会第146回マルチメディア通信と分散処理・第52回コンピュータセキュリティ合同研究発表会, 6 pages, 関西大学, 2011年3月.
abstract and paper in IPSJ website

準パススルー型仮想マシンモニタへのマルウェア検出機能の拡張

Tran Truong Duc Giang, 大山 恵弘, 忠鉢 洋輔, 品川 高廣, 加藤 和彦
第22回 コンピュータシステム・シンポジウム (ComSys 2010), pages 13-20, 大阪大学 中之島センター, 2010年11月.

仮想マシンモニタを用いたマルウェア実行抑止機構

岡村 圭祐, 大山 恵弘
コンピュータセキュリティシンポジウム 2010 (CSS 2010), pages 201-206, 岡山コンベンションセンター, 2010年10月.

ハイパバイザによる広告表示

大山 恵弘
第9回情報科学技術フォーラム, pages 341-342, 九州大学, 2010年9月.
PDF

仮想マシンモニタを用いたOSコードの秘匿化

佐久間 充, 大山 恵弘
情報処理学会 第50回コンピュータセキュリティ研究発表会, 弘前, 2010年7月.
abstract and paper in IPSJ website

サンプリングベース侵入検知システム

小川 夏樹, 大山 恵弘
情報処理学会 第50回コンピュータセキュリティ研究発表会, 弘前, 2010年7月.
abstract and paper in IPSJ website

準パススルー型VMMのマルウェア検出機能による拡張

Tran Truong Duc Giang, 大山 恵弘, 忠鉢 洋輔, 品川 高廣, 加藤 和彦
情報処理学会 第142回マルチメディア通信と分散処理・第48回コンピュータセキュリティ合同研究発表会, 仙台, 2010年3月.
abstract and paper in IPSJ website

OCamlによるOSの実装 (最優秀学生発表賞 受賞論文)

井上 翔大, 大山 恵弘
情報処理学会 第113回システムソフトウェアとオペレーティング・システム研究会, 札幌, 2010年1月.
abstract and paper in IPSJ website

Rubyのための訓練ベース異常検知システム

大山 恵弘, 中村 大輔
日本ソフトウェア科学会第26回大会, 島根大学, 2009年9月.
paper (PDF)

仮想マシンモニタを用いたSoftware Fault Injection

星 洋平, 大山 恵弘
2009年並列／分散／協調処理に関する『仙台』サマー・ワークショップ（SWoPP仙台2009）, 情報処理学会 第112回システムソフトウェアとオペレーティング・システム研究会, 8 pages, 仙台, 2009年8月.
abstract and paper in IPSJ website

HyperShield: 動作中のOSを安全な仮想マシン上に移行するための仮想マシンモニタ

野元 励, 大山 恵弘
第7回先進的計算基盤システムシンポジウム（SACSIS 2009）, pages 179-187, 広島国際会議場, 2009年5月.

アプリケーションデータを保護するためのVMMに基づくアーキテクチャ

尾上 浩一, 大山 恵弘, 米澤 明憲
第7回先進的計算基盤システムシンポジウム（SACSIS 2009）, pages 189-197, 広島国際会議場, 2009年5月.

仮想マシン間におけるcovert timing channelの評価

岡村 圭祐, 大山 恵弘
情報処理学会 第111回システムソフトウェアとオペレーティング・システム研究会, 8 pages, 沖縄, 2009年4月.
abstract and paper in IPSJ website

オンラインストレージと仮想マシンを利用した広域分散バックアップシステム

木村 将, 大山 恵弘
情報処理学会 第110回システムソフトウェアとオペレーティング・システム研究会, pages 51-58, 蒲郡, 2009年1月.
abstract and paper in IPSJ website

異なる計算機間で正常動作情報を共有する異常検知システム

大田原 渉, 神山 貴幸, 大山 恵弘
情報処理学会 第110回システムソフトウェアとオペレーティング・システム研究会, pages 11-18, 蒲郡, 2009年1月.
abstract and paper in IPSJ website

大規模分散システムのための軽量仮想化に基づくテストベッド

西川 賀樹, 大山 恵弘
楽天研究開発シンポジウム2008論文集, pages 7-10, 東京, 2008年11月.

コールスタック情報を利用したモデル分割に基づく異常検知システム

神山 貴幸, 大山 恵弘
第20回コンピュータシステム・シンポジウム（ComSys 2008）, pages 25-34, 東京, 2008年11月.

HyperShield: 動作中のOSを安全な仮想マシン上に移行するための仮想マシンモニタ

野元 励, 大山 恵弘
電子情報通信学会コンピュータシステム研究会2008年10月研究会, pages 7-12, 広島市立大学, 2008年10月.

プロセスレベルの仮想化を用いたマルウェアの挙動解析システム (CSS 2008 学生論文賞 受賞論文)

安達 悠, 大山 恵弘
コンピュータセキュリティシンポジウム 2008 (CSS 2008), pages 259-264, 沖縄コンベンションセンター, 2008年10月.
paper (PDF) (local access only)

セキュリティ機構の開発と評価のための異常注入システム

大山 恵弘
日本ソフトウェア科学会第25回大会, 筑波大学東京キャンパス, 2008年9月.
paper (PDF) / slide (PowerPoint 2007) / slide (PDF)

準パススルー型仮想マシンモニタBitVisorの設計と実装

品川 高廣，榮樂 英樹，谷本 幸一，面 和成，長谷川 晶一，保理江 高志，平野 学，光来 健一，大山 恵弘，河合 栄治，河野 健二，千葉 滋，新城 靖，加藤 和彦
2008年並列／分散／協調処理に関する『佐賀』サマー・ワークショップ（SWoPP佐賀2008）, 第109回システムソフトウェアとオペレーティング・システム研究会, pages 69-76, 佐賀, 2008年8月.
abstract and paper in IPSJ website

プロセスレベルの仮想化を用いた大規模分散システムテストベッド

西川 賀樹, 大山 恵弘, 米澤 明憲
第6回先進的計算基盤システムシンポジウム（SACSIS 2008）, pages 195-204, つくば国際会議場, 2008年6月.

デバイスドライバのための障害回復機構

井上 翔大, 大山 恵弘
情報処理学会 第108回システムソフトウェアとオペレーティング・システム研究会, pages 59-66, 沖縄, 2008年4月.
abstract and paper in IPSJ website

カーネルレベルルートキットの検知システムの構築

小倉 寛之, 大山 恵弘, 岩崎 英哉
情報処理学会 第108回システムソフトウェアとオペレーティング・システム研究会, pages 51-58, 沖縄, 2008年4月.
abstract and paper in IPSJ website

OS資源ビューの仮想化を用いた分散システムテストベッド (FIT2007論文賞 受賞論文)

西川 賀樹, 大山 恵弘, 米澤 明憲
第6回情報科学技術フォーラム (FIT 2007), pages 383-386, 中京大学, 2007年9月.
paper (PDF)

仮想マシンモニタによる仮想マシン内プロセスの制御

尾上 浩一, 大山 恵弘, 米澤 明憲
2007年並列／分散／協調処理に関する『旭川』サマー・ワークショップ（SWoPP旭川2007）, 情報処理学会研究報告 2007-OS-106, Vol. 2007, No. 83, pages 31-38, 旭川, 2007年8月.
abstract and paper in IPSJ website / paper (PDF) (local access only)

実行コンテキストに応じて振る舞いが変わるサンドボックス

塩谷 知宏, 大山 恵弘, 岩崎 英哉
情報処理学会 第105回システムソフトウェアとオペレーティング・システム研究会, 情報処理学会研究報告 2007-OS-105, Vol. 2007, No. 36, pages 87-93, 沖縄, 2007年4月.
abstract and paper in IPSJ website

System Service 監視による Windows 向け異常検知システム機構

島本 大輔, 大山 恵弘, 米澤 明憲
先進的計算基盤システムシンポジウム (SACSIS 2006), pages 505-514, 大阪, May 2006.
abstract / paper (PDF)

単一システムイメージを提供するための仮想マシンモニタ (第17回コンピュータシステム・シンポジウム 若手／学生論文賞 受賞論文)

金田 憲二, 大山 恵弘, 米澤 明憲
第17回コンピュータシステム・シンポジウム, pages 3-12, 筑波大学, November 2005.
abstract / paper (PDF)
Virtual Multiprocessorホームページもご覧下さい。
VINCSホームページもご覧下さい。

セキュリティシステム保護のためのサンドボックスシステム

尾上 浩一, 大山 恵弘, 米澤 明憲
日本ソフトウェア科学会第22回大会, 東北大学, September 2005.
abstract in J-STAGE / abstract / paper (PDF)
VINCSホームページもご覧下さい。

柔軟性と拡張性を備えた大規模多人数オンラインゲームのための枠組み

山崎 孝裕, 金田 憲二, 大山 恵弘, 米澤 明憲
2005年並列／分散／協調処理に関する 『武雄』サマー・ワークショップ（SWoPP武雄2005）, 信学技報 Vol. 105, No. 226, pages 61-66, 佐賀, August 2005.
abstract and paper in CiNii website

サーバの透過的な移動のためのOS拡張

横山 陽介, 大山 恵弘, 米澤 明憲
情報処理学会 第99回 システムソフトウェアとオペレーティング・システム研究会, 情報処理学会研究報告 2005-OS-99, pages 77-83, 沖縄, May 2005.
abstract / abstract and paper in IPSJ website
VINCSホームページもご覧下さい。

Quasar: CPUエミュレータQEMUを利用した移動計算システム

尾上 浩一, 大山 恵弘, 米澤 明憲
第8回プログラミングおよび応用のシステムに関するワークショップ (SPA 2005), 伊香保, March, 2005.
abstract / paper (PDF)
Quasarホームページもご覧下さい。
VINCSホームページもご覧下さい。

オクトパス攻撃から Web サーバーを防御する手法

小林 義徳, Eric Y. Chen, 大山 恵弘, 米澤 明憲
第2回ディペンダブルソフトウェアワークショップ (DSW '05), pages 87-95, 東京大学, January, 2005.
abstract / paper (PDF)

ソフトウェア流通実行システムSoftwarePotにおけるアクセス制御機構の実現

中村 理, 大山 恵弘, 阿部 洋丈, 加藤 和彦
第16回コンピュータシステム・シンポジウム, pages 65-74, 機械振興会館, 東京, November, 2004.
abstract / paper (PDF)
SoftwarePot Home Page もご覧下さい

仮想計算環境における最適化を支援するためのAPI

大山 恵弘, 加藤 和彦, 米澤 明憲
日本ソフトウェア科学会第21回大会, 東京工業大学, September 2004.
abstract / abstract in J-Stage / paper (PDF) / slide (PowerPoint)
SoftwarePot Home Page もご覧下さい
VINCSホームページもご覧下さい。

SoftwarePotへのチェックポイント機構の導入

横山 陽介, 大山 恵弘, 米澤 明憲
情報科学技術フォーラム (FIT 2004), pages 171-172, 京都, September 2004.
paper (PDF) (local access only)
SoftwarePot Home Page もご覧下さい
VINCSホームページもご覧下さい。

サンドボックスシステムにおける投機的な安全性検査

尾上 浩一, 大山 恵弘, 米澤 明憲
情報処理学会 第96回 システムソフトウェアとオペレーティング・システム研究会 , pages 1-6, 沖縄, June 2004.
abstract / abstract and paper in IPSJ website
paper (PDF) (local access only)
VINCSホームページもご覧下さい。

自己修復型リファレンスモニタの設計と実装

吉野 寿宏, 大山 恵弘, 米澤 明憲
第7回プログラミングおよび応用のシステムに関するワークショップ (SPA 2004), 長野, March 2004.
introduction / paper (PDF)
VINCSホームページもご覧下さい。

モデル検査のゲームシナリオへの適用

清木 昌, 大山 恵弘, 米澤 明憲
第一回ディペンダブルソフトウェアワークショップ（DSW04） , 東京, pages 39-48, February 2004.
abstract / paper (PDF)

静的解析に基づく侵入検知システムの最適化 (情報処理学会 平成16年度 山下記念研究賞 受賞論文)

阿部 洋丈, 大山 恵弘, 岡 瑞起, 加藤 和彦
第15回コンピュータシステムシンポジウム, pages 7-16, つくば, December 2003.
abstract (HTML) / paper (PDF)

Mobile Scope: 透明な移動機能を備えた分散コンポーネント言語

増山 隆, フレデリック ペシャンスキ, 大山 恵弘, 米澤 明憲
日本ソフトウェア科学会第20回記念大会論文集, 愛知県立大学, pages 196-200, September 2003.
abstract (HTML) / paper (PDF)

Windowsにおけるリファレンスモニタの実現

神田勝規, 大山恵弘, 光山義紀, 加藤和彦
並列/分散/協調に関する「松江」サマー・ワークショップ（SWoPP 2003）, 情報処理学会 システムソフトウェアとオペレーティング・システム 研究報告, 2003-OS-94, pages 41-46, August 2003.
abstract in IPSJ (HTML) / abstract (HTML)
paper (PDF) (local access only)

静的解析に基づく侵入検知システムの最適化

大山恵弘, 王維, 加藤和彦
第6回プログラミングおよび応用のシステムに関するワークショップ (SPA 2003) 論文集, 日本ソフトウェア科学会, 箱根, March 2003.
abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF) / slide (PowerPoint)

異常検知システムにおける正常動作データのモジュール化

大山恵弘, 王維, 加藤和彦
コンピュータシステム・シンポジウム論文集, IPSJ Symposium Series Vol. 2002, No. 18, 横浜, pages 45-52, November 2002.
abstract / slide (PowerPoint)

SoftwarePot/iPAQ: PDAの環境に適応するソフトウェアパッケージの作成と実行を支援するミドルウェア

大山恵弘, 神田勝規, 加藤和彦
第1回情報科学技術フォーラム (FIT 2002)論文集, pages 185-186, 東京, September 2002.
paper (gzipped Postscript) / paper (Postscript) / paper (PDF) / slide (PowerPoint)
SoftwarePot Home Page もご覧下さい

本著作物の著作権は（社）情報処理学会に帰属します． 本著作物は著作権者である情報処理学会の許可のもとに掲載するものです． ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします．

カーネルモジュールを用いたSoftwarePotの効率的な実装方式

神田勝規, 大山恵弘, 加藤和彦
情報処理学会 システムソフトウェアとオペレーティング・システム 研究会 研究報告, 沖縄, pages 81-86, June 2002.
abstract in IPSJ (HTML) / abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF)
SoftwarePot Home Page もご覧下さい

安全なソフトウェア実行システムSoftwarePotの設計と実装

大山恵弘, 神田勝規, 加藤和彦
第5回プログラミングおよび応用のシステムに関するワークショップ (SPA '02)論文集, 日本ソフトウェア科学会, 別府, March 2002.
abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF) / slide (PowerPoint)
SoftwarePot Home Page もご覧下さい

SecurePot: システムコールフックを利用した安全なソフトウェア実行系

大山恵弘, 加藤和彦
日本ソフトウェア科学会第18回大会論文集, 函館, September 2001.
abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF) / slide (PowerPoint)

潜在的なボトルネックが存在する並列プログラムの効率的実行

大山恵弘, 田浦健次朗, 米澤明憲
並列処理シンポジウム JSPP '99, つくば, pages 95-102, June 1999.
abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF) / slide (PowerPoint)

本著作物の著作権は（社）情報処理学会に帰属します． 本著作物は著作権者である情報処理学会の許可のもとに掲載するものです． ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします．

細粒度スレッド生成をサポートする言語の共有メモリ並列計算機上での実装とその性能評価

大山恵弘, 田浦健次朗, 遠藤敏夫, 米澤明憲
第1回プログラミングおよび応用のシステムに関するワークショップ (SPA '98)論文集, 日本ソフトウェア科学会, 草津, March 1998.
abstract (HTML) / paper (HTML) / paper (gzipped tarred HTML files)

並行プロセス計算に基づく言語の効率的なコンパイル技法

大山恵弘, 田浦健次朗, 米澤明憲
オブジェクト指向計算に関するワークショップ(WOOC), 日本ソフトウェア科学会, 箱根, March 1997.
abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF)

動的なスレッド生成をサポートする言語のコンパイル技法

大山恵弘, 田浦健次朗, 米澤明憲
並列／分散／協調処理に関するサマー・ワークショップ(SWoPP), 情報処理学会 研究報告 プログラミング, Vol. 1996, No. 82, pages 115-120, 秋田, August 1996.
abstract in IPSJ (HTML) / abstract (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF)

本著作物の著作権は（社）情報処理学会に帰属します． 本著作物は著作権者である情報処理学会の許可のもとに掲載するものです． ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします．

広域分散アプリケーションのためのシミュレーションシステム

大山 恵弘
CRESTシンポジウム：自律・連合・仮想化時代のインターネット基盤技術, 東京, 2008年9月.

パネル「仮想化技術の展望」

第70回情報処理学会全国大会, 特別セッション(6):仮想化技術が変えるITの未来, 筑波大学, 2008年3月.

仮想マシン道しるべ：仮想マシン技術の応用

大山 恵弘
情報処理, Vol. 48, No. 11, pages 1283-1287, 2007年11月.
概要 in 情報処理学会電子図書館
PDF (local access only)

仮想化技術を用いたセキュアシステム

大山 恵弘
第1回セキュアVMシンポジウム「仮想化とセキュリティ」, 東京, 2007年3月.
講演スライド (PDF)

仮想マシンによるセキュアシステムの実現

大山 恵弘
第4回セキュアOSカンファレンス, 東京, 2006年6月.
講演スライド (PDF)

Virtual Thing Shakes

大山 恵弘
第9回プログラミングおよび応用のシステムに関するワークショップ (SPA 2006), 那須塩原, 2006年3月.

安全な情報基盤としての仮想マシンモニタ

大山 恵弘
情報処理学会第101回システムソフトウェアとオペレーティング・システム研究会, 大阪大学, 2006年2月.

仮想化技術とセキュリティ

大山 恵弘
日本ソフトウェア科学会 チュートリアル「安全な情報基盤の実現に向けて」, 東京大学, 2005年12月.

SPA2005の報告

大山 恵弘, 岩崎 陽平, 岡 瑞起, 斉藤 俊介, 斉藤 匡人, 根岸 佑也
コンピュータソフトウェア, Vol. 22, No. 4, pages 84-91, 2005年10月.

会議レポート OSDI 2004

河野 健二, 大山 恵弘, 光来 健一, 品川 高廣, 新城 靖
情報処理, Vol. 46, No. 2, pages 205-206, 2005年2月.

OSDI '04 報告

河野 健二, 大山 恵弘, 新城 靖
情報処理学会 第98回 システムソフトウェアとオペレーティング・システム研究会 , 高松, 2005年2月.

ネイティブコードのためのサンドボックスの技術

大山恵弘
コンピュータソフトウェア Vol. 20, No. 4, 日本ソフトウェア科学会, pages 55-72, July 2003.
draft version (gzipped Postscript) / draft version (Postscript) / draft version (PDF)

Haskellで記述した仮想マシンモニタの評価

大山 恵弘, 岩崎 英哉
第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011）, 札幌, March 2011.

未知のバイナリプログラムが用いているデータ構造の推定

大山 恵弘, 川端 祥龍
情報処理学会 第51回プログラミング・シンポジウム, pages 165-166, 箱根, January 2010.

仮想実行環境を管理するためのライブラリ

大山 恵弘, 米澤 明憲
第99回 システムソフトウェアとオペレーティング・システム研究会, 情報処理学会研究報告 2005-OS-99, pages 163-164, 沖縄, May 2005.
abstract (PDF) / poster (PowerPoint) / poster (PDF)
VINCSホームページもご覧下さい。

本著作物の著作権は（社）情報処理学会に帰属します． 本著作物は著作権者である情報処理学会の許可のもとに掲載するものです． ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします．

システムコール引数の暗号化によるコード注入攻撃の防止

大山 恵弘, 米澤 明憲
第16回コンピュータシステム・シンポジウム (ComSys 2004), 機械振興会館, 東京, November 2004.
abstract (PDF) / poster (PowerPoint)

仮想計算環境とアプリケーションの協調による最適化

大山 恵弘
第3回SPAサマーワークショップ（SPA-SUMMER 2004）, 伊東, August 2004.
poster (PowerPoint)
VINCSホームページもご覧下さい。

侵入検知システムのデータベースの内容を実行時間情報から推測するためのツール

大山 恵弘
第7回プログラミングおよび応用のシステムに関するワークショップ (SPA 2004), 長野, March 2004.
abstract (gzipped Postscript) / abstract (Postscript) / abstract (PDF) / poster (PowerPoint)

マルチスレッド言語のためのクリティカルパスのオンライン計算

大山恵弘, 田浦健次朗, 米澤明憲
並列処理シンポジウム JSPP 2000 ポスターセッション, page 167, 早稲田, May-June 2000.
text (HTML) / paper (gzipped Postscript) / paper (Postscript) / paper (PDF)

本著作物の著作権は（社）情報処理学会に帰属します． 本著作物は著作権者である情報処理学会の許可のもとに掲載するものです． ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします．

細粒度スレッド生成を支援するJava処理系の構想 slide (PowerPoint)
潜在的なボトルネックが存在する並列プログラムの効率的実行 slide (PowerPoint)

大山恵弘, 田浦健次朗, 米澤明憲
第2回プログラミングおよび応用のシステムに関するワークショップ (SPA '99) ポスターセッション, 日本ソフトウェア科学会, 熱川, March 1999.

大山恵弘トップページ