Parallelization of Matrix Partitioning in Hierarchical Matrix Construction on Distributed Memory Systems Reviewed

Zhengyang Bai, Tasuku Hiraishi, Akihiro Ida, Masahiro Yasugi

Journal of Information Processing ( Information Processing Society of Japan )   30 ( 0 )   742 - 754   2022.10

Work-stealing Strategies That Consider Work Amount and Hierarchy Reviewed

Ryusuke Nakashima, Masahiro Yasugi, Hiroshi Yoritaka, Tasuku Hiraishi, Seiji Umatani

Journal of Information Processing ( Information Processing Society of Japan )   29   478 - 489   2021.07

Parallelization of Matrix Partitioning in Construction of Hierarchical Matrices using Task Parallel Languages Reviewed

Zhengyang Bai, Tasuku Hiraishi, Hiroshi Nakashima, Akihiro Ida, Masahiro Yasugi

Journal of Information Processing ( Information Processing Society of Japan )   27   840 - 851   2019.12

Extending a Work-Stealing Framework with Priorities and Weights Reviewed International journal

Ryusuke Nakashima, Hiroshi Yoritaka, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani

Proceedings of the 9th Workshop on Irregular Applications: Architectures and Algorithms (IA3 2019) (held in conjunction with SC 2019)   9 - 16   2019.11

Evaluating Portable Mechanisms for Legitimate Execution Stack Access with a Scheme Interpreter in an Extended SC Language Reviewed

Masahiro Yasugi, Reichi Ikeuchi, Tasuku Hiraishi, Tsuneyasu Komiya

Journal of Information Processing   27   177 - 189   2019.02

Probabilistic guards: A mechanism for increasing the granularity of work-stealing programs Reviewed

Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani

Parallel Computing   82   19 - 36   (Available online 22 June 2018)   2019.02

Parallelization of Extracting Connected Subgraphs with Common Itemsets in Distributed Memory Environments Reviewed

Shingo Okuno, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi, Jun Sese

Journal of Information Processing   25 ( 0 )   256 - 267   2017.02

Evaluation of an MPI-Based Implementation of the Tascell Task-Parallel Language on Massively Parallel Systems Reviewed

Daisuke Muraoka, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani

Proceedings of the 45th International Conference on Parallel Processing Workshops (ICPPW 2016) (Ninth International Workshop on Parallel Programming Models and Systems Software for High-End Computing P2S2 2016, held in conjunction with ICPP 2016)   161 - 170   2016.08

Extending a Work-Stealing Framework with Probabilistic Guards Reviewed

Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani

Proceedings of the 45th International Conference on Parallel Processing Workshops (ICPPW 2016) (Ninth International Workshop on Parallel Programming Models and Systems Software for High-End Computing P2S2 2016, held in conjunction with ICPP 2016)   171 - 180   2016.08

Reducing Redundant Search in Parallel Graph Mining using Exceptions Reviewed

Shingo Okuno, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi, Jun Sese

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW 2016) (21st International Workshop on High-Level Parallel Programming Models and Supportive Environments HIPS 2016, held in conjunction with IPDPS 2016)   328 - 337   2016.05

An Implementation of Exception Handling with Collateral Task Abortion Reviewed

Tasuku Hiraishi, Shingo Okuno, Masahiro Yasugi

Journal of Information Processing   24 ( 2 )   2016.03

Design and Implementation of a Java Bytecode Manipulation Library for Clojure Reviewed

Seiji Umatani, Tomoharu Ugawa, Masahiro Yasugi

Journal of Information Processing   23 ( 5 )   716 - 729   2015.09

Parallelization of Extracting Connected Subgraphs with Common Itemsets Reviewed

Shingo Okuno, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi, Jun Sese

IPSJ Transactions on Programming   7 ( 3 )   22 - 39   2014.07

L-Closureの呼び出しコストの削減 Reviewed

田附正充, 八杉 昌宏, 平石 拓, 馬谷 誠二

情報処理学会論文誌　プログラミング   6 ( 2 )   13 - 32   2013.08

A Proper Performance Evaluation System That Summarizes Code Placement Effects Reviewed

Masahiro Yasugi, Yuki Matsuda, Tomoharu Ugawa

Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '13)   41 - 48   2013.06

A Lisp Environment for Distributed Applications based on Safe Ambients Reviewed

Tomoyuki Hayashi, Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa

Computer Software   30 ( 1 )   231 - 256   2013.02

Automatic and Tunable Multi-Level Locality Improvement with a Lisp Garbage Collector Reviewed

Masahiro Yasugi, Shingo Yuasa, Taiichi Yuasa

Proceedings of the International Lisp Conference   53 - 61   2012.10

SEAN: Support Tool for Detecting Rule Violations in JNI Coding Reviewed

Haruna Nishiwaki, Tomoharu Ugawa, Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa

IPSJ Transactions on Programming   5 ( 3 )   23 - 28   2012.08

A report on the 28th JSSST annual conference

Masahiro Yasugi

Computer Software   29 ( 1 )   240 - 250   2012.02

Parallel Graph Traversals using Work-Stealing Frameworks for Many-core Platforms Reviewed

Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani, Taiichi Yuasa

Journal of Information Processing   20 ( 1 )   128 - 139   2012.01

バックトラックに基づく動的負荷分散フレームワークTascell

