Publications

  • 田附正充, 八杉昌宏, 平石拓, 馬谷誠二. L-Closureの呼び出しコストの削減. 情報処理学会論文誌　プログラミング, Vol. 6, No. 2, pp. 13-32, August 2013.
  • Masahiro Yasugi, Yuki Matsuda, and Tomoharu Ugawa. A Proper Performance Evaluation System That Summarizes Code Placement Effects. In Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '13), pp. 41-48, June 2013.
  • 西脇春名, 鵜川始陽, 馬谷誠二, 八杉昌宏, 湯淺太一. JNI規則違反検出ツールSEANの開発とそれを用いたAndroidのバグ修正. 第15回プログラミングおよび プログラミング言語ワークショップ論文集(PPL2013), March 2013.
  • 林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一. Safeアンビエントに基づく分散アプリケーション開発用Lisp環境. コンピュータソフトウェア, Vol. 30, No. 1, pp. 231-256, February 2013.
  • 八杉昌宏, 平石拓. 安全な計算状態操作機構の実用化. 自動チューニング技術の現状と応用に関するシンポジウム, December 2012.
  • Haruna Nishiwaki, Tomoharu Ugawa, Seiji Umatani, Masahiro Yasugi, and Taiichi Yuasa. Detecting Bugs in Android Using a Static Escape Analyzer SEAN for Native Code. The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), December 2012. (Poster Presentation).
  • Masahiro Yasugi. Typed Construction of Cyclic Data Structures Using Provisional Assumptions. The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), December 2012. (Poster Presentation).
  • Masahiro Yasugi, Shingo Yuasa, and Taiichi Yuasa. Automatic and Tunable Multi-Level Locality Improvement with a Lisp Garbage Collector. In Proceedings of the International Lisp Conference, pp. 53-61, October 2012.
  • 馬谷誠二, 八杉昌宏. Safeアンビエントの移動動作のセキュアな実装手法. 日本ソフトウェア科学会第29回大会講演論文集, August 2012.
  • Haruna Nishiwaki, Tomoharu Ugawa, Seiji Umatani, Masahiro Yasugi, and Taiichi Yuasa. SEAN: Support Tool for Detecting Rule Violations in JNI Coding. IPSJ Transactions on Programming, Vol. 5, No. 3, pp. 23-28, August 2012.
  • 松井健, 平石拓, 八杉昌宏, 馬谷誠二. ワークスティーリングフレームワークにおける集団通信機能. 情報処理学会研究報告 (SWoPP '12), Vol. 2012-HPC-135, No. 10, pp. 1-8, July 2012.
  • 松井健, 平石拓, 八杉昌宏, 馬谷誠二. 高速版Barnes-Hut多体シミュレーションの並列実装. 先進的計算基盤システムシンポジウム (SACSIS2012), pp. 298-306, May 2012.
  • 松田友希, 八杉昌宏, 鵜川始陽. コードシェーカ: コード配置効果を考慮した適正な性能評価システム. 第14回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2012), pp. 115-129, March 2012.
  • 八杉昌宏. 日本ソフトウェア科学会第28回大会報告. コンピュータソフトウェア, Vol. 29, No. 1, pp. 240-250, February 2012.
  • 岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一. Scala ActorライブラリによるSafe Ambientsフレームワークの実装. 情報処理学会第87回プログラミング研究会, January 2012.
  • Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani, and Taiichi Yuasa. Parallel Graph Traversals using Work-Stealing Frameworks for Many-core Platforms. Journal of Information Processing, Vol. 20, No. 1, pp. 128-139, January 2012.
  • 八杉昌宏. ビットレベル低水準命令列のBDDに基づく検証技法に関する考察. ディペンダブルシステムワークショップ & シンポジウム, December 2011. (ポスター発表).
  • 平石拓, 八杉昌宏. 安全な計算状態操作機構の実現と応用. 自動チューニング技術の現状と応用に関するシンポジウム, December 2011.
  • 八杉昌宏. 自動チューニングの実行時適用性を拡大する言語機構. 日本応用数理学会2011年会, September 2011.
  • 林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一. Safeアンビエントに基づく分散アプリケーション開発用Lisp環境. 日本ソフトウェア科学会第28回大会講演論文集, September 2011.
  • 松井健, 平石拓, 八杉昌宏, 馬谷誠二, 湯淺太一. ワークスティーリングフレームワークにおけるブロードキャスト機能. 情報処理学会研究報告 (SWoPP '11), Vol. 2011-HPC-130, No. 56, pp. 1-11, July 2011.
  • 八杉昌宏. 並列／高信頼プログラミング言語と実装技術. 東京大学コンピュータ科学専攻講演会, July 2011.
  • 平石拓, 八杉昌宏. バックトラックに基づく動的負荷分散フレームワークTascell. 京都大学学術情報メディアセンター 全国共同利用版広報, Vol. 10, No. 1, pp. 31-42, June 2011.
  • 岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一. Safe AmbientsのためのJavaフレームワーク. 情報処理学会論文誌　プログラミング, Vol. 4, No. 3, pp. 26-41, June 2011.
  • Seiji Umatani, Masahiro Yasugi, and Taiichi Yuasa. Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks. In Proceedings of the 13th International Conference on Coordination Models and Languages (COORDINATION 2011), No. 6721 in Lecture Notes in Computer Science, pp. 172-186, June 2011.
  • 平石拓, 八杉昌宏, 馬谷誠二. 動的負荷分散フレームワークTascellの広域分散およびメニーコア環境における評価. 先進的計算基盤システムシンポジウム (SACSIS2011), pp. 55-63, May 2011.
  • 林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一. Safeアンビエントに基づく分散アプリケーション開発用Lisp環境. 第13回プログラミングおよびプログラミング言語 ワークショップ論文集(PPL2011), p. 82, March 2011. (カテゴリ3, ポスター・デモ).
  • Masahiro Yasugi. Frameworks for Multicore Platforms. Workshop on Resource Management of Manycore, GPU, and NVRAM, February 2011.
  • 八杉昌宏. パネル討論: 基盤ソフトウェアの課題、研究開発アプローチ、 マイルストーン（２）「言語、ミドルウェア」. 第3回戦略的高性能計算システム開発に関するワークショップ, February 2011.
  • 平石拓, 八杉昌宏, 湯淺太一. SC言語処理系における変形規則の再利用機構. コンピュータソフトウェア, Vol. 28, No. 1, pp. 258-271, February 2011.
  • 八杉昌宏, 小島啓史, 小宮常康, 平石拓, 馬谷誠二, 湯淺太一. L-Closureを用いた真に末尾再帰的なSchemeインタプリタ. 情報処理学会論文誌　プログラミング, Vol. 3, No. 5, pp. 1-17, December 2010.
  • Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani, and Taiichi Yuasa. Dynamic Graph Traversals for Concurrent Rewriting using Work-Stealing Frameworks for Multicore Platforms. In Proceedings of the 16th International Conference on Parallel and Distributed Systems (ICPADS 2010), pp. 406-414, December 2010.
  • 八杉昌宏. 高性能，高信頼性，高生産性並列計算環境向けプログラミング言語/システム. 第2回戦略的高性能計算システム開発に関するワークショップ, November 2010.
  • 八杉昌宏. パネル討論：ポストペタ時代のソフトウェア技術. 自動チューニング技術の現状と応用に関するシンポジウム, November 2010.
  • 八杉昌宏. 安全な計算状態操作機構のこれまでと今後. 自動チューニング技術の現状と応用に関するシンポジウム, November 2010.
  • Shingo Yuasa and Masahiro Yasugi. Validating Low-Level Instructions for Fixnums using BDDs. In Proceedings of the 2010 International Lisp Conference (ILC 2010), pp. 11-19, October 2010.
  • Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, and Seiji Umatani. Managing Continuations for Proper Tail Recursion. In Proceedings of the 2010 International Lisp Conference (ILC 2010), pp. 65-72, October 2010.
  • 八杉昌宏. 並列プログラミング言語と実装技術. 東京大学情報理工実践プログラム特別講演, September 2010.
  • 八杉昌宏. ビットレベル表現をサポートする低水準言語におけるBDDを利用したプログラム検証に向けて. 日本ソフトウェア科学会第27回大会講演論文集, September 2010.
  • 平石拓, 河野卓矢, 八杉昌宏, 馬谷誠二, 湯淺太一. バックトラックに基づく負荷分散の高並列環境における評価. 情報処理学会研究報告 (SWoPP '10), Vol. 2010-HPC-126, No. 25, pp. 1-11, August 2010.
  • 八杉昌宏. L-Closure：安全な計算状態操作機構. 情報処理, Vol. 51, No. 7, p. 885, July 2010.
  • 新名庸生, 佐藤雅彦, 馬谷誠二, 八杉昌宏, 湯淺太一. 構成的理論に基づいたプログラミング言語Zとその実装. 情報処理学会第79回プログラミング研究会, June 2010.
  • Tasuku Hiraishi, Masahiro Yasugi, Takuya Kouno, Seiji Umatani, and Taiichi Yuasa. Tascell: a Backtracking-based Load Balancing Framework. 24th International Conference on Supercomputing (ICS '10), June 2010. (Poster presentation).
  • 馬谷誠二, 八杉昌宏, 湯淺太一. 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計. コンピュータソフトウェア, Vol. 27, No. 2, pp. 50-61, May 2010.
  • 八杉昌宏. 計算状態操作機構を利用した動的負荷分散フレームワーク. 情報処理学会関西支部 「ものづくり基盤コンピューティングシステム研究会」 平成21年度第3回研究会, March 2010.
  • 河野卓矢, 八杉昌宏, 平石拓, 馬谷誠二, 湯淺太一. バックトラックに基づく負荷分散の広域分散環境における評価. 情報処理学会創立50周年記念（第72回）全国大会論文集, 第5分冊「情報爆発」時代に向けた新IT 基盤技術, pp. 221-222, March 2010.
  • 外山真, 馬谷誠二, 八杉昌宏, 湯淺太一. アンビエント計算に基づくWebアプリケーション開発環境. 第12回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2010), p. 228, March 2010. (カテゴリ3, ポスター・デモ).
  • 小島啓史, 八杉昌宏, 小宮常康, 平石拓, 馬谷誠二, 湯淺太一. L-closureを用いた真に末尾再帰的なSchemeインタプリタの実装. 第12回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2010), p. 224, March 2010. (カテゴリ3, ショートプレゼンテーション).
  • 松田友希, 馬谷誠二, 八杉昌宏, 湯淺太一. Android DalvikVM における正確なごみ集め. 第12回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2010), p. 223, March 2010. (カテゴリ3, ショートプレゼンテーション).
  • 渡邉真人, 八杉昌宏, 馬谷誠二, 湯淺太一. 局所性を改善する世代別ごみ集めのSchemeインタプリタにおける 実装と評価. 第12回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2010), p. 223, March 2010. (カテゴリ3, ショートプレゼンテーション).
  • 河野卓矢, 八杉昌宏, 平石拓, 馬谷誠二, 湯淺太一. バックトラックに基づく負荷分散の広域分散環境における評価. 第12回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2010), p. 223, March 2010. (カテゴリ3, ショートプレゼンテーション).
  • 八杉昌宏. 安全で高速な共通計算基盤のための低水準の型付中間言語の検討. 第12回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2010), p. 82, March 2010. (カテゴリ3, ポスター).
  • 宮本琢也, 馬谷誠二, 八杉昌宏, 湯淺太一. 広域分散環境で動作するSafeアンビエント処理系. 第12回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2010), p. 81, March 2010. (カテゴリ3, ポスター).
  • 八杉昌宏. 高水準プログラミングによる細部の自由と計算状態操作機構. 自動チューニング技術の現状と応用に関するシンポジウム, October 2009.
  • 平石拓, 八杉昌宏, 湯淺太一. SC言語処理系における変形規則の再利用機構. 日本ソフトウェア科学会第26回大会講演論文集, September 2009.
  • 馬谷誠二, 八杉昌宏, 湯淺太一. 高級アンビエント計算システムを用いた分散プログラミング. 情報処理学会 夏のプログラミング・シンポジウム2009, pp. 117-124, September 2009.
  • 平石拓, 八杉昌宏, 馬谷誠二, 湯淺太一. バックトラックに基づく負荷分散のT2K並列環境における評価. 情報処理学会研究報告 (SWoPP '09), Vol. 2009-HPC-121, No. 7, pp. 1-11, August 2009.
  • 藤川浩光, 馬谷誠二, 八杉昌宏, 湯淺太一. リターンバリア型実時間ごみ集めの抽象モデル検査. 情報処理学会論文誌　プログラミング, Vol. 2, No. 4, pp. 13-32, August 2009.
  • 八杉昌宏, 後藤裕輔, 馬谷誠二, 湯淺太一. Cache-conscious階層的グループ化データ配置法：Cache-oblivious配置法との実験的比較. 情報処理学会論文誌　プログラミング, Vol. 2, No. 3, pp. 33-47, July 2009.
  • 平石拓, 八杉昌宏, 馬谷誠二, 湯淺太一. バックトラックに基づく負荷分散. 先進的計算基盤システムシンポジウム (SACSIS2009), pp. 118-119, May 2009. (ポスター).
  • 八杉昌宏. 展望するプログラム・やり直すプログラム. 数理の翼夏季セミナー30周年記念公開講演会, May 2009.
  • Masahiro Yasugi. L-Closures: a Language Mechanism for Legitimate Manipulation of Execution States. Joint Workshop of Beijing, Hong Kong and Kyoto on Computational Mathematics, Computer and Systems Sciences (CMCSS) 2009, March 2009.
  • Tasuku Hiraishi, Masahiro Yasugi, Seiji Umatani, and Taiichi Yuasa. Backtracking-based Load Balancing. In Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2009), pp. 55-64, February 2009.
  • Masahiro Yasugi. Towards a Low-Level Typed Intermediate Language for Implementing Safe, High-Performance Programming Languages. In Proceedings of Workshop on Software Science and Technology in China and Japan, pp. 5-8, September 2008.
  • Tasuku Hiraishi, Masahiro Yasugi, Seiji Umatani, and Taiichi Yuasa. Backtracking-based Load Balancing. In Proceedings of Workshop on Software Science and Technology in China and Japan, pp. 95-118, September 2008.
  • Seiji Umatani, Masahiro Yasugi, and Taiichi Yuasa. Design of a Distributed Ambient System That Enables Flexible Designation of Communication/Migration Targets with Dynamic Name Resolution. In Proceedings of Workshop on Software Science and Technology in China and Japan, pp. 38-47, September 2008.
  • 原悠, 鵜川始陽, 湯淺太一, 八杉昌宏. タプル空間によるブラウザ間通信を備えたScheme処理系の開発. 情報処理学会論文誌　プログラミング, Vol. 1, No. 2, pp. 85-99, September 2008.
  • 馬谷誠二, 八杉昌宏, 湯淺太一. 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計. 日本ソフトウェア科学会第25回大会論文集, September 2008.
  • 八杉昌宏, 湯淺太一. 階層的グループ化を用いた大規模リンク構造上の局所性改善. 先進的計算基盤システムシンポジウム (SACSIS2008), p. 50, June 2008. (ポスター).
  • Tomoharu Ugawa, Masahiro Yasugi, and Taiichi Yuasa. Replication-Based Incremental Compaction. In Proc. of the 11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing, pp. 516-524, May 2008.
  • 鵜川始陽, 花井亮, 八杉昌宏, 湯淺太一. マルチスレッド環境における実時間ごみ集めのためのスレッド再開バリア. コンピュータソフトウェア, Vol. 25, No. 2, pp. 135-150, April 2008.
  • 八杉昌宏, 平石拓, 篠原丈成, 湯淺太一. L-Closure：高性能・高信頼プログラミング言語の実装向け言語機構. 情報処理学会論文誌：プログラミング, Vol. 49, No. SIG 1 (PRO 35), pp. 63-83, January 2008.
  • Masahiro Yasugi and Taiichi Yuasa. Improving Search Speed on Pointer-Based Large Data Structures Using a Hierarchical Clustering Copying Algorithm. In Post-proceedings of the International Workshop on Innovative Architecture for Future Generation Processors and Systems 2007 (IWIA 2007), pp. 43-52, December 2007.
  • Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, and Taiichi Yuasa. Memory Usage Improvement Using Runtime Alias Detection. In Henrik Nilsson, editor, Trends in Functional Programming, Vol. 7, pp. 129-144. Intellect, 2007.
  • Seiji Umatani, Masahiro Yasugi, and Taiichi Yuasa. Towards a Practical π-Calculus Based Mobile Agent System. The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007), November 2007. (Poster Presentation).
  • 後藤裕輔, 馬谷誠二, 八杉昌宏, 湯淺太一. 言語中立な分散共有オブジェクトシステムLAIOS. 先進的計算基盤システムシンポジウム (SACSIS2007), pp. 35-42, May 2007.
  • Tasuku Hiraishi, Masahiro Yasugi, and Taiichi Yuasa. Experience with SC: Transformation-based Implementation of Various Language Extensions to C. In Proceedings of the International Lisp Conference, pp. 103-113, April 2007.
  • 八杉昌宏. 正確なごみ集めを前提とした低水準の型付中間言語の設計. 第9回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2007), pp. 111-122, March 2007.
  • 花岡俊行, 平石拓, 八杉昌宏, 湯淺太一. SC言語処理系を用いたオブジェクト指向言語の実現. 第9回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2007), p. 217, March 2007. (カテゴリ3, ショートプレゼンテーション).
  • 篠原丈成, 八杉昌宏, 馬谷誠二, 湯淺太一. 拡張C言語XC-cubeのx86-64上の実装. 第9回プログラミングおよびプログラミング言語 ワークショップ論文集(PPL2007), p. 218, March 2007. (カテゴリ3, ポスター).
  • Masahiro Yasugi. Improving Search Speed on Pointer-Based Large Data Structures Using a Hierarchical Clustering Copying Algorithm. International Workshop on Innovative Architecture for Future Generation High-Performance Processors and Systems (IWIA'07), January 2007.
  • 鵜川始陽, 花井亮, 八杉昌宏, 湯淺太一. マルチスレッド環境における実時間ごみ集めのためのスレッド再開バリア. 日本ソフトウェア科学会第23回大会論文集, September 2006.
  • Masahiro Yasugi. Lightweight Lexical Closures for Legitimate Execution Stack Access with Applications to Garbage Collection and Load Balancing. CS SEMINAR, School of Computing, National University of Singapore, September 2006.
  • 米田匡史, 鵜川始陽, 花井亮, 八杉昌宏, 湯淺太一. リージョン変数の動的なエイリアス判定によるメモリ効率向上. 情報処理学会論文誌：プログラミング, Vol. 47, No. SIG 11 (PRO 30), pp. 38-49, July 2006.
  • Masahiro Yasugi. A Type System and Compilation Techniques for Concurrent Objects. Information and Media Technologies, Vol. 1, No. 1, pp. 15-32, June 2006. (JSSST journal, ``Computer Software'', Vol. 21, No. 6, pp. 16-33, 2004).
  • 後藤裕輔, 馬谷誠二, 八杉昌宏, 湯淺太一. 言語中立な分散共有オブジェクトシステムの設計. 先進的計算基盤システムシンポジウム (SACSIS2006), pp. 230-231, May 2006. (ポスター).
  • Tasuku Hiraishi, Masahiro Yasugi, and Taiichi Yuasa. A Transformation-Based Implementation of Lightweight Nested Functions. IPSJ Digital Courier, Vol. 2, pp. 262-279, May 2006. (IPSJ Transactions on Programming, Vol. 47, No. SIG 6 (PRO 29), pp. 50-67, 2006).
  • Seiji Umatani, Hirokazu Shobayashi, Masahiro Yasugi, and Taiichi Yuasa. Efficient and Portable Implementation of Java-style Exception Handling in C. IPSJ Digital Courier, Vol. 2, pp. 238-247, May 2006. (IPSJ Transactions on Programming, Vol. 47, No. SIG 6 (PRO 29), pp. 1-10, 2006).
  • 平石拓, 八杉昌宏, 湯淺太一. 既存Cヘッダファイルの構文の異なる言語での有効利用. コンピュータソフトウェア, Vol. 23, No. 2, pp. 225-238, April 2006.
  • Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, and Taiichi Yuasa. Memory Usage Improvement Using Runtime Alias Detection. In Symposium on Trends in Functional Programming 2006, pp. 222-234, April 2006.
  • Masahiro Yasugi, Tasuku Hiraishi, and Taiichi Yuasa. Lightweight Lexical Closures for Legitimate Execution Stack Access. In Proceedings of the 15th International Conference on Compiler Construction (CC2006), No. 3923 in Lecture Notes in Computer Science, pp. 170-184. Springer-Verlag, March 2006.
  • 田中智之, 湯淺太一, 八杉昌宏. ウイグル語日本語機械翻訳の試験実装. 第9回プログラミングおよび応用のシステムに関するワークショップ(SPA2006), March 2006. (ポスター).
  • 鵜川始陽, 田中英行, 八杉昌宏, 湯淺太一. 書込バリアの追加が少ない複製に基づくコピーGC. 第8回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2006), p. 184, March 2006. (カテゴリ3).
  • 原悠, 鵜川始陽, 八杉昌宏, 湯淺太一. Webアプリケーションのためのブラウザ内Scheme. 第8回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2006), p. 184, March 2006. (カテゴリ3).
  • 長坂卓哉, 平石拓, 八杉昌宏, 馬谷誠二, 湯淺太一. ソースレベルチェックポインティングの実現に向けて. 日本ソフトウェア科学会第22回大会論文集, September 2005.
  • 大林竜太, 平石拓, 八杉昌宏, 馬谷誠二, 湯淺太一. 遅延分割型負荷分散フレームワークの試験実装. 情報処理学会第55回プログラミング研究会 (SWoPP2005), August 2005.
  • Tasuku Hiraishi, Masahiro Yasugi, and Taiichi Yuasa. Implementing S-Expression Based Extended Languages in Lisp. In Proceedings of the International Lisp Conference, pp. 179-188, June 2005.
  • Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, and Seiji Umatani. Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Transactions on Information and Systems, Vol. E88-D, No. 6, pp. 1105-1116, June 2005.
  • Hideaki Saiki, Yoshiharu Konaka, Tsuneyasu Komiya, Masahiro Yasugi, and Taiichi Yuasa. Real-Time GC in JeRTy VM Using the Return-Barrier Method. In Proc. of the 8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2005), pp. 140-148, May 2005.
  • 平石拓, 八杉昌宏, 湯淺太一. 既存Cヘッダファイルの他言語での有効利用. 第7回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2005), pp. 139-152, March 2005.
  • 斎木秀明, 小中義治, 小宮常康, 八杉昌宏, 湯淺太一. JeRTy VM におけるリターンバリア方式実時間ごみ集めの実装. 第2回ディペンダブルソフトウェアワークショップ(DSW2005), pp. 115-124, January 2005.
  • 平石拓, 李暁ろ, 八杉昌宏, 馬谷誠二, 湯淺太一. S式ベースC言語における変形規則による言語拡張機構. 情報処理学会論文誌：プログラミング, Vol. 46, No. SIG 1 (PRO 24), pp. 40-56, January 2005.
  • 皆川宜久, 鵜川始陽, 八杉昌宏, 湯淺太一. スタックベースのML処理系における効率的な一級継続の実装. 情報処理学会第52回プログラミング研究会, January 2005.
  • 八杉昌宏. データ処理方法、データ処理装置及びコンピュータプログラム. 特許出願2004-267528 (特許公開2006-085300，特許第4719859号).
  • 八杉昌宏, 小宮常康, 湯淺太一. 入れ子関数を利用する動的負荷分散と高水準記述. 情報処理学会論文誌：コンピューティングシステム, Vol. 45, No. SIG 11 (ACS 7), pp. 368-377, October 2004.
  • Masahiro Yasugi, Tsuneyasu Komiya, and Taiichi Yuasa. An Efficient Load-Balancing Framework Based on Lazy Partitioning of Sequential Programs. In Proceedings of Workshop on New Approaches to Software Construction, pp. 65-84, September 2004.
  • 八杉昌宏, 小宮常康, 湯淺太一. 入れ子関数を利用する動的負荷分散と高水準記述. 先進的計算基盤システムシンポジウム (SACSIS2004), pp. 53-60, May 2004.
  • 八杉昌宏, 伊藤智一, 小宮常康, 湯淺太一. 階層的グループ化に基づくコピー型ごみ集めによる局所性改善. 情報処理学会論文誌：プログラミング, Vol. 45, No. SIG 5 (PRO 21), pp. 36-52, May 2004.
  • 馬谷誠二, 八杉昌宏, 小宮常康, 湯淺太一. オブジェクト指向並列言語OPAのための遅延正規化手法. 情報処理学会論文誌：プログラミング, Vol. 45, No. SIG 5 (PRO 21), pp. 12-25, May 2004.
  • 八杉昌宏. 並列処理とプログラミング言語. 情報処理学会関西支部「VLSI システム研究会」 平成15年度第3回研究会, March 2004.
  • Masahiro Yasugi. A Type System and Compilation Techniques for Concurrent Objects. In Proc. of the 6th Workshop on Programming and Programming Languages (PPL 2004), pp. 195-204, March 2004.
  • 森住大樹, 小宮常康, 八杉昌宏, 湯淺太一. 実時間処理に適したメモリ管理を行うLisp処理系の設計と実装. 情報処理学会第48回プログラミング研究会, March 2004.
  • 渡邊宣寿, 小宮常康, 八杉昌宏, 湯淺太一. アプリケーションの定常的動作に基づく複数フリーリストの初期メモリ量設定方式. 第一回ディペンダブルソフトウェアワークショップ(DSW04), pp. 75-84, February 2004.
  • 渡邊宣寿, 小宮常康, 八杉昌宏, 湯淺太一. 組込みシステムにおける複数のフリーリストに割り振るメモリ量の最適化. 情報処理学会第47回プログラミング研究会, January 2004.
  • 庄林宏和, 馬谷誠二, 八杉昌宏, 小宮常康, 湯淺太一. 細粒度マルチスレッド言語における例外処理の効率良い実装. 情報処理学会第47回プログラミング研究会, January 2004.
  • Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, and Taiichi Yuasa. Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations. In Proc. of the First Asian Symposium on Programming Languages and Systems (APLAS'03), No. 2895 in Lecture Notes in Computer Science, pp. 410-426, October 2003.
  • Seiji Umatani, Masahiro Yasugi, Tsuneyasu Komiya, and Taiichi Yuasa. Pursuing Laziness for Efficient Implementation of Modern Multithreaded Languages. In Proc. of the 5th International Symposium on High Performance Computing, No. 2858 in Lecture Notes in Computer Science, pp. 174-188, October 2003.
  • 鵜川始陽, 皆川宜久, 小宮常康, 八杉昌宏, 湯淺太一. 継続の生成におけるスタックコピーの遅延. 情報処理学会論文誌：プログラミング, Vol. 44, No. SIG 13 (PRO 18), pp. 72-83, October 2003.
  • 平石拓, 八杉昌宏, 小宮常康, 湯淺太一. 拡張と変形に適したS式ベースC言語の設計と実装. 日本ソフトウェア科学会第20回大会論文集, September 2003.
  • 花井亮, 小宮常康, 八杉昌宏, 湯淺太一. Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入. 情報処理学会論文誌：プログラミング, Vol. 44, No. SIG 4 (PRO 17), pp. 17-24, March 2003.
  • 八杉昌宏. Lazy Partitioning of Sequential Programs. 第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003), March 2003. (ショートプレゼンテーション/ポスター).
  • 八杉昌宏. 局所性を高める階層的コピーGC方式. 第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003), March 2003. (ショートプレゼンテーション/ポスター).
  • 鎌田十三郎, 八杉昌宏. 適応的オブジェクトのための局面解析手法. 情報処理学会論文誌：プログラミング, Vol. 44, No. SIG 2 (PRO 16), pp. 13-24, February 2003.
  • 高田潤, 八杉昌宏, 小宮常康, 湯淺太一. 共有メモリプログラミングのための拡張C言語. 情報処理学会第42回プログラミング研究会, January 2003.
  • Masahiro Yasugi. Runtime Architectures for Lazy Partitioning of Sequential Programs. International Workshop on Innovative Architecture for Future Generation High-Performance Processors and Systems (IWIA'03), January 2003.
  • Taiichi Yuasa, Yuichiro Nakagawa, Tsuneyasu Komiya, and Masahiro Yasugi. Return Barrier. In Proceedings of International Lisp Conference 2002, San Franisco, October 2002.
  • 伊藤智一, 八杉昌宏, 小宮常康, 湯淺太一. 局所性を高める階層的コピーGC方式. 日本ソフトウェア科学会第19回大会論文集, September 2002.
  • Setiadi Rachmat, 小宮常康, 八杉昌宏, 湯淺太一. リターンバリアを用いた並列実時間ごみ集めの実装. 日本ソフトウェア科学会第19回大会論文集, September 2002.
  • 鵜川始陽, 小宮常康, 八杉昌宏, 湯淺太一. スタックのコピーを遅延させる継続の実装方式. 日本ソフトウェア科学会第19回大会論文集, September 2002.
  • 八杉昌宏. 仮想機械とプログラミング言語. 第23回「数理の翼」夏季セミナー, August 2002.
  • 安永雅典, 鎌田十三郎, 八杉昌宏, 瀧和男. 局面解析を利用した排他制御緩和機構. 並列処理シンポジウム(JSPP2002)論文集, pp. 245-252, May 2002.
  • 庄林宏和, 馬谷誠二, 八杉昌宏, 小宮常康, 湯淺太一. 並列言語OPAにおける例外処理のポータブルで効率良い実装手法. 並列処理シンポジウム(JSPP2002)論文集, pp. 189-190, May 2002. (ポスター).
  • 馬谷誠二, 八杉昌宏, 小宮常康, 湯淺太一. 遅延タスク生成の反復計算向け拡張. 情報処理学会論文誌, Vol. 43, No. 4, pp. 948-957, April 2002.
  • 田畑悠介, 八杉昌宏, 小宮常康, 湯淺太一. 入れ子関数を利用したマルチスレッドの実現. 情報処理学会論文誌：プログラミング, Vol. 43, No. SIG 3 (PRO 14), pp. 26-40, March 2002.
  • 八杉昌宏. 並行協調機能を持つ手続き型言語とその利用. 第4回プログラミングおよびプログラミング言語 ワークショップ, March 2002. (ショートプレゼンテーション).
  • 八杉昌宏, 高田潤, 田畑悠介, 小宮常康, 湯淺太一. 共有メモリ向けプリミティブとそのGCCを使った実現. 情報処理学会論文誌：プログラミング, Vol. 43, No. SIG 1 (PRO 13), pp. 118-132, January 2002.
  • 八杉昌宏, 田畑悠介, 小宮常康, 湯淺太一. 入れ子関数を利用した動的負荷分散. 情報処理学会第37回プログラミング研究会, January 2002.
  • 鵜川始陽, 湯淺太一, 小宮常康, 八杉昌宏. Javaと相互呼び出し可能なScheme処理系「ぶぶ」における継続機能と例外処理機能の実装. 情報処理学会論文誌：プログラミング, Vol. 42, No. SIG 11 (PRO 12), pp. 25-36, November 2001.
  • 八杉昌宏, 馬谷誠二, 鎌田十三郎, 田畑悠介, 伊藤智一, 小宮常康, 湯淺太一. オブジェクト指向並列言語OPAのためのコード生成手法. 情報処理学会論文誌：プログラミング, Vol. 42, No. SIG 11 (PRO 12), pp. 1-13, November 2001.
  • 湯淺太一, 近山隆, 上田和紀, 森眞一郎, 八杉昌宏, 小宮常康. 計算連続体に基づくソフトウェア実現法の提案. 日本ソフトウェア科学会第18回大会論文集 1A-1, September 2001.
  • 窪田貴志, 湯淺太一, 倉林則之, 八杉昌宏, 小宮常康. Java上のScheme処理系「ぶぶ」における単一のクラスローダを用いたオブジェクトシステムの実装. 情報処理学会論文誌：プログラミング, Vol. 42, No. SIG 7 (PRO 11), pp. 57-69, July 2001.
  • 馬谷誠二, 八杉昌宏, 小宮常康, 湯淺太一. ループ内スレッド生成に対応したLazy Task Creation. 並列処理シンポジウム(JSPP2001)論文集, pp. 157-164, June 2001.
  • 八杉昌宏. 入れ子関数を利用した準遅延タスク生成の検討. 第4回プログラミングおよび応用のシステムに関するワークショップ(SPA2001), March 2001. (ポスター).
  • 西村祥治, 湯淺太一, 八杉昌宏, 小宮常康. Scheme における Evaluation Strategy の設計と実装. 情報処理学会第32回プログラミング研究会, January 2001.
  • 湯淺太一, 中川雄一郎, 小宮常康, 八杉昌宏. リターン・バリア. 情報処理学会論文誌：プログラミング, Vol. 41, No. SIG 9 (PRO 8), pp. 87-99, November 2000.
  • 八杉昌宏, 田畑悠介, 小宮常康, 湯淺太一. 共有メモリ関連命令を生成可能な実装用言語の設計. 情報処理学会第30回プログラミング研究会 (SWoPP2000), August 2000.
  • Masahiro Yasugi. Hierarchically Structured Synchronization and Exception Handling in Parallel Languages Using Dynamic Scope. In Takayasu Ito and Taiichi Yuasa, editors, Parallel and Distributed Computing for Symbolic and Irregular Applications, pp. 122-148. World Scientific, May 2000.
  • 八杉昌宏, 伊藤智一, 小宮常康, 湯淺太一. 少量のスタックで大部分を深さ優先順にコピーするゴミ集め方式. 第3回プログラミングおよび応用のシステムに関する ワークショップ(SPA2000), March 2000.
  • Masahiro Yasugi, Shigeyuki Eguchi, and Kazuo Taki. Adaptive Objects for Concurrent Accesses. In Jean-Paul Bahsoun, Takanobu Baba, Jean-Pierre Briot, and Akinori Yonezawa, editors, Object-Oriented Parallel and Distributed Programming, pp. 187-206. HERMES Science Publications, January 2000.
  • 馬谷誠二, 湯淺太一, 八杉昌宏, 小宮常康. 並列言語OPAにおける一貫性制御に対応した差分プログラミング. 情報処理学会第59回全国大会論文集, 第1分冊, pp. 151-152, September 1999.
  • 窪田貴志, 湯淺太一, 八杉昌宏, 小宮常康. 並列Schemeにおける即時タスク生成法と遅延タスク生成法の融合. 情報処理学会第59回全国大会論文集, 第1分冊, pp. 149-150, September 1999.
  • 西村祥治, 湯淺太一, 八杉昌宏, 小宮常康. ISLISPコンパイラの実装. 情報処理学会第59回全国大会論文集, 第1分冊, pp. 217-218, September 1999.
  • 八杉昌宏, 馬谷誠二, 小宮常康, 湯淺太一. マルチコンテキスト管理をサポートする実装用言語. 情報処理学会第25回プログラミング研究会 (SWoPP'99), August 1999.
  • Masahiro Yasugi. Hierarchically Structured Synchronization and Exception Handling in Parallel Languages Using Dynamic Scope. In Proc. of International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications, July 1999.
  • 江口重行, 八杉昌宏, 鎌田十三郎, 瀧和男. 適応的オブジェクトによる排他制御の実行時緩和. 情報処理学会論文誌, Vol. 40, No. 5, pp. 2084-2092, May 1999.
  • 八杉昌宏. 動的スコープの利用による並列言語の同期・例外処理の階層的構造化. 情報処理学会論文誌：プログラミング, Vol. 40, No. SIG 4 (PRO 3), pp. 44-57, May 1999.
  • Masahiro Yasugi, Shigeyuki Eguchi, and Kazuo Taki. Eliminating Bottlenecks on Parallel Systems using Adaptive Objects. In Proc. of International Conference on Parallel Architectures and Compilation Techniques, Paris, France, pp. 80-87, October 1998.
  • 高山英道, 八杉昌宏, 鎌田十三郎, 瀧和男. オブジェクト指向並列言語による N 体問題の並列化とその評価. 情報処理学会研究報告98-HPC-72(SWoPP '98), Vol. 98, No. 72, pp. 49-54, August 1998.
  • 八杉昌宏. 並列オブジェクト指向言語のためのガーベジコレクタ. 情報処理学会論文誌, Vol. 39, No. 6, pp. 1691-1699, June 1998.
  • 江口重行, 可児亜祐美, 八杉昌宏, 瀧和男. 適応的オブジェクトによる並列処理のボトルネック解消. 並列処理シンポジウム(JSPP'98)論文集, pp. 111-118, June 1998.
  • Masahiro Yasugi, Shigeyuki Eguchi, and Kazuo Taki. Adaptive Objects for Concurrent Accesses. 2nd France-Japan Workshop on Object Based Parallel and Distributed Computing (OBPDC'97), October 1997.
  • 八杉昌宏, 松岡聡, 米澤明憲. スレッドベース実行における積極的データ転送のための Plan-Do型コンパイル技法とその評価. 情報処理学会論文誌, Vol. 38, No. 9, pp. 1840-1848, September 1997.
  • 八杉昌宏, 松岡聡, 米澤明憲. ABCL/EM-4：データ駆動並列計算機上の並列オブジェクト指向言語処理系の実装と評価. 情報処理学会論文誌, Vol. 38, No. 9, pp. 1790-1799, September 1997.
  • 島田雄介, 八杉昌宏, 瀧和男. 並列処理と例外処理を統一的に扱う構造化言語. 情報処理学会研究報告97-PRO-14(SWoPP '97), Vol. 97, No. 78, pp. 49-54, August 1997.
  • 江口重行, 八杉昌宏, 瀧和男. 実行時メソッド置換を行なう並列言語の実装. 情報処理学会研究報告97-PRO-14(SWoPP'97), Vol. 97, No. 78, pp. 55-60, August 1997.
  • 八杉昌宏. データ駆動並列計算機上の分散並行ガーベジコレクションの評価. 並列処理シンポジウム(JSPP'97)論文集, pp. 345-352, May 1997.
  • 八杉昌宏, 瀧和男. 実用的な並列処理のためのオブジェクト指向言語OPAの設計. 第13回オブジェクト指向計算ワークショップ(WOOC'97), March 1997.
  • 八杉昌宏, 瀧和男. 並列処理のためのオブジェクト指向言語OPAの設計と実装. 情報処理学会研究報告96-PRO-8(SWoPP '96), Vol. 96, No. 82, pp. 157-162, August 1996.
  • 島田雄介, 八杉昌宏, 瀧和男. 並列オブジェクト指向言語ABCL/STにおける共有メモリ型並列計算機上の自動負荷分散方式. 情報処理学会研究報告96-PRO-8(SWoPP '96), Vol. 96, No. 82, pp. 127-132, August 1996.
  • 八杉昌宏. データ駆動並列計算機上の並列オブジェクト指向ガーベジコレクション. 第12回オブジェクト指向計算ワークショップ(WOOC'96) ISSN 1341-870X (研究会資料シリーズ No. 2), March 1996.
  • 八杉昌宏, 瀧和男. 分散共有メモリ型並列計算機KSR上の細粒度並列処理用実行方式の評価. 電子情報通信学会研究報告CPSY-95-59(SWoPP'95), Vol. 95, No. 210, pp. 71-78, August 1995.
  • Satoshi Matsuoka, Masahiro Yasugi, Kenjiro Taura, Tomio Kamada, and Akinori Yonezawa. Compiling and Managing Concurrent Objects for Efficient Execution on High-Performance MPPs. In Lubomir F. Bic, Alex Nicolau, and Mitsuhisa Sato, editors, Parallel Language and Compiler Research in Japan, pp. 91-125. Kluwer Academic Publishers, 1995.
  • Masahiro Yasugi, Satoshi Matsuoka, and Akinori Yonezawa. The Plan-Do Style Compilation Technique for Eager Data Transfer in Thread-Based Execution. In Proc. of the IFIP WG10.3 International Conference on Parallel Architectures and Compilation Techniques, Montreal, Canada, pp. 57-66, August 1994.
  • 八杉昌宏, 松岡聡, 米澤明憲. スレッドベース実行における積極的データ転送のための Plan-Do型コンパイル技法. 情報処理学会研究報告94-PRG-18(SWoPP'94), Vol. 94, No. 65, pp. 9-16, July 1994.
  • Masahiro Yasugi. A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications. PhD thesis, Department of Information Science, The University of Tokyo, March 1994.
  • 八杉昌宏, 米澤明憲. データ駆動並列計算機上での並列オブジェクト指向言語による N体問題アルゴリズムの性能評価に向けて. オブジェクト指向コンピューティングII (WOOC'93), pp. 147-154. 近代科学社, April 1994.
  • 八杉昌宏, 松岡聡, 米澤明憲. ABCL/onEM-4: データ駆動計算機上の並列オブジェクト指向計算システムの高性能実装. オブジェクト指向コンピューティングI (WOOC'92), pp. 289-304. 近代科学社, July 1993.
  • Akinori Yonezawa, Satoshi Matsuoka, Masahiro Yasugi, and Kenjiro Taura. Implementing Concurrent Object-Oriented Languages on Multicomputers. IEEE Parallel & Distributed Technology, Vol. 1, No. 2, pp. 49-61, May 1993.
  • Masahiro Yasugi and Akinori Yonezawa. An Object-Oriented Parallel Algorithm for the Newtonian N-Body Problem. Technical Report 92-06, Department of Information Science, Faculty of Science, University of Tokyo, August 1992.
  • Masahiro Yasugi, Satoshi Matsuoka, and Akinori Yonezawa. ABCL/onEM-4: A New Software/Hardware Architecture for Object-Oriented Concurrent Computing on an Extended Dataflow Supercomputer. In Proc. of the 6th ACM International Conference on Supercomputing, Washington D.C., pp. 93-103, July 1992.
  • 八杉昌宏, 松岡聡, 米澤明憲. ABCL/onEM-4: データ駆動計算機上の並列オブジェクト指向計算システムの高性能実装. 並列処理シンポジウム(JSPP'92)論文集, pp. 171-178, June 1992.
  • Akinori Yonezawa, Satoshi Matsuoka, Masahiro Yasugi, and Kenjiro Taura. Efficient Implementations of Concurrent Object-Oriented Languages on Multicomputers. In PARALLEL PROGRAMMING SYSTEMS (Proc. of a JSPS Seminar), pp. 50-52. World Scientific, May 1992.
  • 八杉昌宏, 米澤明憲. N体問題の並列オブジェクト指向アルゴリズム. 日本ソフトウェア科学会第８回大会論文集, pp. 405-408, September 1991.
    MY Oct 26, 2009