高性能・高信頼な高水準言語の実装向け持続型例外処理機構の理論と実践

• Project/Area Number: 19H04087
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Kyushu Institute of Technology
• Principal Investigator: 八杉 昌宏 九州工業大学, 大学院情報工学研究院, 教授 (30273759)
• Co-Investigator(Kenkyū-buntansha): 平石 拓 京都橘大学, 工学部, 専任講師 (60528222) ; 光来 健一 九州工業大学, 大学院情報工学研究院, 教授 (60372463) ; 江本 健斗 九州工業大学, 大学院情報工学研究院, 准教授 (00587470)
• Project Period (FY): 2019-04-01 – 2024-03-31
• Project Status: Completed (Fiscal Year 2023)
• Budget Amount: ¥16,900,000 (Direct Cost: ¥13,000,000、Indirect Cost: ¥3,900,000); Fiscal Year 2023: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000); Fiscal Year 2022: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000); Fiscal Year 2021: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000); Fiscal Year 2020: ¥5,590,000 (Direct Cost: ¥4,300,000、Indirect Cost: ¥1,290,000); Fiscal Year 2019: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
• Keywords: プログラミング言語 / ソフトウエア開発効率化・安定化 / ディペンダブル・コンピューティング / ハイパフォーマンス・コンピューティング / 負荷分散 / フォールト・トレランス / 性能評価 / 仮想環境 / 計算機システム

Outline of Research at the Start

ソフトウェアが自身の計算状態を操作する機構を用いて高水準プログラミング言語の抽象度で見た状態は保ちつつ、詳細レベルでは将来展望に基づいてごみ集めをしたり、一度決めた計算方法を抜本的に変更したりといった「備え」を持つ計算基盤を実現するための研究です。持続型例外処理という新たな機構を探求します。高性能・高信頼システムのために同機構を応用したり、その際の正しさや有効性を確認し、仮想化・並列化の進む計算システムを効率よく安全に利用できるようにします。

Outline of Annual Research Achievements

提案している持続型例外処理機構等の計算状態操作機構（提案機構）について、以下の研究を実施した。
[１．提案機構を持つ拡張言語の望ましい言語仕様の基本的設計方針と意味論の探究]：提案するレベル付き持続型例外処理機構を持つコアSC言語の構文と意味論と利用例を論文にまとめ発表した。
[２．冗長実行や負荷分散やマイグレーションにより仮想化・階層化なども想定して並列システムにおける資源を有効活用する手法の開発]：基礎的研究としては、仮想環境における高性能・高信頼確保方式の研究を行った。バックトラックに基づく負荷分散に関しては、ARM分散環境での実行を確かめつつ、移植性の高いフレームワークに関しては、共有メモリ環境での実装方式や性能評価について発表した。具体的には、従来からの標準C言語への変換に基づく計算状態操作機構を利用することで移植性の高めたフレームワークに加え、C++のラムダ式を計算状態操作機構として利用する移植性の高いフレームワークを新たに提案、試作した。階層的計算省略に基づく（耐障害性を持つ）並列実行モデルについては、部分的計算結果を不揮発性メモリにも保存可能とした。また、両実行モデルにおいて、C++との互換性を調査した。
[３．動的再構成・保全の前後での抽象的な計算状態（不変条件）の維持などの検証]：持続型例外処理機構の意味論、実装方式、高水準言語実装のための利用方式、利用した個々のプログラム、前提条件やこれらの組み合せのどういった性質を検証の目的とするかについては、「計算の各部を異なるモードで実行可能な高水準言語において、実行モード選択によって得たい結果が変わらないようなプログラムは、持続型例外処理機構を利用して遅延可能な実行モード切替を可能とした高水準言語の実装においても遅延の程度によらず得たい結果が変わらないこと」を検証の目的とすることとした。

Research Progress Status

令和5年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

令和5年度が最終年度であるため、記入しない。

Research Products

• [Journal Article] Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages (2024)
  • Author(s): Masahiro Yasugi, Kento Emoto, Tasuku Hiraishi
  • Journal Title: Journal of Information Processing Volume: 32 Issue: 0 Pages: 436-450
  • DOI: 10.2197/ipsjjip.32.436
  • ISSN: 1882-6652
  • Peer Reviewed / Open Access
