---

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.
• 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.
• 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.
• 松井健, 平石拓, 八杉昌宏, 馬谷誠二, "高速版Barnes-Hut多体シミュレーションの並列実装", 先進的計算基盤システムシンポジウム (SACSIS2012), pp. 298-306, May 2012.
• 松田友希, 八杉昌宏, 鵜川始陽, "コードシェーカ: コード配置効果を考慮した適正な性能評価システム", 第14回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2012), pp. 115-129, March 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.
• 平石拓, 八杉昌宏, "バックトラックに基づく動的負荷分散フレームワーク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.
• 平石拓, 八杉昌宏, 湯淺太一, "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.
• 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", Proceedings of the 2010 International Lisp Conference (ILC 2010), pp. 65-72, October 2010.
• 八杉昌宏, "L-Closure：安全な計算状態操作機構", 情報処理, Vol. 51, No. 7, p. 885, July 2010.
• 馬谷誠二, 八杉昌宏, 湯淺太一, "動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計", コンピュータソフトウェア, Vol. 27, No. 2, pp. 50-61, May 2010.
• 藤川浩光, 馬谷誠二, 八杉昌宏, 湯淺太一, "リターンバリア型実時間ごみ集めの抽象モデル検査", 情報処理学会論文誌　プログラミング, Vol. 2, No. 4, pp. 13-32, August 2009. (bookpark)
• 八杉昌宏, 後藤裕輔, 馬谷誠二, 湯淺太一, "Cache-conscious階層的グループ化データ配置法：Cache-oblivious配置法との実験的比較", 情報処理学会論文誌　プログラミング, Vol. 2, No. 3, pp. 33-47, July 2009. (発表資料PDF). (bookpark).
• 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. (acm doi)
• 原悠, 鵜川始陽, 湯淺太一, 八杉昌宏, "タプル空間によるブラウザ間通信を備えたScheme処理系の開発", 情報処理学会論文誌　プログラミング, Vol. 1, No. 2, pp. 85-99, September 2008. (bookpark).
• Tomoharu Ugawa, Masahiro Yasugi and Taiichi Yuasa, "Replication-Based Incremental Compaction", In Proceedings of 11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2008), pp. 516-524, May 2008. (ieeexplore).
• 鵜川始陽, 花井亮, 八杉昌宏, 湯淺太一, "マルチスレッド環境における実時間ごみ集めのためのスレッド再開バリア", コンピュータソフトウェア, Vol. 25, No. 2, pp. 135-150, April 2008. (j-stage).
• 八杉昌宏, 平石拓, 篠原丈成, 湯淺太一, "L-Closure：高性能・高信頼プログラミング言語の実装向け言語機構", 情報処理学会論文誌：プログラミング, Vol. 49, No. SIG 1 (PRO 35), pp. 63-83, January 2008. (発表資料PDF). (bookpark).
• 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. (ieeexplore).
• 後藤裕輔, 馬谷誠二, 八杉昌宏, 湯淺太一, "言語中立な分散共有オブジェクトシステム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.
• 米田匡史, 鵜川始陽, 花井亮, 八杉昌宏, 湯淺太一, "リージョン変数の動的なエイリアス判定によるメモリ効率向上", 情報処理学会論文誌：プログラミング, Vol. 47, No. SIG 11 (PRO 30), pp. 38-49, July 2006. (bookpark).
• 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). (j-stage)
• 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). (j-stage).
• 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.
• 平石拓, 八杉昌宏, 湯淺太一, "既存Cヘッダファイルの構文の異なる言語での有効利用", コンピュータソフトウェア, Vol. 23, No. 2, pp. 225-238, April 2006. (j-stage).
• Masahiro Yasugi, Tasuku Hiraishi and Taiichi Yuasa, "Lightweight Lexical Closures for Legitimate Execution Stack Access", In Proceedings of 15th International Conference on Compiler Construction (CC2006), Vienna, Austria, March 30-31, LNCS 3923, pp. 170-184, 2006. (PDF, © Springer-Verlag Berlin Heidelberg 2006, the published article on Springer's website.)
• Tasuku Hiraishi, Masahiro Yasugi and Taiichi Yuasa, "Implementing S-Expression Based Extended Languages in Lisp", In Proceedings of the International Lisp Conference, Stanford, CA, pp. 179-188, 2005. (ILC2005 page)
• 平石拓, 八杉昌宏, 湯淺太一, "既存Cヘッダファイルの他言語での有効利用", 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005), pp. 139-152, 2005.
• 平石拓, 李暁ろ, 八杉昌宏, 馬谷誠二, 湯淺太一, "S式ベースC言語における変形規則による言語拡張機構", 情報処理学会論文誌：プログラミング 46巻 SIG 1(PRO 24)号, pp.40-56, 2005. (bookpark).
• Masahiro Yasugi, Tsuneyasu Komiya, and Taiichi Yuasa, "An Efficient Load-Balancing Framework Based on Lazy Partitioning of Sequential Programs", Workshop on New Approaches to Software Construction (WNASC2004), pp. 65-84, 2004. (PDF)
• 八杉昌宏, 小宮常康, 湯淺太一, "入れ子関数を利用する動的負荷分散と高水準記述", 情報処理学会論文誌：コンピューティングシステム, 45巻SIG 11(ACS 7)号, pp. 368-377, 2004. (bookpark).
• 八杉昌宏, 小宮常康, 湯淺太一, "入れ子関数を利用する動的負荷分散と高水準記述", 先進的計算基盤システムシンポジウム(SACSIS2004)論文集, pp. 53-60, 2004. (PDF)
• 馬谷誠二, 八杉昌宏, 小宮常康, 湯淺太一, "オブジェクト指向並列言語OPAのための遅延正規化手法", 情報処理学会論文誌：プログラミング, 45巻SIG 5(PRO 21)号, pp. 12-25, 2004.
• 八杉昌宏, 伊藤智一, 小宮常康, 湯淺太一, "階層的グループ化に基づくコピー型ごみ集めによる局所性改善", 情報処理学会論文誌：プログラミング, 45巻SIG 5(PRO 21)号, pp. 36-52, 2004.
• Masahiro Yasugi, "A Type System and Compilation Techniques for Concurrent Objects", In Proc. of 6th Workshop on Programming and Programming Languages (PPL 2004), pp. 195-204, 2004. (revised version shown in JSSST journal, "Computer Software", Vol. 21, No. 6, pp. 16-33, 2004, and also in Information and Media Technologies, Vol. 1, No. 1, pp. 15-32, June 2006.) (PDF) (j-stage)
• 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 2003), Beijing, Springer LNCS 2895, pp.410-426, 2003.
• Seiji Umatani, Masahiro Yasugi, Tsuneyasu Komiya, and Taiichi Yuasa, "Pursuing Laziness for Efficient Implementation of Modern Multithreaded Languages", In Proc. of 5th International Symposium on High Performance Computing (ISHPC 2003), Springer LNCS 2858, pp.174-188, 2003.
• 鵜川始陽，皆川宜久，小宮常康，八杉昌宏，湯淺太一， "継続の生成におけるスタックコピーの遅延", 情報処理学会論文誌：プログラミング, 44巻SIG 13(PRO 18)号, pp. 72-83, 2003.
• 花井亮, 小宮常康, 八杉昌宏, 湯淺太一, "Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入", 情報処理学会論文誌：プログラミング, 44巻SIG 4(PRO 17)号, pp. 17-24, 2003.
• 鎌田十三郎, 八杉昌宏, "適応的オブジェクトのための局面解析手法", 情報処理学会論文誌：プログラミング, 44巻SIG 2(PRO 16)号, pp. 13-24, 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), 2003.
• 安永雅典, 鎌田十三郎, 八杉昌宏, 瀧和男, "局面解析を利用した排他制御緩和機構", 並列処理シンポジウム(JSPP2002)論文集, pp. 245-252, 2002.
• 馬谷誠二, 八杉昌宏, 小宮常康, 湯淺太一, "遅延タスク生成の反復計算向け拡張", 情報処理学会論文誌, 43巻4号, pp. 948-957, 2002.
• 田畑悠介, 八杉昌宏, 小宮常康, 湯淺太一, "入れ子関数を利用したマルチスレッドの実現", 情報処理学会論文誌：プログラミング, 43巻SIG 3(PRO 14)号, pp. 26-40, 2002.
• 八杉昌宏, 田畑 悠介, 小宮 常康, 湯淺 太一, "入れ子関数を利用した動的負荷分散", 情報処理学会プログラミング研究会, Jan 2002. (ps.gz)
  
• 八杉昌宏, 高田 潤, 田畑 悠介, 小宮 常康, 湯淺 太一, "共有メモリ向けプリミティブとそのGCCを使った実現", 情報処理学会論文誌：プログラミング, Vol. 43, No. SIG 1 (PRO 13), pp. 118-132, Jan 2002. (ps.gz)
  GCC macros for XC-cube primitives for XC-cube shared memory model. (xccmem.h)
  
• 鵜川始陽, 湯淺太一, 小宮常康, 八杉昌宏, "Javaと相互呼び出し可能なScheme処理系「ぶぶ」における 継続機能と例外処理機能の実装", 情報処理学会論文誌：プログラミング, 42巻SIG 11(PRO 12)号, pp. 25-36, 2001.
• 八杉昌宏, 馬谷 誠二, 鎌田 十三郎, 田畑 悠介, 伊藤 智一, 小宮 常康, 湯淺 太一, "オブジェクト指向並列言語OPAのためのコード生成手法", 情報処理学会論文誌：プログラミング, Vol. 42, No. SIG 11 (PRO 12), pp. 1-13, Nov 2001. (ps.gz)
  
• 窪田貴志, 湯淺太一, 倉林則之, 八杉昌宏, 小宮常康, "Java上のScheme処理系「ぶぶ」における 単一のクラスローダを用いたオブジェクトシステムの実装", 情報処理学会論文誌：プログラミング, 42巻SIG 7(PRO 11)号, pp. 57-69, 2001.
• 馬谷誠二, 八杉昌宏, 小宮常康, 湯淺太一, "ループ内スレッド生成に対応したLazy Task Creation", 並列処理シンポジウム(JSPP2001)論文集, pp. 157-164, 2001.
• 湯淺太一, 中川雄一郎, 小宮常康, 八杉昌宏, "リターン・バリア", 情報処理学会論文誌：プログラミング, 41巻SIG 9(PRO 8)号, pp. 87-99, 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. (ps.gz, pdf)
  (International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications, July 1999)
