| 2026 | FLOPS | Test Your Polymorphic Functions with Boolean Values. | Akimasa Morihata |
| 2026 | GPCE | Synthesizing Recursive Functional Programs via Structure-Element Separation. | Junyu Lin, Akimasa Morihata |
| 2026 | SIGCSE | LLM-Based Explainable Detection of LLM-Generated Code in Python Programming Courses. | Jeonghun Baek, Tetsuro Yamazaki, Akimasa Morihata, Junichiro Mori, Yoko Yamakata, Kenjiro Taura, Shigeru Chiba |
| 2026 | SIGCSE | MaskingAgent: Preventing LLM Tutor from Providing Full Solutions in Python Programming Courses. | Jeonghun Baek, Tetsuro Yamazaki, Akimasa Morihata, Junichiro Mori, Yoko Yamakata, Kenjiro Taura, Shigeru Chiba |
| 2025 | SIGCSE | Leveraging LLM for Detecting and Explaining LLM-generated Code in Python Programming Courses. | Jeonghun Baek, Tetsuro Yamazaki, Akimasa Morihata, Junichiro Mori, Yoko Yamakata, Kenjiro Taura, Shigeru Chiba |
| 2021 | PLDI | Reverse engineering for reduction parallelization via semiring polynomials. | Akimasa Morihata, Shigeyuki Sato |
| 2018 | FLOPS | Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. | Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki |
| 2016 | FLOPS | Incremental Computing with Abstract Data Structures. | Akimasa Morihata |
| 2016 | ICFP | Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki |
| 2016 | ICFP | From identification of parallelizability to derivation of parallelizable codes. | Akimasa Morihata |
| 2014 | APLAS | Syntax-Directed Divide-and-Conquer Data-Flow Analysis. | Shigeyuki Sato, Akimasa Morihata |
| 2014 | APLAS | The Essence of Ruby. | Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori |
| 2014 | FLOPS | Dynamic Programming via Thinning and Incrementalization. | Akimasa Morihata, Masato Koishi, Atsushi Ohori |
| 2013 | ICFP | A short cut to parallelization theorems. | Akimasa Morihata |
| 2012 | FLOPS | Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems. | Akimasa Morihata |
| 2011 | APLAS | Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism. | Akimasa Morihata |
| 2011 | ICFP | Balanced trees inhabiting functional parallel programming. | Akimasa Morihata, Kiminori Matsuzaki |
| 2011 | ICFP | Generalising and dualising the third list-homomorphism theorem: functional pearl. | Shin-Cheng Mu, Akimasa Morihata |
| 2010 | FLOPS | Automatic Parallelization of Recursive Functions Using Quantifier Elimination. | Akimasa Morihata, Kiminori Matsuzaki |
| 2010 | ICFP | Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. | Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata |
| 2009 | APLAS | A Short Cut to Optimal Sequences. | Akimasa Morihata |
| 2009 | POPL | The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. | Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2008 | ICFP | Write it recursively: a generic framework for optimal path queries. | Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi |
| 2007 | PLDI | Automatic inversion generates divide-and-conquer parallel programs. | Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2006 | MPC | Swapping Arguments and Results of Recursive Functions. | Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |