Publication List
- Seiji Umatani, "Practical Implementation Techniques of Ambient Calculus in Conventional Dynamic Languages", 29th Symposium on Applied Computing (SAC 2014), pp.1345-1351, 2014.
- 馬谷 誠二, "JVMバイトコードへの低水準操作を簡潔に記述可能なマクロシステム", 第55回プログラミング・シンポジウム, 2014. 山内奨励賞受賞
- 田附 正充,八杉 昌宏,平石 拓,馬谷 誠二, "L-Closureの呼び出しコストの削減", 情報処理学会論文誌 プログラミング, Vol.6, No.2, pp.13-32, 2013.
- 林 奉行,馬谷 誠二,八杉 昌宏,湯淺 太一, "Safeアンビエントに基づく分散アプリケーション開発用Lisp環境", コンピュータソフトウェア, Vol.30, No.1, pp.231-256, 2013.
- 田附 正充,八杉 昌宏,平石 拓,馬谷 誠二, "L-Closureの呼び出しコストの削減", 情報処理学会第92回プログラミング研究会, 2013.
- Haruna Nishiwaki, Tomoharu Ugawa, Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa, "Detecting Bugs in Android Using a Static Escape Analyzer SEAN for Native Code", 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), 2012. (poster presentation)
- 馬谷 誠二,八杉 昌宏, "Safeアンビエントの移動動作のセキュアな実装手法", 日本ソフトウェア科学会第29回大会, 2012.
- Haruna Nishiwaki, Tomoharu Ugawa, Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa, "SEAN: Support Tool for Detecting Rule Violations in JNI Coding", IPSJ Transactions on Programming, Vol.5, No.3, pp.23-28, 2012.
- 松井 健,平石 拓,八杉 昌宏,馬谷 誠二, "ワークスティーリングフレームワークにおける集団通信機能", 2012年並列/分散/協調処理に関する『鳥取』サマー・ワークショップ(SWoPP鳥取2012), 2012.
- 松井 健,平石 拓,八杉 昌宏,馬谷 誠二, "高速版Barnes-Hut多体シミュレーションの並列実装", 先進的計算基盤システムシンポジウム (SACSIS2012) 論文集, pp.298-306, 2012.
- 岡田 翔太,馬谷 誠二,林 奉行,八杉 昌宏,湯淺 太一, "Scala ActorライブラリによるSafe Ambientsフレームワークの実装", 情報処理学会第87回プログラミング研究会, 2012.
- 西脇春名,鵜川始陽,馬谷 誠二,八杉 昌宏,湯淺 太一, "JNIコーディングの規則違反を検出するための支援ツールSEANの開発", 情報処理学会第87回プログラミング研究会, 2012.
- Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani, Taiichi Yuasa, "Parallel Graph Traversals using Work-Stealing Frameworks for Many-core Platforms", Journal of Information Processing, Vol.20, No.1, pp.128-139, 2012.
- 林 奉行,馬谷 誠二,八杉 昌宏,湯淺 太一, "Safeアンビエントに基づく分散アプリケーション開発用Lisp環境", 日本ソフトウェア科学会第28回大会, 2011.
- 松井 健,平石 拓,八杉 昌宏,馬谷 誠二,湯淺 太一, "ワークスティーリングフレームワークにおけるブロードキャスト機能", 情報処理学会研究報告-ハイパフォーマンスコンピューティング(SWoPP'11), Vol.2011-HPC-130, No.56, pp.1-11, 2011.
- Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa, "Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks", 13th International Conference on Coordination Models and Languages (COORDINATION 2011), LNCS 6721, pp.172-186, 2011.
- 平石 拓,八杉 昌宏,馬谷 誠二, "動的負荷分散フレームワークTascellの広域分散およびメニーコア環境における評価", 先進的計算基盤システムシンポジウム(SACSIS2011), pp.55-63, 2011.
- 岡田 翔太,馬谷 誠二,林 奉行,八杉 昌宏,湯淺 太一, "Safe AmbientsのためのJavaフレームワーク", 情報処理学会論文誌 プログラミング, Vol.4, No.3, pp.26-41, 2011.
- 林 奉行, 馬谷 誠二, 八杉 昌宏, 湯淺 太一, "Safeアンビエントに基づく分散アプリケーション開発用Lisp環境", 第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)論文集, 2011.
- 岡田 翔太,馬谷 誠二,林 奉行,八杉 昌宏,湯淺 太一, "Safe AmbientsのためのJavaライブラリ", 情報処理学会第82回プログラミング研究会, 2011.
- 八杉 昌宏,平石 拓,小島 啓史,馬谷 誠二,小宮 常康,湯淺 太一, "L-Closureを用いた真に末尾再帰的なSchemeインタプリタ", 情報処理学会論文誌 プログラミング, Vol.3, No.5, pp.1-17, 2010.
- Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani, Taiichi Yuasa, "Dynamic Graph Traversals for Concurrent Rewriting using Work-Stealing Frameworks for Multicore Platforms", The 16th International Conference on Parallel and Distributed Systems, pp.406-414, 2010.
- Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, Seiji Umatani, "Managing Continuations for Proper Tail Recursion", Proceedings of the 2010 International Lisp Conference 2010 (ILC'10), pp.65-72, 2010.
- 平石 拓,河野 卓矢,八杉 昌宏,馬谷 誠二,湯淺 太一, "バックトラックに基づく負荷分散の高並列環境における評価", 情報処理学会第80回プログラミング研究会(SWoPP2010), 2010.
- 八杉 昌宏,小島 啓史,小宮 常康,平石 拓,馬谷 誠二,湯淺 太一, "L-Closureを用いた真に末尾再帰的なSchemeインタプリタ", 情報処理学会第79回プログラミング研究会, 2010.
- 新名 庸生,佐藤 雅彦,馬谷 誠二,八杉 昌宏,湯淺 太一, "構成的理論に基づいたプログラミング言語Zとその実装", 情報処理学会第79回プログラミング研究会, 2010.
- 河野 卓矢,八杉 昌宏,平石 拓,馬谷 誠二,湯淺 太一, "バックトラックに基づく負荷分散の広域分散環境における評価", 情報処理学会創立50周年記念全国大会論文集, 2010.
- 小島 啓史,八杉 昌宏,小宮 常康,平石 拓,馬谷 誠二,湯淺 太一, "L-closureを用いた真に末尾再帰的なSchemeインタプリタの実装", 第12回プログラミングおよびプログラミング言語ワークショップ (PPL2010)論文集, 2010.
- 松田 友希,馬谷 誠二,八杉 昌宏,湯淺 太一, "Android DalvikVMにおける正確なごみ集め", 第12回プログラミングおよびプログラミング言語ワークショップ (PPL2010)論文集, 2010.
- 渡邉 真人,八杉 昌宏,馬谷 誠二,湯淺 太一, "局所性を改善する世代別ごみ集めのSchemeインタプリタにおける実装と評価", 第12回プログラミングおよびプログラミング言語ワークショップ (PPL2010)論文集, 2010.
- 河野 卓矢,八杉 昌宏,平石 拓,馬谷 誠二,湯淺 太一, "バックトラックに基づく負荷分散の広域分散環境における評価", 第12回プログラミングおよびプログラミング言語ワークショップ (PPL2010)論文集, 2010.
- 宮本 琢也,馬谷 誠二,八杉 昌宏,湯淺 太一, "広域分散環境で動作するSafeアンビエント処理系", 第12回プログラミングおよびプログラミング言語ワークショップ (PPL2010)論文集, 2010.
- 外山 真,馬谷 誠二,八杉 昌宏,湯淺 太一, "アンビエント計算に基づくWebアプリケーション開発環境", 第12回プログラミングおよびプログラミング言語ワークショップ (PPL2010)論文集, 2010.
- 馬谷 誠二,八杉 昌宏,湯淺 太一, "動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計", コンピュータソフトウェア, Vol.27, No.2, pp.50-61, 2010.
- 馬谷 誠二,八杉 昌宏,湯淺 太一, "高級アンビエント計算システムを用いた分散プログラミング", 夏のプログラミング・シンポジウム2009報告集, pp.117-124, 2009.
- 平石 拓,八杉 昌宏,馬谷 誠二,湯淺 太一, "バックトラックに基づく負荷分散のT2K並列環境における評価", 情報処理学会ハイパフォーマンスコンピューティング研究会 (SWoPP2009), 2009.
- 平石 拓,八杉昌宏,馬谷誠二,湯淺太一, "バックトラックに基づく負荷分散", 先進的計算基盤システムシンポジウム (SACSIS 2009), 2009. (ポスター発表)
- 平石 拓,八杉 昌宏,馬谷 誠二,湯淺 太一, "Backtracking-based Load Balancing", 第11回プログラミングおよびプログラミング言語ワークショップ (PPL2009)論文集, 2009.
- 藤川 浩光,馬谷 誠二,八杉 昌宏,湯淺 太一, "リターンバリア型実時間ごみ集めの抽象モデル検査", 情報処理学会論文誌:プログラミング, Vol.2, No.4, pp.13-32, 2009.
- 八杉 昌宏,後藤 裕輔,馬谷 誠二,湯淺 太一, "階層的グループ化コピーアルゴリズムにおけるCache-oblivious配置法とCache-conscious配置法の実験的比較", 情報処理学会論文誌:プログラミング, Vol.2, No.3, pp.33-47, 2009.
- Tasuku Hiraishi, Masahiro Yasugi, Seiji Umatani, Taiichi Yuasa, "Backtracking-based Load Balancing", Proceedings of the 2009 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'09), Vol.44, No.4, pp.55-64, 2009.
- Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa, "Design of a Distributed Ambient System That Enables Flexible Designation of Communication/Migration Targets with Dynamic Name Resolution", Workshop on Software Science and Technology in China and Japan (WSST/CJ 2008), pp.31-47, 2008.
- 馬谷 誠二,八杉 昌宏,湯淺 太一, "動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計", 日本ソフトウェア科学会第25回大会, 2008.
- Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa, "Towards a Practical Pi-Calculus Based Mobile Agent System", The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007), 2007. (poster presentation)
- 後藤 裕輔,馬谷 誠二,八杉 昌宏,湯淺 太一, "言語中立な分散共有オブジェクトシステムLAIOS", 先進的計算基盤システムシンポジウム (SACSIS2007), pp.35-42, 2007.
- 篠原 丈成,八杉 昌宏,馬谷 誠二,湯淺 太一, "拡張C言語XC-cubeのx86-64上の実装", 第9回プログラミングおよびプログラミング言語ワークショップ論文集, 2007.
- Seiji Umatani, Hirokazu Shobayashi, Masahiro Yasugi, Taiichi Yuasa, "Efficient and Portable Implementation of Java-style Exception Handling in C", IPSJ Digital Courier, Vol.2, pp.238-247, 2006. (IPSJ Transaction on Programming, Vol. 47, No. SIG 6(PRO 29), pp.1-10)
- 大林 竜太,平石 拓,八杉 昌宏,馬谷 誠二,湯淺 太一, "遅延分割型負荷分散フレームワークの試験実装", 情報処理学会第55回プログラミング研究会 (SWoPP2005), 2005.
- 平石 拓,李 暁ろ,八杉 昌宏,馬谷 誠二,湯淺 太一, "S式ベースC言語における変形規則による言語拡張機構", 情報処理学会論文誌:プログラミング, Vol.46, No.SIG 1(PRO 24), pp.40-56, 2005.
- 長坂 卓哉,平石 拓,八杉 昌宏,馬谷 誠二,湯淺 太一, "ソースレベルチェックポインティングの実現に向けて", 日本ソフトウェア科学会第22回大会論文集, 2005.
- Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro YAasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani, "Highly Reliable Embedded Software Development Using Advanced Software Technologies", 電子情報通信学会論文誌, Vol.E88-D, No.6, pp.1105-1116, 2005.
- 馬谷 誠二,八杉 昌宏,小宮 常康,湯淺 太一, "オブジェクト指向並列言語OPAのための遅延正規化手法", 情報処理学会論文誌:プログラミング, Vol.45, No.SIG 5(PRO 21), pp.12-25, 2004.
- 庄林 宏和,馬谷 誠二,八杉 昌宏,小宮 常康,湯淺 太一, "細粒度マルチスレッド言語における例外処理の効率良い実装", 情報処理学会プログラミング研究会(2004年1月), 2004.
- Seiji Umatani, Masahiro Yasugi, Tsuneyasu Komiya, Taiichi Yuasa, "Pursuing Laziness for Efficient Implementation of Modern Multithreaded Languages", The fifth International Symposium on High Performance Computing (ISHPC-V), LNCS 2858, pp.174-188, 2003.
- 馬谷 誠二,八杉 昌宏,小宮 常康,湯淺 太一, "遅延タスク生成の反復計算向け拡張", 情報処理学会論文誌, Vol.43, No.4, pp.948-957, 2002.
- 馬谷 誠二,八杉 昌宏,小宮 常康,湯淺 太一, "ループ内スレッド生成に対応したLazy Task Creation", 並列処理シンポジウム(JSPP2001)論文集, pp.157-164, 2001.
- 八杉 昌宏,馬谷 誠二,鎌田 十三郎,田畑 悠介,伊藤 智一,小宮 常康,湯淺 太一, "オブジェクト指向並列言語OPAのためのコード生成手法", 情報処理学会論文誌:プログラミング, Vol.42, No.SIG 11 (PRO 12), pp.1-13, 2001.
- 八杉 昌宏,馬谷 誠二,小宮 常康,湯淺 太一, "マルチコンテキスト管理をサポートする実装用言語", 情報処理学会プログラミング研究会(SWoPP'99), 1999.
- 馬谷 誠二,湯淺 太一,八杉 昌宏,小宮 常康, "並列言語OPAにおける一貫性制御に対応した差分プログラミング", 情報処理学会第59回(平成11年度後期)全国大会, pp.151-152, 1999.