平石拓, 八杉昌宏

京都大学学術情報メディアセンター 全国共同利用版広報 ( 京都大学学術情報メディアセンター )   10 ( 1 )   31 - 42   2011.06

Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks Reviewed

Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa

Proceedings of the 13th International Conference on Coordination Models and Languages (COORDINATION 2011),LNCS 6721   172 - 186   2011.06

Safe AmbientsのためのJavaフレームワーク Reviewed

岡田 翔太, 馬谷 誠二, 林 奉行, 八杉 昌宏, 湯淺 太一

情報処理学会論文誌　プログラミング   4 ( 3 )   26 - 41   2011.06

A Reuse Mechanism of Transformation Rules for the SC Language System Reviewed

Tasuku Hiraishi, Masahiro Yasugi, Taiichi Yuasa

Computer Software   28 ( 1 )   258 - 271   2011.02

L-Closureを用いた真に末尾再帰的なSchemeインタプリタ Reviewed

八杉 昌宏, 平石 拓, 小島 啓史, 馬谷 誠二, 小宮 常康, 湯淺 太一

情報処理学会論文誌 プログラミング   3 ( 5 )   1 - 17   2010.12

Dynamic Graph Traversals for Concurrent Rewriting using Work-Stealing Frameworks for Multicore Platforms Reviewed

Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani, Taiichi Yuasa

Proceedings of the 16th International Conference on Parallel and Distributed Systems (ICPADS 2010)   406 - 414   2010.12

Validating Low-Level Instructions for Fixnums using BDDs Reviewed

Shingo Yuasa, Masahiro Yasugi

Proceedings of the 2010 International Lisp Conference (ILC 2010)   11 - 19   2010.10

Managing Continuations for Proper Tail Recursion Reviewed

Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, Seiji Umatani

Proceedings of the 2010 International Lisp Conference (ILC 2010)   65 - 72   2010.10

L-Closure：安全な計算状態操作機構

八杉昌宏

情報処理 ( 情報処理学会 )   51 ( 7 )   885 - 885   2010.07

Design of a Distributed Ambient System That Enables Flexible Designation of Communication/Migration Targets with Dynamic Name Resolution Reviewed

Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa

Computer Software   27 ( 2 )   50 - 61   2010.05

リターンバリア型実時間ごみ集めの抽象モデル検査 Reviewed

藤川 浩光, 馬谷 誠二, 八杉 昌宏, 湯淺 太一

情報処理学会論文誌 プログラミング   2 ( 4 )   13 - 32   2009.08

Cache-conscious階層的グループ化データ配置法：Cache-oblivious配置法との実験的比較 Reviewed

八杉 昌宏, 後藤 裕輔, 馬谷 誠二, 湯淺 太一

情報処理学会論文誌 プログラミング,巻号   2 ( 3 )   33 - 47   2009.07

Backtracking-based Load Balancing Reviewed

Tasuku Hiraishi, Masahiro Yasugi, Seiji Umatani, Taiichi Yuasa

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2009)   55 - 64   2009.02

タプル空間によるブラウザ間通信を備えたScheme 処理系の開発 Reviewed

原 悠, 鵜川 始陽, 湯淺 太一, 八杉 昌宏

情報処理学会論文誌 プログラミング   1 ( 2 )   85 - 99   2008.09

Replication-Based Incremental Compaction Reviewed

Tomoharu Ugawa, Masahiro Yasugi, Taiichi Yuasa

11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing   516 - 524   2008.05

マルチスレッド環境における実時間ごみ集めのためのスレッド再開バリア Reviewed

鵜川 始陽, 花井 亮, 八杉 昌宏, 湯淺 太一

コンピュータソフトウェア   25 ( 2 )   135 - 150   2008.04

L-Closure:高性能・高信頼プログラミング言語の実装向け言語機構 Reviewed

八杉 昌宏, 平石 拓, 篠原 丈成, 湯淺 太一

情報処理学会論文誌：プログラミング   49 ( SIG 1(PRO 35) )   63 - 83   2008.01

Memory Usage Improvement Using Runtime Alias Detection Reviewed

Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, Taiichi Yuasa

Trends in Functional Programming, Intellect   7   129 - 144   2007.12

Improving Search Speed on Pointer-Based Large Data Structures Using a Hierarchical Clustering Copying Algorithm Reviewed

Masahiro Yasugi, Taiichi Yuasa

Post-proceedings of the International Workshop on Innovative Architecture for Future generation Processors and Systems 2007 (IWIA 2007)   43 - 52   2007.12

Experience with SC: Transformation-based Implementation of Various Language Extensions to C Reviewed

Tasuku Hiraishi, Masahiro Yasugi, Taiichi Yuasa

Proceedings of the International Lisp Conference   103 - 113   2007.04

リージョン変数の動的なエイリアス判定によるメモリ効率向上 Reviewed

米田 匡史, 鵜川 始陽, 花井 亮, 八杉 昌宏, 湯淺 太一

情報処理学会論文誌：プログラミング   47 ( SIG 11(PRO 30) )   38 - 49   2006.07

A Type System and Compilation Techniques for Concurrent Objects Reviewed

Masahiro Yasugi

Information and Media Technologies   1 ( 1 )   15 - 32   2006.06

Efficient and Portable Implementation of Java-style Exception Handling in C Reviewed

