Selected Original Research Papers:  <Complete List>  <Back>

  1. Junyu Lin, Akimasa Morihata:
    Synthesizing accumulative functions via program transformation.
    In: TFP 2025: 26th International Symposium on Trends in Functional Programming 13th to 16th January 2025, Oxford, UK, 2025. Accepted.
  2. Akimasa Morihata:
    When does 0-1 Principle Hold for Prefix Sums?.
    New Generation Computing, 2023.
  3. Akimasa Morihata:
    Conjuring Fusion Laws via Relational Calculus.
    Journal of Information Processing, Vol.31, pp. 21-32, 2023.
  4. Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu:
    Fregel: a functional domain specific language for vertex-centric large-scale graph processing.
    Journal of Functional Programming, 32: e4, 2022.
  5. 松田知樹, 森畑明昌:
    配列集約ループの実行時情報を用いた漸増化による効率化 (Optimizing Array Aggregating Loops by Incrementalization using Runtime Information).
    情報処理学会論文誌 プログラミング, Vol. 14, No. 5, pp. 1-14, 2021.
  6. Akimasa Morihata, Shigeyuki Sato:
    Reverse Engineering for Reduction Parallelization via Semiring Polynomials.
    In: PLDI 2021: 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 820-834, ACM, 2021.
  7. Akimasa Morihata:
    Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational Reasoning: Extended Study.
    Journal of Functional Programming, 31: e7, 2021.
  8. Akimasa Morihata:
    Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational Reasoning.
    Proceedings of the ACM on Programming Languages, Vol. 3 (ICFP), p. 80:1-80:25, 2019.
  9. Akimasa Morihata:
    Using Algebraic Properties and Function Fusion to Evaluate Tree Accumulations in Parallel.
    Journal of Information Processing, Vol. 27, pp. 411-421, 2019.
  10. Akimasa Morihata:
    Incremental computing with data structures.
    Science of Computer Programming, Vol. 164 (15), pp. 18-36, 2018.
  11. Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki:
    Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers.
    In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, Lecture Notes in Computer Science, Vol. 10818, pp. 166-181, Springer, 2018.
  12. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki:
    Think like a vertex, behave like a function! A functional DSL for vertex-centric big graph processing.
    In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016, pp. 200-213, ACM, 2016.
  13. Akimasa Morihata:
    Incremental Computing with Abstract Data Structures.
    In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, Lecture Notes in Computer Science, Vol. 9613, pp. 215-231, Springer, 2016.
  14. 遠藤誠典, 百足勇人, 森畑明昌, 上野雄大, 大堀 淳:
    変数参照関係を用いた関数型プログラムのコードリーディング支援 (Code Reading Assistance for Functional Programming based on Variable Def-use Relationships.).
    コンピュータソフトウェア, Vol. 32 (1), p. 1_194-1_212, 2015.
  15. Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata:
    Approximate by Thinning: Deriving Fully Polynomial-Time Approximation Schemes.
    Science of Computer Programming, Vol. 98 (4), pp. 484-515, 2015.
  16. Akimasa Morihata, Kiminori Matsuzaki:
    Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree.
    IPSJ Journal of Programming, Vol. 7, No. 5, pp. 1-9, 2014.
  17. Shigeyuki Sato, Akimasa Morihata:
    Syntax-Directed Divide-and-Conquer Data-Flow Analysis.
    In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, Lecture Notes in Computer Science, Vol. 8858, pp. 392-407, Springer, 2014.
  18. Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori:
    The Essence of Ruby.
    In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, Lecture Notes in Computer Science, Vol. 8858, pp. 78-98, Springer, 2014.
  19. Akimasa Morihata, Masato Koishi, Atsushi Ohori:
    Dynamic Programming via Thinning and Incrementalization.
    In: Functional and Logic Programming, 12th International Symposium, FLOPS 2014, Kanazawa, Japan, 2014, Proceedings, Lecture Notes in Computer Science, Vol. 8475, pp. 186-202, Springer, 2014.
  20. Akimasa Morihata:
    A Short Cut to Parallelization Theorems.
    In: ICFP'13: Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, Boston, Massachusetts, September 25 - 27, 2013, pp. 245-256, ACM, 2013.
  21. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
    Manipulating Accumulative Functions by Swapping Call-time and Return-time Computations.
    Journal of Functional Programming, Vol. 22, No. 3, pp. 275-299, 2012.
  22. Akimasa Morihata:
    Calculational Developments of New Parallel Algorithms for Size-constrained Maximum-Sum Segment Problems.
    In: Functional and Logic Programming, 11th International Symposium, FLOPS 2012, Kobe, Japan, 2012, Proceedings, Lecture Notes in Computer Science, Vol. 7294, pp. 213-227, Springer, 2012.
  23. 森畑明昌:
    先読み付き正規表現の有限状態オートマトンへの変換 (Translation of Regular Expression with Lookahead into Finite State Automaton).
    コンピュータソフトウェア, Vol. 29, No. 1, pp. 147-158, 2012.
  24. Akimasa Morihata:
    Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism.
    In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings, Lecture Notes in Computer Science, Vol. 7078, pp. 204-219, Springer, 2011.
  25. Akimasa Morihata, Kiminori Matsuzaki:
    Balanced Trees Inhabiting Functional Parallel Programming.
    In: ICFP'11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, Tokyo, Japan, September 19-21, 2011, pp. 117-128, ACM, 2011.
  26. Shin-Cheng Mu, Akimasa Morihata:
    Generalising and Dualising the Third Homomorphism Theorem (functional pearl).
    In: ICFP'11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, Tokyo, Japan, September 19-21, 2011, pp. 385-391, ACM, 2011.
  27. Akimasa Morihata, Kiminori Matsuzaki:
    A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree.
    In: Proceedings of the International Conference on Computational Science, ICCS 2011, Nanyang Technological University, Singapore 01-03 June 2011, Procedia Computer Science, Vol. 4, pp. 7-16, Elsevier, 2011.
  28. 森畑明昌, 松崎公紀, 武市正人:
    領域限定言語に基づく最適経路問合せ (Optimal Path Querying based on a Domain-Specific Language).
    情報処理学会論文誌 プログラミング, Vol. 4, No. 2, pp. 1-18, 2011.
  29. Akimasa Morihata:
    A Short Cut to Optimal Sequences.
    New Generation Computing, Vol. 29, No. 1, pp. 31-59, 2011.
  30. Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata:
    Constructing Datatype-Generic Fully Polynomial-Time Approximation Schemes Using Generalised Thinning.
    In: Proceedings of the 6th ACM SIGPLAN Workshop on Generic Programming, Baltimore, Maryland, USA, Sep. 26th, 2010, pp. 97-108, ACM, 2010.
  31. Akimasa Morihata, Kiminori Matsuzaki:
    Automatic Parallelization of Recursive Functions using Quantifier Elimination.
    In: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings, Lecture Notes in Computer Science, Vol. 6009, pp. 321-336, Springer, 2010.
  32. Akimasa Morihata:
    A Short Cut to Optimal Sequences.
    In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings, Lecture Notes in Computer Science, Vol. 5904, pp. 63-78, Springer, 2009.
  33. 森畑明昌, 松崎公紀, 胡振江, 武市正人:
    並列プログラムの候補生成と適合性検査による並列化 (Program Parallelization by Candidate Generation and Conformity Testing).
    情報処理学会論文誌 プログラミング, Vol. 2, No. 2, pp. 132-143, 2009.
  34. Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
    The Third Homomorphism Theorem on Trees: Upward & Downward Leads to Divide-and-Conquer.
    In: POPL'09: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, GA, USA, January 21-23, 2009, pp. 177-185, ACM, 2009.
  35. Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi:
    Write It Recursively: A Generic Framework for Optimal Path Queries.
    In: ICFP'08: Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming, Sept. 22-24, 2008, Victoria, BC, Canada, pp. 169-178, ACM, 2008.
  36. Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
    Automatic Inversion Generates Divide-and-Conquer Parallel Programs.
    In: PLDI'07: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 11-13, 2007, pp. 144-155, ACM, 2007.
  37. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
    Swapping Argument and Results of Recursive Functions.
    In: Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings, Lecture Notes in Computer Science, Vol. 4014, pp. 379-396, Springer, 2006.