主要な発表論文

  • Katsuhiro Ueno, Atsushi Ohori: A Fully Concurrent Garbage Collector for Functional Programs, in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), pp. 421--433, 2016.
  • Katsuhiro Ueno, Atsushi Ohori: A foreign language interface from ML to shell, New Generation Computing, Vol. 34, No. 3, pp. 239--256, 2016.
  • Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi: A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects, in Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016), pp. 18:1--18:25, 2016.
  • Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo: An Efficient Non-Moving Garbage Collector for Functional Languages, Higher-Order Symbolic Computation, to appear.
  • Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori: The Essence of Ruby, In: Programming Languages and Systems, 12th Asian Symposium, APLAS 2014, Lecture Notes in Computer Science, Vol. 8858, pp. 78-98, 2014.
  • Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito: SML# in Industry: A Practical ERP System Development, In Proc. ACM ICFP 2014.
  • Akimasa Morihata. A Short Cut to Parallelization Theorems. In Proc. ACM ICFP 2013, 2013.
  • Akimasa Morihata,Kazuhiko Kakehi,Zhenjiang Hu,Masato Takeichi.Manipulating Accumulative Functions by Swapping Call-time and Return-time Computations,J. Funct. Program., 22(3), 2012.
  • 篠埜 功, 大堀 淳. SML#へのC言語の埋め込み, コンピュータソフトウェア, 29(2), 2012.
  • Akimasa Morihata, Calculatinal Developments of New Parallel Algorithms for Size-constrained Maximum-Sum Segment Problems, In Proc. FLOPS 2012, LNCS 7294, 2012.
  • 森畑明昌.先読み付き正規表現の有限状態オートマトンへの変換,コンピュータソフトウェア 29(1), 2012.
  • 上野雄大,大堀淳.多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装,コンピュータソフトウェア,29(1),pp.191-210,2012.
  • Akimasa Morihata.Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism,In Proc. APLAS 2011, LNCS 7078, 2011.
  • Akimasa Morihata and Kiminori Matsuzaki. Balanced trees inhabiting functional parallel programming. In Proc. ACM ICFP 2011, 2011.
  • Katsuhiro Ueno, Atsushi Ohori, and Toshiaki Otomo. An efficient non-moving garbage collector for functional languages. In Proc. ACM ICFP 2011, 2011.
  • Atsushi Ohori and Katsuhiro Ueno. Making standard ML a practical database programming language. In Proc. ACM ICFP 2011, 2011.
  • Shin-Cheng Mu and Akimasa Morihata. Generalising and dualising the third list-homomorphism theorem: functional pearl. In Proc. ACM ICFP 2011.
  • Akimasa Morihata, Kiminori Matsuzaki. A practical tree contraction algorithm for parallel skeletons on trees of unbounded degree. Procedia CS 4, 2011.
  • 森畑明昌,松崎公紀,武市正人. 領域限定言語に基づく最適経路問合せ. 情報処理学会論文誌 プログラミング 4(2), 2011.
  • Akimasa Morihata. A Short Cut to Optimal Sequences. New Generation Computing 29(1), 2011.
  • Shin-Cheng Mu, Yu-Han Lyu, and Akimasa Morihata. Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. In Proc. ACM Workshop on Generic Programming 2010, 2010.
  • 上野雄大,大堀淳. SML#の外部関数インターフェース. コンピュータソフトウェア 27(2),2010.
  • Akimasa Morihata and Kiminori Matsuzaki. Automatic parallelization of recursive functions using quantifier elimination. In Proc. FLOPS 2010, LNCS 6009, 2010.
  • 上野雄大,大堀淳. 制御フローの合流のための計算系. 情報処理学会 論文誌(トランザクション) プログラミング(PRO) 1(3),2008.
  • 上野雄大,大堀淳. 型代入を遅延する最適化型推論アルゴリズム. コンピュータソフトウェア 25(2),2008.
  • Atsushi Ohori. A Proof Theory for Machine Code. ACM TOPLAS 29(6), 2007.
  • Tomoyuki Higuchi and Atsushi Ohori. A static type system for JVM access control. ACM TOPLAS 29(1), 2007.
  • Atsushi Ohori and Isao Sasano. Lightweight fusion by fixed point promotion. In Proc. ACM POPL 2007, 2007.
  • Yutaka Matsuno and Atsushi Ohori. A Type System Equivalent to Static Single Assignment. In Proc. ACM PPDP 2006, 2006.
  • Huu-Duc Nguyen and Atsushi Ohori. Compiling ML Polymorphism with Explicit Layout Bitmap, In Proc. ACM PPDP 2006, 2006.
Last modified:2016/10/31 19:34:59
Keyword(s):
References:[東北大学電気通信研究所 大堀・上野研究室] [大堀・上野研の研究内容]