Seiji Umatani, Hirokazu Shobayashi, Masahiro Yasugi, Taiichi Yuasa

IPSJ Digital Courier   2   238 - 247   2006.05

A Transformation-Based Implementation of Lightweight Nested Functions Reviewed

Tasuku Hiraishi, Masahiro Yasugi, Taiichi Yuasa

IPSJ Digital Courier   2   262 - 279   2006.05

既存Cヘッダファイルの構文の異なる言語での有効利用 Reviewed

平石 拓, 八杉 昌宏, 湯淺 太一

コンピュータソフトウェア   23 ( 2 )   225 - 238   2006.04

Memory Usage Improvement Using Runtime Alias Detection Reviewed

Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, Taiichi Yuasa

Symposium on Trends in Functional Programming 2006   222 - 234   2006.04

Lightweight Lexical Closures for Legitimate Execution Stack Access Reviewed

Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa

Proceedings of 15th International Conference on Compiler Construction.(CC2006)   170 - 184   2006.03

Highly Reliable Embedded Software Development Using Advanced Software Technologies Reviewed

Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani

IEICE Transactions on Information and Systems   E88-D ( 6 )   1105 - 1116   2005.06

Implementing S-Expression Based Extended Languages in Lisp Reviewed

Tasuku Hiraishi, Masahiro Yasugi, Taiichi Yuasa

International Lisp Conference 2005   179 - 188   2005.06

Real-Time GC in JeRTy VM Using the Return-Barrier Method Reviewed

Hideaki Saiki, Yoshiharu Konaka, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa

8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2005)   140 - 148   2005.05

S式ベースC言語における変形規則による言語拡張機構 Reviewed

平石 拓, 李 暁ろ, 八杉 昌宏, 馬谷 誠二, 湯淺 太一

情報処理学会論文誌：プログラミング   46 ( SIG 1(PRO 24) )   40 - 56   2005.01

入れ子関数を利用する動的負荷分散と高水準記述 Reviewed

八杉 昌宏, 小宮 常康, 湯淺 太一

情報処理学会論文誌：コンピューティングシステム   45 ( SIG 11(ACS7) )   368 - 377   2004.10

階層的グループ化に基づくコピー型ごみ集めによる局所性改善 Reviewed

八杉 昌宏, 伊藤 智一, 小宮 常康, 湯淺 太一

情報処理学会論文誌：プログラミング   45 ( SIG 5(PRO 21) )   36 - 52   2004.05

オブジェクト指向並列言語OPAのための遅延正規化手法 Reviewed

馬谷 誠二, 八杉 昌宏, 小宮 常康, 湯淺 太一

情報処理学会論文誌：プログラミング   45 ( SIG 5(PRO 21) )   12 - 25   2004.05

継続の生成におけるスタックコピーの遅延 Reviewed

鵜川 始陽, 皆川 宜久, 小宮 常康, 八杉 昌宏, 湯淺 太一

情報処理学会論文誌：プログラミング   44 ( SIG 13(PRO 18) )   72 - 83   2003.10

Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations Reviewed

Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa

The First Asian Symposium on Programming Languages and Systems (APLAS'03),Springer LNCS 2895   410 - 426   2003.10

Pursuing Laziness for Efficient Implementation of Modern Multithreaded Languages Reviewed

Seiji Umatani, Masahiro Yasugi, Tsuneyasu Komiya, Taiichi Yuasa

The fifth International Symposium on High Performance Computing (ISHPC-V),Springer LNCS 2858   174 - 188   2003.10

Scheme 処理系におけるC言語拡張コードへのライトバリア自動挿入 Reviewed

花井 亮, 小宮 常康, 八杉 昌宏, 湯淺 太一

情報処理学会論文誌：プログラミング   44 ( SIG 4(PRO 17) )   17 - 24   2003.03

適応的オブジェクトのための局面解析手法 Reviewed

鎌田 十三郎, 八杉 昌宏

情報処理学会論文誌：プログラミング   44 ( SIG 2(PRO 16) )   13 - 24   2003.02

遅延タスク生成の反復計算向け拡張 Reviewed

馬谷 誠二, 八杉 昌宏, 小宮 常康, 湯淺 太一

情報処理学会論文誌   43 ( 4 )   948 - 957   2002.04

入れ子関数を利用したマルチスレッドの実現 Reviewed

田畑 悠介, 八杉 昌宏, 小宮 常康, 湯淺 太一

情報処理学会論文誌：プログラミング   43 ( SIG 3(PRO 14) )   26 - 40   2002.03

共有メモリ向けプリミティブとそのGCCを使った実現 Reviewed

八杉 昌宏, 高田 潤, 田畑 悠介, 小宮 常康, 湯淺 太一

情報処理学会論文誌：プログラミング   43 ( SIG 1(PRO 13) )   118 - 132   2002.01

オブジェクト指向並列言語OPAのためのコード生成手法 Reviewed

八杉 昌宏, 馬谷 誠二, 鎌田 十三郎, 田畑 悠介, 伊藤 智一, 小宮 常康, 湯淺 太一

情報処理学会論文誌：プログラミング   42 ( SIG 11(PRO 12) )   1 - 13   2001.11

Javaと相互呼び出し可能なScheme処理系「ぶぶ」における継続機能と例外処理機能の実装 Reviewed

鵜川 始陽, 湯淺 太一, 小宮 常康, 八杉 昌宏

情報処理学会論文誌：プログラミング   42 ( SIG 11(PRO 12) )   25 - 36   2001.11

Java上のScheme処理系「ぶぶ」における単一のクラスローダを用いたオブジェクトシステムの実装 Reviewed

窪田 貴志, 湯淺 太一, 倉林 則之, 八杉 昌宏, 小宮 常康

情報処理学会論文誌：プログラミング   42 ( SIG 7(PRO 11) )   57 - 69   2001.07

リターン・バリア Reviewed

湯淺 太一, 中川 雄一郎, 小宮 常康, 八杉 昌宏

情報処理学会論文誌：プログラミング   41 ( SIG 9(PRO 8) )   87 - 99   2000.11

Hierarchically Structured Synchronization and ExceptionHandling in Parallel Languages Using Dynamic Scope Reviewed

Masahiro Yasugi

Parallel and Distributed Computing for Symbolic and Irregular Applications,World Scientific   122 - 148   2000.05

Adaptive Objects for Concurrent Accesses Reviewed

Masahiro Yasugi, Shigeyuki Eguchi, Kazuo Taki

Object-Oriented Parallel and Distributed Programming,HERMES Science Publications   187 - 206   2000.01

動的スコープの利用による並列言語の同期・例外処理の階層的構造化 Reviewed

八杉 昌宏

情報処理学会論文誌：プログラミング   40 ( SIG 4(PRO 3) )   44 - 57   1999.05

適応的オブジェクトによる排他制御の実行時緩和 Reviewed

江口 重行, 八杉 昌宏, 鎌田 十三郎, 瀧 和男

情報処理学会論文誌   40 ( 5 )   2084 - 2092   1999.05

Eliminating Bottlenecks on Parallel Systems Using Adaptive Objects Reviewed

Masahiro Yasugi, Shigeyuki Eguchi, Kazuo Taki

Proc. of International Conference on Parallel Architectures and Compilation Techniques   80 - 87   1998.10

並列オブジェクト指向言語のためのガーベジコレクタ Reviewed

八杉 昌宏

情報処理学会論文誌   39 ( 6 )   .1691 - 1699   1998.06

Towards Dynamic Load Balancing in C++ Programming and Evaluation on FX700

Chihiro Takeuchi, Masahiro Yasugi, Tasuku Hiraishi

10th International Symposium on Applied Engineering and Sciences (SAES 2022)  2022.12 

並列言語処理系で利用可能な移植性に優れた計算状態操作機構の改善に向けて

竹内 千裕, 八杉 昌宏, 平石 拓

情報処理学会第140回プログラミング研究会 (SWoPP2022)  2022.07  情報処理学会プログラミング研究会

並列言語に適した階層的トラバーサル戦略の実現に向けて

志岐 優介, 八杉 昌宏, 平石 拓

情報処理学会第140回プログラミング研究会 (SWoPP2022)  2022.07  情報処理学会プログラミング研究会

計算状態操作機構を備えたS式ベースJava言語の変換に基づく実装に向けて

西田 知広, 八杉 昌宏, 平石 拓, 小出 洋

情報処理学会第138回プログラミング研究会  2022.03 

Parallelization of Matrix Partitioning in Hierarchical Matrix Construction Using Node-aware Work Stealing

白 正陽, 平石 拓, 伊田 明弘, 八杉 昌宏

情報処理学会第138回プログラミング研究会  2022.03 

協調性と耐障害性に優れた並列実行順序計画法の改善の検討

八杉 昌宏

第24回プログラミングおよびプログラミング言語ワークショップ（PPL2022）  2022.03 

持続型例外処理機構の設計と実装方針

八杉 昌宏, 江本 健斗, 平石 拓

第13回 自動チューニング技術の現状と応用に関するシンポジウム  2021.12 

レベル付き持続型例外処理機構の設計

八杉 昌宏, 江本 健斗, 平石 拓

日本ソフトウェア科学会第38回大会  2021.09 

UTSベンチマークを用いた階層的計算省略に基づく並列実行モデルの性能評価

志岐 優介, 八杉 昌宏, 平石 拓

第23回プログラミングおよびプログラミング言語ワークショップ（PPL2021） 

Copy Reduction and Latency Hiding for MPI-Based Implementations of the Tascell Task-Parallel Language

Huangcheng Cai, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi

第23回プログラミングおよびプログラミング言語ワークショップ（PPL2021） 

out-of-core行列積とタスク並列言語Tascellによる並列化の評価

上中野 寛太, 八杉 昌宏, 平石 拓

第23回プログラミングおよびプログラミング言語ワークショップ（PPL2021） 

移植性に優れた計算状態操作機構を用いた並列言語処理系の性能評価

竹内 千裕, 八杉 昌宏, 平石 拓

第23回プログラミングおよびプログラミング言語ワークショップ（PPL2021） 

Work-Stealing Strategies That Consider Work Amount and Hierarchy

Ryusuke Nakashima, Masahiro Yasugi, Hiroshi Yoritaka, Tasuku Hiraishi, Seiji Umatani

情報処理学会第132回プログラミング研究会 

ワークスティールフレームワークの多様な環境での性能改善と評価

八杉 昌宏, 平石 拓, 光来 健一, 江本 健斗

第12回 自動チューニング技術の現状と応用に関するシンポジウム 

Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language

Daiki Bise, Masahiro Yasugi, Tasuku Hiraishi, Tsuyeyasu Komiya

18th Asian Symposium on Programming Languages and Systems (APLAS 2020) 

実環境向け並列言語実装技法の仮想環境における有効性の調査

與田 拓磨, 八杉 昌宏, 平石 拓, 光来 健一

日本ソフトウェア科学会第37回大会 

分散メモリ環境における階層性と仕事量を考慮したワークスティール戦略

中嶋 隆介, 八杉 昌宏, 平石 拓, 馬谷 誠二

日本ソフトウェア科学会第37回大会 

HOPE: 階層的計算省略に基づく耐障害性を備えた並列実行モデル

八杉 昌宏, 村岡 大輔, 平石 拓, 馬谷 誠二, 江本 健斗

日本ソフトウェア科学会第37回大会 

並列言語Tascellのタスク定義自動生成による記述性向上

山口 左近, 平石 拓, 中島 浩, 八杉 昌宏

第22回プログラミングおよびプログラミング言語ワークショップ（PPL2020） 

JITコンパイルにおけるコード配置効果の研究

森 祥平, 八杉 昌宏, 鵜川 始陽

第22回プログラミングおよびプログラミング言語ワークショップ（PPL2020） 

Implementing the Tascell Task-Parallel Language Tascell Using Multithreaded MPI

Daiki Kojima, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi

International Conference on High Performance Computing in Asia-Pacific Region (HPC Asia 2020) 

高水準言語による障害耐性を備えた新しい並列実行モデル

八杉 昌宏, 平石 拓, 光来 健一, 江本 健斗

第11回 自動チューニング技術の現状と応用に関するシンポジウム 

安全な階層的メモリ割り当て・解放向け型検査方式の例題を用いた検討

阿南 将, 八杉 昌宏

日本ソフトウェア科学会第36回大会 

Implementation of Partitioning of Hierarchical Matrices using Task Parallel Languages

Zhengyang Bai, Tasuku Hiraishi, Hiroshi Nakashima, Akihiro Ida, Masahiro Yasugi

The 48th International Conference on Parallel Processing (ICPP 2019) 

汎用送受信に対応したHOPEコンパイラの研究

橋本 孝太, 八杉 昌宏, 平石 拓, 馬谷 誠二

情報処理学会第125回プログラミング研究会 (SWoPP2019) 

ワーカの重要度を考慮した並列実行フレームワークの障害耐性評価手法の検討

西牟禮 亮, 八杉 昌宏, 平石 拓, 馬谷 誠二

情報処理学会第125回プログラミング研究会 (SWoPP2019) 

Parallelization of Matrix Partitioning in Construction of Hierarchical Matrices using Task Parallel Languages

The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2019) 