• 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. (ps.gz)
  
• 八杉昌宏, 伊藤智一, 小宮常康, 湯淺太一, "少量のスタックで大部分を深さ優先順にコピーするゴミ集め方式", 第3回プログラミングおよび応用のシステムに関するワークショップ(SPA2000), March 2000. (ps.gz)
  
• 八杉昌宏, 馬谷誠二, 小宮常康, 湯淺太一, "マルチコンテキスト管理をサポートする実装用言語", 情報処理学会プログラミング研究会 (SWoPP'99), August 1999.
• 江口重行, 八杉昌宏, 鎌田十三郎, 瀧和男, "適応的オブジェクトによる排他制御の実行時緩和", 情報処理学会論文誌, Vol. 40, No. 5, pp. 2084-2092, May 1999. (ps.gz)
  
• 八杉昌宏, "動的スコープの利用による並列言語の同期・例外処理の階層的構造化", 情報処理学会論文誌：プログラミング, Vol. 40, No. SIG 4 (PRO 3), pp. 44-57, May 1999. (ps.gz)
  
• 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, pp. 80-87, October 1998. (ps.gz)
  
• 八杉昌宏, "並列オブジェクト指向言語のためのガーベジコレクタ", 情報処理学会論文誌, Vol. 39, No. 6, pp. 1691-1699, June 1998.
  (ps.gz)
  
• 江口重行, 可児亜祐美, 八杉昌宏, 瀧和男, "適応的オブジェクトによる並列処理のボトルネック解消", 並列処理シンポジウム(JSPP'98)論文集, pp. 111-118, June 1998. (ps.gz)
  
• 島田雄介, 八杉昌宏, 瀧和男, "並列処理と例外処理を統一的に扱う構造化言語", 情報処理学会研究報告97-PRO-14(SWoPP '97), Vol. 97, No. 78, pp. 49-54, August 1997. (ps.gz)
  
• 八杉昌宏, 松岡聡, 米澤明憲, "スレッドベース実行における積極的データ転送のための Plan-Do型コンパイル技法とその評価", 情報処理学会論文誌, Vol. 38, No. 9, pp. 1840-1848, September 1997. (ps.gz)
  
• 八杉昌宏, 松岡聡, 米澤明憲, "ABCL/EM-4 : データ駆動並列計算機上の 並列オブジェクト指向言語処理系の実装と評価", 情報処理学会論文誌, Vol. 38, No. 9, pp. 1790-1799, September 1997. (ps.gz)
  
• 八杉昌宏, "データ駆動並列計算機上の分散並行ガーベジコレクションの評価", 並列処理シンポジウム(JSPP'97)論文集, pp. 345-352, May 1997. (ps.gz)
  
• 八杉昌宏, 瀧和男, "実用的な並列処理のためのオブジェクト指向言語OPAの設計", 第13回オブジェクト指向計算ワークショップ, March 1997. (ps.gz)
  
• 八杉昌宏, 瀧和男, "並列処理のためのオブジェクト指向言語OPAの設計と実装", 情報処理学会研究報告96-PRO-8(SWoPP '96), Vol. 96, No. 82, pp. 157-162, August 1996. (ps.gz)
  
• Satoshi Matsuoka, Masahiro Yasugi, Kenjiro Taura, Tomio Kamada and Akinori Yonezawa, "Compiling and Managing Concurrent Objects for Efficient Execution on High-Performance MPPs", Parallel Language and Compiler Research in Japan, Kluwer Academic Publishers, pp. 91-125, 1995.
• 八杉昌宏, 瀧和男, "分散共有メモリ型並列計算機KSR上の細粒度並列処理用実行方式の評価", 電子情報通信学会研究報告CPSY-95-59(SWoPP'95), Vol. 95, No. 210, pp. 71-78, August 1995. (ps.gz)
  
• Masahiro Yasugi, Satoshi Matsuoka, and Akinori Yonezawa, "The Plan-Do Style Compilation Technique for Eager Data Transfer in Thread-Based Execution", In Proc. of International Conference on Parallel Architectures and Compilation Techniques, pp. 57-66, August 1994. (ps.Z)
  
• Masahiro Yasugi, "A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications", Technical Report 94-7e, Department of Information Science, Faculty of Science, University of Tokyo, April 1994. (ps.Z)
  
• 八杉昌宏, 米澤明憲, "データ駆動並列計算機上での並列オブジェクト指向言語による N体問題アルゴリズムの性能評価に向けて", オブジェクト指向コンピューティングII, pp. 147-154. 近代科学社, April 1994. (ps.Z)
  
• 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, 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 6th ACM International Conference on Supercomputing, Washington D.C., pp. 93-103, 1992. (ps.Z)
• Masahiro Yasugi and Akinori Yonezawa, "An Object-Oriented Parallel Algorithm for the Newtonian N-Body Problem", Technical Report 92-6, Department of Information Science, Faculty of Science, the University of Tokyo, August 1992. (ps.Z)