• [Journal Article] Parallelization of Matrix Partitioning in Hierarchical Matrix Construction on Distributed Memory Systems (2022)
  • Author(s): Zhengyang Bai, Tasuku Hiraishi, Akihiro Ida, Masahiro Yasugi
  • Journal Title: Journal of Information Processing Volume: 30 Issue: 0 Pages: 742-754
  • DOI: 10.2197/ipsjjip.30.742
  • ISSN: 1882-6652
  • Peer Reviewed / Open Access
• [Journal Article] An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing (2021)
  • Author(s): Tatsuya Abe, Tasuku Hiraishi
  • Journal Title: Journal of Information Processing Volume: 29 Issue: 0 Pages: 434-448
  • DOI: 10.2197/ipsjjip.29.434
  • NAID: 130008052720
  • ISSN: 1882-6652
  • Peer Reviewed / Open Access
• [Journal Article] Work-stealing Strategies That Consider Work Amount and Hierarchy (2021)
  • Author(s): Ryusuke Nakashima, Masahiro Yasugi, Hiroshi Yoritaka, Tasuku Hiraishi, Seiji Umatani
  • Journal Title: Journal of Information Processing Volume: 29 Issue: 0 Pages: 478-489
  • DOI: 10.2197/ipsjjip.29.478
  • NAID: 130008065250
  • ISSN: 1882-6652
  • Peer Reviewed / Open Access
• [Journal Article] Distributed parallel generation of large-scale random graphs based on Watts–Strogatz model (2020)
  • Author(s): 神野 薫, 江本 健斗
  • Journal Title: Computer Software Volume: 37 Issue: 2 Pages: 2_34-2_45
  • DOI: 10.11309/jssst.37.2_34
  • NAID: 130007863812
  • ISSN: 0289-6540
  • Year and Date: 2020-04-23
  • Peer Reviewed / Open Access
• [Journal Article] Parallelization of Matrix Partitioning in Construction of Hierarchical Matrices using Task Parallel Languages (2019)
  • Author(s): Bai Zhengyang、Hiraishi Tasuku、Nakashima Hiroshi、Ida Akihiro、Yasugi Masahiro
  • Journal Title: Journal of Information Processing Volume: 27 Issue: 0 Pages: 840-851
  • DOI: 10.2197/ipsjjip.27.840
  • NAID: 130007762324
  • ISSN: 1882-6652
  • Peer Reviewed / Open Access
• [Presentation] Portable Implementations of Work Stealing (2024)
  • Author(s): Masahiro Yasugi, Tasuku Hiraishi, Chihiro Takeuchi
  • Organizer: International Conference on High Performance Computing in Asia-Pacific Region (HPC Asia 2024)
  • Int'l Joint Research
• [Presentation] バックトラックに基づく動的負荷分散の明示的スタックによる実現に向けて (2024)
  • Author(s): 寺元 悠馬, 平石 拓, 八杉 昌宏
  • Organizer: 日本ソフトウェア科学会プログラミング論研究会第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
• [Presentation] Memory-virtualizing and -devirtualizing VM migration with Private Virtual Memory (2023)
  • Author(s): Yuji Muraoka, Kenichi Kourai
  • Organizer: IEEE International Conference on Computers, Software, and Applications (COMPSAC 2023)
  • Int'l Joint Research
• [Presentation] 移送先を柔軟に変更可能なVMマイグレーション (2023)
  • Author(s): 緒方彬人, 光来健一
  • Organizer: 並列/分散/協調処理に関するサマー・ワークショップ (SWoPP 2023)：情報処理学会第160回システムソフトウェアとオペレーティングシステム研究会 (OS-2023-160)
• [Presentation] SEmigrate: Optimizing Data Protection with VM Introspection (2023)
  • Author(s): Shuhei Horio, Kouta Takahashi, Kenichi Kourai
  • Organizer: 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023)
  • Int'l Joint Research
• [Presentation] 高性能・高信頼な高水準言語の実装向け持続型例外処理機構の設計 (2023)
  • Author(s): 八杉 昌宏, 江本 建斗, 平石 拓
  • Organizer: 情報処理学会第146回プログラミング研究会 (PRO-2023-3)