タスク並列言語による階層型行列分割処理の並列化

白 正陽, 平石 拓, 中島 浩, 伊田 明弘, 八杉 昌宏

The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2019) 

Parallelization of Matrix Partitioning in Construction of Hierarchical Matrices using Task Parallel Languages

白 正陽, 平石 拓, 中島 浩, 伊田 明弘, 八杉 昌宏

情報処理学会第122回プログラミング研究会 

移植性に優れた計算状態操作機構の評価

八杉 昌宏, 平石 拓, 光来 健一

第10回 自動チューニング技術の現状と応用に関するシンポジウム 

拡張SC言語で記述したSchemeインタプリタによる移植性に優れた計算状態操作機構の評価

八杉 昌宏, 池内 嶺知, 平石 拓, 小宮 常康

情報処理学会第120回プログラミング研究会 (SWoPP2018) 

拡張SC言語で記述したSchemeインタプリタによる計算状態操作機構の評価

八杉 昌宏, 池内 嶺知, 平石 拓, 小宮 常康, 重本 孝太

第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018） 

並列分散フレームワークの耐障害性評価のための通信障害模擬機能

西牟禮 亮, 八杉 昌宏, 平石 拓, 馬谷 誠二

第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018） 

タスク並列言語におけるノード間通信の実装方式の検討

平石 拓, 村岡 大輔, 八杉 昌宏

第59回プログラミング・シンポジウム 

計算状態操作機構による並列言語実装と性能改善

八杉 昌宏, 平石 拓, 光来 健一

第9回 自動チューニング技術の現状と応用に関するシンポジウム 

仮想環境を考慮した要求駆動型負荷分散

良本 海, 八杉 昌宏, 平石 拓, 馬谷 誠二

日本ソフトウェア科学会第34回大会 

分散環境での並列グラフマイニングにおけるタスク中断処理による冗長探索削減

奥野 伸吾, 平石 拓, 中島 浩, 八杉 昌宏, 瀬々 潤

情報処理学会第115回プログラミング研究会 (SWoPP2017) 

優先度ならびに重みを用いたワークスティールフレームワークの性能改善（ヤング・リサーチャー発表枠）

寄高 啓司, 八杉 昌宏, 平石 拓, 馬谷 誠二

The 1st cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2017) 

計算状態操作機構による並列言語実装と評価

八杉 昌宏, 平石 拓, 光来 健一

第8回 自動チューニング技術の現状と応用に関するシンポジウム 

複数言語による正しい並列プログラミングのための計算基盤の検討

八杉 昌宏

日本ソフトウェア科学会第33回大会 

Exception Handling with Collateral Task Abortion in Distributed Memory Environments

HPC in Asia Poster session, ISC High Performance 2016 

分散メモリ環境における並列グラフマイニングの実現に向けて

奥野 伸吾, 平石 拓, 中島 浩, 八杉 昌宏, 瀬々 潤

情報処理学会 第107回プログラミング研究発表会 

多様な計算環境/計算モデルにおける計算状態操作機構

八杉 昌宏, 平石 拓, 光来 健一

第7回 自動チューニング技術の現状と応用に関するシンポジウム 

安全な並列計算向け型検査方式の例題を用いた検討

八杉 昌宏

日本ソフトウェア科学会第32回大会 

分散進捗管理のためのメッセージ媒介システムにおける不要メッセージ削除機能

諏訪 将大, 八杉 昌宏, 平石 拓, 馬谷 誠二

情報処理学会 第105回プログラミング研究発表会 (SWoPP2015) 

タスク並列言語Tascellにおけるノード間通信のMPIによる実装

村岡 大輔, 八杉 昌宏, 平石 拓

第17回プログラミングおよびプログラミング言語ワークショップ（PPL2015） 

ワークスティールフレームワーク向け確率的ガードの提案と性能解析

寄高 啓司, 松井 健, 八杉 昌宏, 平石 拓

第17回プログラミングおよびプログラミング言語ワークショップ（PPL2015） 

メッセージ媒介システムの構想と試験実装

諏訪 将大, 八杉 昌宏, 平石 拓, 馬谷 誠二

Annual Meeting on Advanced Computing System and Infrastructure (ACSI) 2015 

計算状態操作機構の新展開に向けて

八杉 昌宏, 平石 拓, 光来 健一

第6回 自動チューニング技術の現状と応用に関するシンポジウム 

メモリモデルを考慮した汎用型付中間言語設計に向けて

八杉 昌宏

高信頼な理論と実装のための定理証明および定理証明器 (TPP 2014) 

Parallelized Mining of Subgraphs Sharing Common Items using Task-Parallel Language Tascell

HPC in Asia Poster (in conjunction with of ISC'14) 

Cache-conscious Hierarchical Clustering with a Lisp Garbage Collector

Masahiro Yasugi, Shingo Yuasa

情報処理学会 第99回プログラミング研究発表会 

タスク並列言語Tascellを用いたアイテム共有部分グラフの並列マイニング

奥野 伸吾, 平石 拓, 中島 浩, 八杉 昌宏, 瀬々 潤

第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） 

安全な計算状態操作機構の新しい実装

八杉 昌宏, 平石 拓

第5回 自動チューニング技術の現状と応用に関するシンポジウム 

高速な多次元配列操作のための型検査方式の検討

八杉 昌宏

日本ソフトウェア科学会第30回大会 

JNI規則違反検出ツールSEANの開発とそれを用いたAndroidのバグ修正

西脇 春名, 鵜川 始陽, 馬谷 誠二, 八杉 昌宏, 湯淺 太一

第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013） 

安全な計算状態操作機構の実用化

八杉 昌宏, 平石 拓

第4回 自動チューニング技術の現状と応用に関するシンポジウム 

Detecting Bugs in Android Using a Static Escape Analyzer SEAN for Native Code

Haruna Nishiwaki, Tomoharu Ugawa, Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa

The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) 

Typed Construction of Cyclic Data Structures Using Provisional Assumptions

Masahiro Yasugi

The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) 

Safeアンビエントの移動動作のセキュアな実装手法

馬谷 誠二, 八杉 昌宏

日本ソフトウェア科学会第29回大会 

ワークスティーリングフレームワークにおける集団通信機能

松井 健, 平石 拓, 八杉 昌宏, 馬谷 誠二

並列/分散/協調処理に関するサマー・ワークショップ（SWoPP2012） 

高速版Barnes-Hut多体シミュレーションの並列実装

松井 健, 平石 拓, 八杉 昌宏, 馬谷 誠二

先進的計算基盤システムシンポジウム (SACSIS2012) 

コードシェーカ: コード配置効果を考慮した適正な性能評価システム

松田 友希, 八杉 昌宏, 鵜川 始陽

第14回プログラミングおよびプログラミング言語ワークショップ（PPL2012） 

Scala ActorライブラリによるSafe Ambientsフレームワークの実装

岡田 翔太, 馬谷 誠二, 林 奉行, 八杉 昌宏, 湯淺 太一

情報処理学会 第87回プログラミング研究発表会 

ビットレベル低水準命令列のBDDに基づく検証技法に関する考察

八杉 昌宏

ディペンダブルシステムワークショップ & シンポジウム (DSW & DSS 2011) 

安全な計算状態操作機構の実現と応用

平石 拓, 八杉 昌宏

第3回 自動チューニング技術の現状と応用に関するシンポジウム 

Safeアンビエントに基づく分散アプリケーション開発用Lisp環境

林 奉行, 馬谷 誠二, 八杉 昌宏, 湯淺 太一

日本ソフトウェア科学会第28回大会 

ワークスティーリングフレームワークにおけるブロードキャスト機能

松井 健, 平石 拓, 八杉 昌宏, 馬谷 誠二, 湯淺 太一

並列/分散/協調処理に関するサマー・ワークショップ（SWoPP2011） 

動的負荷分散フレームワークTascellの広域分散およびメニーコア環境における評価

平石 拓, 八杉 昌宏, 馬谷 誠二

先進的計算基盤システムシンポジウム (SACSIS2011) 

Safeアンビエントに基づく分散アプリケーション開発用Lisp環境

林 奉行, 馬谷 誠二, 八杉 昌宏, 湯淺 太一

第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011） 

パネル討論: 基盤ソフトウェアの課題、研究開発アプローチ、マイルストーン（２）「言語、ミドルウェア」

八杉 昌宏

第3回戦略的高性能計算システム開発に関するワークショップ 

高性能，高信頼性，高生産性並列計算環境向けプログラミング言語/システム

八杉 昌宏

第2回戦略的高性能計算システム開発に関するワークショップ 

パネル討論：ポストペタ時代のソフトウェア技術

八杉 昌宏

第2回 自動チューニング技術の現状と応用に関するシンポジウム 

安全な計算状態操作機構のこれまでと今後

八杉 昌宏

第2回 自動チューニング技術の現状と応用に関するシンポジウム 

ビットレベル表現をサポートする低水準言語におけるBDDを利用したプログラム検証に向けて

八杉 昌宏

日本ソフトウェア科学会第27回大会 

バックトラックに基づく負荷分散の高並列環境における評価

平石 拓, 河野 卓矢, 八杉 昌宏, 馬谷 誠二, 湯淺 太一

並列/分散/協調処理に関するサマー・ワークショップ（SWoPP2010） 

構成的理論に基づいたプログラミング言語Zとその実装

新名 庸生, 佐藤 雅彦, 馬谷 誠二, 八杉 昌宏, 湯淺 太一

情報処理学会 第79回プログラミング研究発表会 

Tascell: a Backtracking-based Load Balancing Framework

Tasuku Hiraishi, Masahiro Yasugi, Takuya Kouno, Seiji Umatani, Taiichi Yuasa

24th International Conference on Supercomputing (ICS '10) 

計算状態操作機構を利用した動的負荷分散フレームワーク

情報処理学会関西支部「ものづくり基盤コンピューティングシステム研究会」平成21年度第3回研究会  2010.03 

高水準プログラミングによる細部の自由と計算状態操作機構

自動チューニング技術の現状と応用に関するシンポジウム  2009.10 

安全な計算状態操作機構の実用化

Grant number：21300008  2009.04 - 2014.03   基盤研究(B)

並列分散計算環境を安定有効活用する要求駆動型負荷分散

Grant number：21013027  2009.04 - 2011.03   特定領域研究

安全で高速な共通計算基盤のための低水準の型付中間言語

Grant number：20650004  2008.04 - 2011.03   挑戦的萌芽研究

Information Processing Society of Japan  

2021.03 - 2021.07

Information Processing Society of Japan  

2020.06 - 2023.05

IEEE   Transactions on Parallel and Distributed System's Editorial Board Associate Editor  

2020.06 - 2022.05

Japan Society for Software Science and Technology  

2020.04 - 2022.03

Information Processing Society of Japan  

2020.03 - 2020.07

AAFS (the Asian Association for Foundation of Software)   The 18th Asian Symposium on Programming Languages and Systems (APLAS 2020), General Chair  

2019.12 - 2020.12

文部科学省科学技術・学術政策研究所　科学技術予測センター   専門調査員  

2019.04 - 2020.03

Information Processing Society of Japan  

2019.03 - 2019.05

IEEE   Transactions on Parallel and Distributed System's Editorial Board Associate Editor  

2018.06 - 2020.05

理化学研究所 計算科学研究センター   客員主管研究員  

2018.04 - 2021.03

Information Processing Society of Japan  

2018.04 - 2020.03

文部科学省科学技術・学術政策研究所　科学技術予測センター   専門調査員  

2018.04 - 2019.03

Information Processing Society of Japan  

2018.01 - 2018.05

Information Processing Society of Japan  

2017.06 - 2020.05

文部科学省科学技術・学術政策研究所　科学技術予測センター   専門調査員  

2017.04 - 2018.03

Information Processing Society of Japan  

2016.10 - 2017.04

Japan Society for Software Science and Technology  

2016.07 - 2017.03

Japan Society for Software Science and Technology  

2016.06 - 2018.06

Japan Society for Software Science and Technology  

2016.05 - 2016.09

Information Processing Society of Japan  

2016.04 - 2018.03

Information Processing Society of Japan  

2016.04 - 2018.03

理化学研究所 計算科学研究機構   客員主管研究員  

2016.04 - 2018.03

文部科学省科学技術・学術政策研究所　科学技術予測センター   専門調査員  

2016.04 - 2017.03

Japan Society for Software Science and Technology  

2015.11 - 2016.03

Information Processing Society of Japan  

2015.06 - 2017.05

理化学研究所 計算科学研究機構   客員主管研究員  

2015.04 - 2016.03

Japan Society for Software Science and Technology  

2015.04 - 2015.09

Information Processing Society of Japan  

2015.02 - 2016.02

Automatic Tuning Research Group   ``International Workshop on Automatic Performance Tuning'', iWAPT 2015, Program Committee Member  

2014.09 - 2016.03

Japan Society for Software Science and Technology  

2014.06 - 2016.06

Japan Society for Software Science and Technology  

2014.05 - 2014.09

Japan Society for Software Science and Technology  

2014.05 - 2014.09

理化学研究所 計算科学研究機構   客員主管研究員  

2014.04 - 2015.03

Information Processing Society of Japan  

2014.04 - 2015.06

Information Processing Society of Japan  

2014.02 - 2015.02

Automatic Tuning Research Group   ``International Workshop on Automatic Performance Tuning'', iWAPT 2014, Program Committee Member  

2013.10 - 2015.03

Information Processing Society of Japan  

2013.06 - 2015.05

Japan Society for Software Science and Technology  

2013.04 - 2017.03

Information Processing Society of Japan  

2013.04 - 2015.03

Information Processing Society of Japan  

2012.12 - 2013.06

Association for Computing Machinery   ``The International Conference for High Performance Computing, Networking, Storage, and Analysis'', SC13, Technical Papers Committee Member  

2012.10 - 2013.11

Automatic Tuning Research Group   ``International Workshop on Automatic Performance Tuning'', iWAPT 2013, Program Committee Member  

2012.10 - 2013.06

Information Processing Society of Japan  

2012.04 - 2014.03

Japan Society for Software Science and Technology  

2012.04 - 2012.08

Automatic Tuning Research Group   ``International Workshop on Automatic Performance Tuning'', iWAPT 2012, Program Committee Member  

2011.11 - 2013.02

Japan Society for Software Science and Technology  

2011.11 - 2012.03

Association for Computing Machinery   ``The International Conference for High Performance Computing, Networking, Storage, and Analysis'', SC12, Technical Papers Committee Member  

2011.10 - 2012.11

IEEE   ``International Workshop on High-Level Parallel Programming Models and Supportive Environments'', HIPS 2012, Program Committee Member  

2011.10 - 2012.05

理化学研究所 計算科学研究機構   客員研究員  

2011.05 - 2014.03

Information Processing Society of Japan  

2011.04 - 2013.03

Information Processing Society of Japan  

2010.12 - 2011.06

Automatic Tuning Research Group   ``International Workshop on Automatic Performance Tuning'', iWAPT 2011, Program Committee Member  

2010.10 - 2011.06

Japan Society for Software Science and Technology  

2010.09 - 2011.09

Information Processing Society of Japan  

2010.04 - 2012.03

筑波大学計算科学研究センター 並列プログラミング言語検討委員会   委員  

2009.07 - 2012.03

Automatic Tuning Research Group   ``International Workshop on Automatic Performance Tuning'', iWAPT 2009, Program Committee Member  

2009.04 - 2009.10

Japan Society for Software Science and Technology  

2009.04 - 2009.09

Information Processing Society of Japan  

2008.12 - 2009.06

Japan Society for Software Science and Technology  

2008.11 - 2009.03

Information Processing Society of Japan  

2008.04 - 2012.03

Information Processing Society of Japan  

2008.04 - 2010.03

Information Processing Society of Japan  

2008.04 - 2010.03

Japan Society for Software Science and Technology  

2007.11 - 2008.03

Information Processing Society of Japan  

2006.12 - 2007.06

Japan Society for Software Science and Technology  

2006.11 - 2006.12

Information Processing Society of Japan  

2006.04 - 2008.03

Information Processing Society of Japan  

2006.04 - 2008.03

Information Processing Society of Japan  

2005.12 - 2006.06

Japan Society for Software Science and Technology  

2005.12 - 2006.01

Information Processing Society of Japan  

2005.06

Japan Society for Software Science and Technology  

2005.04 - 2005.09

Japan Society for Software Science and Technology  

2004.12 - 2005.01

IEEE   ``Workshop on Dependable Software -- Tools and Methods'' in the International Conference on Dependable Systems and Networks (DSN-2005), Program Commit  

2004.11 - 2005.07

Information Processing Society of Japan  

2004.05 - 2005.05

Information Processing Society of Japan  

2004.04 - 2006.03

Information Processing Society of Japan  

2004.04 - 2006.03

Japan Society for Software Science and Technology  

2003.12 - 2004.02

文部科学省科学技術・学術政策研究所　科学技術動向研究センター   専門調査員  

2003.04 - 2016.03

Information Processing Society of Japan  

2003.04 - 2004.03

Information Processing Society of Japan  

2002.04 - 2008.04

Information Processing Society of Japan  

2002.04 - 2004.03

Japan Society for Software Science and Technology  

2002.03 - 2003.03

Japan Society for Software Science and Technology  

2001.11 - 2002.03

Japan Society for Software Science and Technology  

2000.11 - 2001.03

Information Processing Society of Japan  

1999.11 - 2000.06

Japan Society for Software Science and Technology  

1999.11 - 2000.03

Information Processing Society of Japan  

1998.11 - 1999.06

Japan Society for Software Science and Technology  

1998.11 - 1999.03

Information Processing Society of Japan  

1998.04 - 2002.03

Information Processing Society of Japan  

1998.04 - 2001.03

Japan Society for Software Science and Technology  

1997.11 - 1998.03

Information Processing Society of Japan  

1997.04 - 2005.03

Information Processing Society of Japan  

1996.05 - 1997.06