2015年度 発表文献一覧(坂井・入江研究室)

招待講演

  • 京都工芸繊維大学 (京都府京都市)
    1. 入江 英嗣:
      ユーザに寄り添うシステムとそのコンピュータアーキテクチャ,
      電子情報通信学会技術研究報告(招待講演) , Vol. 115, No. 373, pp. 25 (2015).
      [download page]

口頭発表

  • SWoPP 2015 @ ビーコンプラザ 別府国際コンベンションセンター
    1. 西川 卓, 塩谷 亮太, 入江 英嗣, 五島 正裕, 坂井 修一:
      メモリ・アクセス順序違反検出手法の評価,
      電子情報通信学会技術研究報告 信学技報 , No. 115(174), pp. 21—29 (2015).
      [download page]
  • 電子情報通信学会技術研究報告 @ 幕張メッセ (千葉県千葉市)
    1. 村田 篤志, 野村 隼人, 吉見 真聡, 入江 英嗣, 吉永 努, 坂井 修一:
      3次元積層プロセッサ向けフロアプランナの可視化,
      電子情報通信学会技術研究報告 , Vol. 115, No. 243, pp. 63—65 (2015).
      [download page]
    2. 土門 憲司, 野村 隼人, 吉見 真聡, 入江 英嗣, 吉永 努, 坂井 修一:
      RGB-Dセンサと学習による運転姿勢検知,
      電子情報通信学会技術研究報告 , Vol. 115, No. 243, pp. 67—69 (2015).
      [download page]
  • 電子情報通信学会 コンピュータシステム研究会(CEATEC)
    1. 岡本 拓也, 千田 拓矢, 宮永 瑞紀, 入江 英嗣, 坂井 修一:
      Virtual Machine Introspection におけるパフォーマンス・リソース効率を両立したメモリ監視方法の提案,
      信学技報 , Vol. 115, No. 243, CPSY2015-57, pp. 59—61 (2015).
      [download page]
    2. 高原 隼太郎, 高山 扶美彦, 北田 亘, 辻 秀典, 入江英嗣, 坂井修一:
      レーザポインティングデバイスを用いた手軽かつ安全な無線LAN接続手法,
      電子情報通信学会技術研究報告, Vol.115, No. 243, pp. 53—57 (2015)
    3. 西川 卓, 塩谷 亮太, 入江 英嗣, 五島 正裕, 坂井 修一:
      Bloom-like SVWの評価,
      電子情報通信学会技術研究報告, Vol. 115, No. 243, pp. 27—34 (2015).
      [download page]
  • ETNET2016 @ 五島列島
    1. 千田 拓矢, 谷合 廣紀, 宮永 瑞紀, 入江 英嗣, 坂井 修一:
      クラウド フォレンジックに向けたVMセキュアプロセッサの設計と実装,
      電子情報通信学 会技術研究報告, Vol. 115, No. 518, CPSY2015-143, pp. 115-120 (2016).
    2. 津坂 章仁, 谷川 祐一, 広畑 壮一郎, 五島 正裕, 入江 英嗣, 坂井 修一:
      動的タイム・ボローイングのための二相化アルゴリズムの改良と評価,
      電子情報通信学会技術研究報告, Vol. 115, No. 518, pp. 133-138 (2016).
    3. 西川 卓, 塩谷 亮太, 入江 英嗣, 五島 正裕, 坂井 修一:
      フィルタを用いたメモリ・アクセス順序違反検出手法の評価,
      情報処理学会研究報告, Vol. 2016-ARC-219, No. 15, pp. 1–6 (2016)
  • 電子情報通信学会総合大会 @ 九州大学
    1. 中江 哲史, 入江 英嗣, 坂井 修一:
      STRAIGHTアーキテクチャのためのコンパイラ技術,
      電子情報通信学会総合大会, D-6-16, pp. 70 (2016)
    2. 赤木 晟也, 入江 英嗣, 坂井 修一:
      STRAIGHTアーキテクチャのHDL実装と評価,
      電子情報通信学会総合大会, D-6-15, pp. 69 (2016)
    3. 甲地 弘幸, 入江 英嗣, 坂井 修一:
      置き換えアルゴリズムとプリフェッチが 協調動作するキャッシュマネージメント・プリプロモーションの評価,
      電子情報通信学会総合大会, D-6-14, pp. 68 (2016)
    4. 谷合 廣紀, 千田 拓矢, 宮永 瑞紀, 入江 英嗣, 坂井修一:
      VMセキュアプロ セッサによるアプリケーション認証の実装,
      電子情報通信学会総合大会, A-7-8, pp. 94 (2016)
    5. 今田 丈雅, 宮永 瑞紀, 入江 英嗣, 坂井 修一:
      Androidにおけるプロセスベースのテイント伝搬を用いた個人情報の漏洩を検知するシステム,
      電子情報通信学会総合大会, A-7-3, pp.89 (2016)
  • 日本セキュリティ・マネジメント学会第29回全国大会
    1. 銭谷 謙吾,奥村 裕一,満塩 尚史,明神 知,坂井 修一:
      リスクマネジメントとしての情報セキュリティマネジメントの課題,
      日本セキュリティ・マネジメント学会第29回全国大会(2015)