• [Presentation] 移送先変更を伴うVMマイグレーションの効率化 (2023)
  • Author(s): 緒方彬人, 光来健一
  • Organizer: 第35回コンピュータシステム・シンポジウム (ComSys 2023)
• [Presentation] 高性能・高信頼な高水準言語の実装向け持続型例外処理機構の背景と展望 (2023)
  • Author(s): 八杉 昌宏, 平石 拓, 江本 健斗
  • Organizer: 第15回 自動チューニング技術の現状と応用に関するシンポジウム
• [Presentation] 複数ホストにまたがるVMのメモリデータ保護の最適化手法 (2023)
  • Author(s): 堀尾 周平, 高橋 孝汰, 光来 健一
  • Organizer: 情報処理学会第158回システムソフトウェアとオペレーティングシステム研究会
• [Presentation] Towards Optimization of Parallelized Mining of Subgraphs Sharing Common Items Using a Task-Parallel Language (2023)
  • Author(s): Jing Xu, Tasuku Hiraishi, Shingo Okuno, Masahiro Yasugi, Keiichiro Fukazawa
  • Organizer: HPC Asia 2023, poster presentation
  • Int'l Joint Research
• [Presentation] 大域的グラフ計算記述言語の最適化および辺集合に関する拡張 (2023)
  • Author(s): 福島 央章, 江本 健斗
  • Organizer: 火の国情報シンポジウム2023
• [Presentation] eBPFプログラムを送り込むことによるVM内のシステム監視 (2022)
  • Author(s): 堀 恭介, 光来 健一
  • Organizer: 情報処理学会第156回システムソフトウェアとオペレーティングシステム研究会
• [Presentation] 並列言語に適した階層的トラバーサル戦略の実現に向けて (2022)
  • Author(s): 志岐 優介，八杉 昌宏，平石 拓
  • Organizer: 並列/分散/協調処理に関するサマー・ワークショップ (SWoPP 2022)：第140回プログラミング研究会 (PRO-2022-2)
• [Presentation] 並列言語処理系で利用可能な移植性に優れた計算状態操作機構の改善に向けて (2022)
  • Author(s): 竹内 千裕，八杉 昌宏，平石 拓
  • Organizer: 並列/分散/協調処理に関するサマー・ワークショップ (SWoPP 2022)：第140回プログラミング研究会 (PRO-2022-2)
• [Presentation] Construction of Hierarchical Matrix on Distributed Memory Systems using a Task Parallel Language (2022)
  • Author(s): Zhengyang Bai, Tasuku Hiraishi, Akihiro Ida, Masahiro Yasugi, Keiichiro Fukazawa
  • Organizer: 10th International Workshop on Computer Systems and Architectures (CSA 2022) (held in conjunction with CANDAR 2022)
  • Int'l Joint Research
• [Presentation] eBPFプログラムを用いたVM内の安全な情報取得方式 (2022)
  • Author(s): 堀 恭介, 光来 健一
  • Organizer: 情報処理学会第34回コンピュータシステム・シンポジウム (ComSys 2022)
• [Presentation] Evaluating and Analyzing Irregular Tree Search in the Tascell and HOPE Parallel Programming Languages (2022)
  • Author(s): Yusuke Shiki, Masahiro Yasugi, Tasuku Hiraishi
  • Organizer: The 23rd International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2022)
  • Int'l Joint Research
• [Presentation] Optimized Memory Encryption and Integrity Checking of Virtual Machines across Multiple Hosts (2022)
  • Author(s): Shuhei Horio, Kenichi Kourai
  • Organizer: 10th International Symposium on Applied Engineering and Sciences (SAES 2022)
  • Int'l Joint Research
• [Presentation] Towards Dynamic Load Balancing in C++ Programming and Evaluation on FX700 (2022)
  • Author(s): Chihiro Takeuchi, Masahiro Yasugi, Tasuku Hiraishi
  • Organizer: 10th International Symposium on Applied Engineering and Sciences (SAES 2022)
  • Int'l Joint Research
• [Presentation] 計算状態操作機構を利用した不規則計算の並列実行 (2022)
  • Author(s): 八杉 昌宏，平石 拓
  • Organizer: 第14回自動チューニング技術の現状と応用に関するシンポジウム
• [Presentation] 定理証明支援系Coqによる持続型例外処理機構の形式化 (2022)
  • Author(s): 森 公哉, 江本 健斗
  • Organizer: 火の国情報シンポジウム2022
• [Presentation] 並列計算量の形式的証明を伴う BSP プログラム用 Coq ライブラリ (2022)
  • Author(s): 田中 匠海, 江本 健斗
  • Organizer: 火の国情報シンポジウム2022
• [Presentation] 協調性と耐障害性に優れた並列実行順序計画法の改善の検討 (2022)
  • Author(s): 八杉 昌宏
  • Organizer: 第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022)
• [Presentation] Parallelization of Matrix Partitioning in Hierarchical Matrix Construction Using Node-aware Work Stealing (2022)
  • Author(s): 白 正陽, 平石 拓, 伊田 明弘, 八杉 昌宏
  • Organizer: 情報処理学会第138回プログラミング研究会
• [Presentation] 計算状態操作機構を備えたS式ベースJava言語の変換に基づく実装に向けて (2022)
  • Author(s): 西田 知広, 八杉 昌宏, 平石 拓, 小出 洋
  • Organizer: 情報処理学会第138回プログラミング研究会
• [Presentation] レベル付き持続型例外処理機構の設計 (2021)
  • Author(s): 八杉 昌宏, 江本 健斗, 平石 拓
  • Organizer: 日本ソフトウェア科学会第38回大会
• [Presentation] Optimizing VMs across Multiple Hosts with Transparent and Consistent Tracking of Unused Memory (2021)
  • Author(s): Soichiro Tauchi, Kenichi Kourai, Lukman Ab. Rahim
  • Organizer: the 14th IEEE International Conference on Cloud Computing (CLOUD 2021)
  • Int'l Joint Research
• [Presentation] Prevention of a DoS Attack with Copy-on-write in the Overlay Filesystem (2021)
  • Author(s): Hirofumi Satou, Kenichi Kourai
  • Organizer: the 19th International Conference on Dependable, Autonomic and Secure Computing (DASC 2021)
  • Int'l Joint Research
• [Presentation] 持続型例外処理機構の設計と実装方針 (2021)
  • Author(s): 八杉 昌宏, 江本 健斗, 平石 拓
  • Organizer: 第13回 自動チューニング技術の現状と応用に関するシンポジウム
• [Presentation] Switching execution between vertex-centric computation and block-centric computation for distributed large-graph processing (2021)
  • Author(s): Ryuichi Takakura, Kento Emoto
  • Organizer: 9th International Symposium on Applied Engineering and Sciences (SAES2021)
  • Int'l Joint Research
• [Presentation] Work-Stealing Strategies That Consider Work Amount and Hierarchy (2021)
  • Author(s): Ryusuke Nakashima, Masahiro Yasugi, Hiroshi Yoritaka, Tasuku Hiraishi, Seiji Umatani
  • Organizer: 情報処理学会第132回プログラミング研究会
• [Presentation] out-of-core行列積とタスク並列言語Tascellによる並列化の評価 (2021)
  • Author(s): 上中野 寛太, 八杉 昌宏, 平石 拓
  • Organizer: 第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) カテゴリ3 ポスター
• [Presentation] 移植性に優れた計算状態操作機構を用いた並列言語処理系の性能評価 (2021)
  • Author(s): 竹内 千裕, 八杉 昌宏, 平石 拓
  • Organizer: 第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) カテゴリ3 ポスター
• [Presentation] Copy Reduction and Latency Hiding for MPI-Based Implementations of the Tascell Task-Parallel Language (2021)
  • Author(s): Huangcheng Cai, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi
  • Organizer: 第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) カテゴリ3 ポスター
• [Presentation] UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価 (2021)
  • Author(s): 志岐 優介, 八杉 昌宏, 平石 拓
  • Organizer: 第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) カテゴリ3 ポスター
• [Presentation] Optimization of Parallel Applications under CPU Overcommitment (2020)
  • Author(s): Tokiko Takayama, Kenichi Kourai
  • Organizer: 44th IEEE Computers, Software, and Applications Conference (COMPSAC 2020)
  • Int'l Joint Research
• [Presentation] GPUからの疑似的なシグナル送信によるプロセスレベル障害からの復旧 (2020)
  • Author(s): 木村健人, 光来健一
  • Organizer: 情報処理学会第150回OS研究会 (SWoPP 2020)
• [Presentation] 分散メモリ環境における階層性と仕事量を考慮したワークスティール戦略 (2020)
  • Author(s): 中嶋 隆介, 八杉 昌宏, 平石 拓, 馬谷 誠二
  • Organizer: 日本ソフトウェア科学会第37回大会
• [Presentation] HOPE: 階層的計算省略に基づく耐障害性を備えた並列実行モデル (2020)
  • Author(s): 八杉 昌宏, 村岡 大輔, 平石 拓, 馬谷 誠二, 江本 健斗
  • Organizer: 日本ソフトウェア科学会第37回大会
• [Presentation] 実環境向け並列言語実装技法の仮想環境における有効性の調査 (2020)
  • Author(s): 與田 拓磨, 八杉 昌宏, 平石 拓, 光来 健一
  • Organizer: 日本ソフトウェア科学会第37回大会
• [Presentation] An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing (2020)
  • Author(s): Tatsuya Abe, Tasuku Hiraishi
  • Organizer: 情報処理学会第131回プログラミング研究会
• [Presentation] 複数ホストにまたがる大容量メモリVMの未使用メモリに着目した高速化 (2020)
  • Author(s): 田内聡一朗, 光来健一
  • Organizer: 第32回コンピュータシステム・シンポジウム (ComSys 2020)
• [Presentation] 分割メモリVMの効率的かつ柔軟なライブチェックポイント・リストア (2020)
  • Author(s): 村田時人, 光来健一
  • Organizer: 第32回コンピュータシステム・シンポジウム (ComSys 2020)
• [Presentation] シグナルの疑似送信によるプロセスレベル障害からの迅速な復旧 (2020)
  • Author(s): 木村健人, 光来健一
  • Organizer: 第32回コンピュータシステム・シンポジウム (ComSys 2020) ポスター
• [Presentation] Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language (2020)
  • Author(s): Daiki Bise, Masahiro Yasugi, Tasuku Hiraishi, Tsuyeyasu Komiya
  • Organizer: 18th Asian Symposium on Programming Languages and Systems (APLAS 2020), Online poster presentation
  • Int'l Joint Research
• [Presentation] ワークスティールフレームワークの多様な環境での性能改善と評価 (2020)
  • Author(s): 八杉 昌宏, 平石 拓, 光来 健一, 江本 健斗
  • Organizer: 第12回自動チューニング技術の現状と応用に関するシンポジウム
• [Presentation] Implementing the Tascell Task-Parallel Language Tascell Using Multithreaded MPI (2020)
  • Author(s): Daiki Kojima, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi
  • Organizer: International Conference on High Performance Computing in Asia-Pacific Region (HPC Asia 2020), Poster presentation
  • Int'l Joint Research
• [Presentation] 並列言語Tascellのタスク定義自動生成による記述性向上 (2020)
  • Author(s): 山口 左近, 平石 拓, 中島 浩, 八杉 昌宏
  • Organizer: 第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) カテゴリ3
• [Presentation] JITコンパイルにおけるコード配置効果の研究 (2020)
  • Author(s): 森 祥平, 八杉 昌宏, 鵜川 始陽
  • Organizer: 第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020) カテゴリ1
• [Presentation] Coq における Hylomorphism を用いたプログラム運算の検証に向けて (2020)
  • Author(s): 村田 康佑, 江本 健斗
  • Organizer: 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) (カテゴリ1)
• [Presentation] タスク並列言語による階層型行列分割処理の並列化 (2019)
  • Author(s): 白 正陽, 平石 拓, 中島 浩, 伊田 明弘, 八杉 昌宏
  • Organizer: The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2019) ポスター発表
• [Presentation] 複数ホストにまたがるVMのメモリ使用状況に着目した高速化 (2019)
  • Author(s): 田内聡一朗, 光来健一
  • Organizer: 情報処理学会第146回OS研究会
• [Presentation] ワーカの重要度を考慮した並列実行フレームワークの障害耐性評価手法の検討 (2019)
  • Author(s): 西牟禮 亮, 八杉 昌宏, 平石 拓, 馬谷 誠二
  • Organizer: 情報処理学会第125回プログラミング研究会 (SWoPP 2019)
• [Presentation] 汎用送受信に対応したHOPEコンパイラの研究 (2019)
  • Author(s): 橋本 孝太, 八杉 昌宏, 平石 拓, 馬谷 誠二
  • Organizer: 情報処理学会第125回プログラミング研究会 (SWoPP 2019)
• [Presentation] 複数ホストにまたがって動作するVMのチェックポイント・リストア (2019)
  • Author(s): 村田時人, 光来健一
  • Organizer: 情報処理学会第147回OS研究会 (SWoPP 2019)
• [Presentation] Implementation of Partitioning of Hierarchical Matrices using Task Parallel Languages (2019)
  • Author(s): Zhengyang Bai, Tasuku Hiraishi, Hiroshi Nakashima, Akihiro Ida, Masahiro Yasugi
  • Organizer: 48th International Conference on Parallel Processing (ICPP 2019) Poster presentation
  • Int'l Joint Research
• [Presentation] HOPE: A Parallel Execution Model Based on Hierarchical Omission (2019)
  • Author(s): Masahiro Yasugi, Daisuke Muraoka, Tasuku Hiraishi, Seiji Umatani, Kento Emoto
  • Organizer: 48th International Conference on Parallel Processing (ICPP 2019)
  • Int'l Joint Research
• [Presentation] 安全な階層的メモリ割り当て・解放向け型検査方式の例題を用いた検討 (2019)
  • Author(s): 阿南 将, 八杉 昌宏
  • Organizer: 日本ソフトウェア科学会第36回大会（ポスター）
• [Presentation] 高度な運算定理の Coq による証明とその自動化 (2019)
  • Author(s): 村田 康佑, 江本 健斗
  • Organizer: 日本ソフトウェア科学会第36回大会
• [Presentation] Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成 (2019)
  • Author(s): 神野 薫, 江本 健斗
  • Organizer: 日本ソフトウェア科学会第36回大会
• [Presentation] Extending a Work-Stealing Framework with Priorities and Weights (2019)
  • Author(s): Ryusuke Nakashima, Hiroshi Yoritaka, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani
  • Organizer: 9th Workshop on Irregular Applications: Architectures and Algorithms (IA3 2019) (held in conjunction with SC19)
  • Int'l Joint Research
• [Presentation] Recursion Schemes in Coq (2019)
  • Author(s): Kosuke Murata, Kento Emoto
  • Organizer: 17th Asian Symposium on Programming Languages and Systems (APLAS 2019)
  • Int'l Joint Research
• [Presentation] 複数ホストにまたがるVMの未使用メモリに着目した高速化 (2019)
  • Author(s): 田内聡一朗, 光来健一
  • Organizer: 第31回コンピュータシステム・シンポジウム (ComSys 2019) ポスター
• [Presentation] 複数ホストで動作する分割メモリVMのチェックポイント・リストア (2019)
  • Author(s): 村田時人, 光来健一
  • Organizer: 第31回コンピュータシステム・シンポジウム (ComSys 2019) ポスター
• [Presentation] GPUDirect RDMAを用いた高信頼な障害検知機構 (2019)
  • Author(s): 金本颯将, 光来健一
  • Organizer: 第31回コンピュータシステム・シンポジウム (ComSys 2019)
• [Presentation] 高水準言語による障害耐性を備えた新しい並列実行モデル (2019)
  • Author(s): 八杉 昌宏, 平石 拓, 光来 健一, 江本 健斗
  • Organizer: 第11回 自動チューニング技術の現状と応用に関するシンポジウム
• [Remarks] sc-tascell
  • URL: https://github.com/tascell/sc-tascell
• [Remarks] Tascell
  • URL: http://super.para.media.kyoto-u.ac.jp/tascell/