雑誌論文

  • IEICE Transactions on Electronics
    1. Naruki KURATA, Ryota SHIOYA, Masahiro GOSHIMA, Shuichi SAKAI:
      Address Order Violation Detection with Parallel Counting Bloom Filters,
      IEICE Transactions on Electronics Vol. E98.C (2015) , No. 7, pp. 580-593.
      [download page]
  • 電子情報通信学会論文誌D
    1. 中島 拓真, 吉見 真聡, 入江 英嗣, 吉永 努:
      クラウド環境における計算資源の動的共有手法の提案と評価,
      電子情報通信学会論文誌D , Vol. J98-D, No. 8, pp. 1142-1150.
      [download page]
  • IEICE Trans. on Information and Systems
    1. Yasin Oge, Masato Yoshimi, Takefumi Miyoshi, Hideyuki Kawashima, Hidetsugu Irie, Tsutomu Yoshinaga:
      Design and Evaluation of a Configurable Query Processing Hardware for Data Streams,
      IEICE Trans. on Information and Systems(2015) ,Vol. E98-D, No. 12, pp. 2207-2217.
      [download page]
  • 経営情報学会誌
    1. 銭谷 謙吾,奥村 裕一,満塩 尚史,明神 知,坂井 修一:
      EAによるコミュニケーション支援と情報セキュリティマネジメントの強化,
      経営情報学会誌、Vol.24, No.4, pp.271-277 (2016)

ポスター発表

  • Int. Conf. on Computer Design (WIP session) @ New York University at New York City, USA
    1. Midoriko Chikara, Hidetsugu Irie, Makoto Sahoda, Masato Yoshimi, Tsutomu Yoshinaga:
      Pre-Promotion: Synergizing Prefetching and Anti-thrashing Replacement Policy,
      Int. Conf. on Computer Design (WIP session).
      [download page]
  • Symp. on Low-Power and High-Speed Chips (COOL Chips) @ Yokohama Joho Bunka Center at Yokohama, Japan
    1. Hayato Nomura, Takuma Nakajima, Masato Yoshimi, Tsutomu Yoshinaga, Hidetsugu Irie:
      Stubborn Cache: A Novel Strategy for Repeating Thrashing Access Patterns,
      Symp. on Low-Power and High-Speed Chips (COOL Chips), No. Poster-19 (Featured Poster Award).
      [download page]
  • CANDAR 2015 @ Sapporo City Indusrial Promotion Center at Sapporo City, Japan
    1. MinSeong CHOI, Takashi FUKUDA, Masahiro GOSHIMA, Shuichi SAKAI:
      An Inductive Method to Select Simulation Points,
      CANDAR 2015.
      [download page]

解説記事

  • 情報処理学会会誌「情報処理」 「災害科学と情報技術 -編集にあたって-」
    1. 入江 英嗣:
      情報処理学会会誌「情報処理」, Vol.57, No.3, pp.224-225, Mar., 2016.

特許

  • 長野 英治,安井 博文,小峰 光弘, 入江 英嗣, 坂井 修一, 山田 高寛, 土門 憲司:
    運転者状態判定装置,
    特願2016-58631, 出願日 2016.03.23
  • 小峰 光弘, 入江 英嗣, 土門 憲司:
    運転者状態判定装置,
    特願2015-079460, 出願日 2015.04.08

学位論文

  • 博士論文
  • 修士論文
    1. 西川 卓:
      Bloom-like SVWの提案,
      修士論文, 東京大学大学院 情報理工学系研究科 (2015).
    2. 千田 拓矢:
      クラウドフォレンジックに向けたVMセキュアプロセッサの設計と実装,
      修士論文, 東京大学大学院 情報理工学系研究科 (2015).
    3. 津坂 章仁:
      動的タイム・ボローイングのための二相化アルゴリズムの改良と評価,
      修士論文, 東京大学大学院 情報理工学系研究科 (2015).
    4. 岡本 拓也:
      コピーオンライトを用いたVirtual Machine Introspection の効率化,
      修士論文, 東京大学大学院 情報理工学系研究科 (2015).
  • 卒業論文
    1. 今田 丈雅:
      Androidにおけるプロセスベースのテイント伝搬を用いた個人情報の漏洩を検知するシステム,
      卒業論文,東京大学工学部 (2015).
    2. 甲地 弘幸:
      置き換えアルゴリズムとプリフェッチが協調動作するキャッシュ・マネージメントPrePromotionの評価,
      卒業論文,東京大学工学部 (2015).
    3. 赤木 晟也:
      STRAIGHTアーキテクチャのHDL実装と評価,
      卒業論文,東京大学工学部 (2015).
    4. 山田 高寛:
      RGB-Dセンサを用いたドライバ支援のための運転姿勢推定手法,
      卒業論文,東京大学工学部 (2015).
    5. 中江 哲史:
      リネーミング・ロジックを排除するSTRAIGHTアーキテクチャのためのコンパイラ技術,
      卒業論文,東京大学工学部 (2015).
    6. 谷合 廣紀:
      VMセキュアプロセッサによるアプリケーション認証の実装,
      卒業論文,東京大学工学部 (2015).
    7. 高原 隼太郎:
      レーザポインティングデバイスを用いた手軽かつ安全な無線LAN 接続手法,
      卒業論文,東京大学工学部 (2015).