Akimasa Morihata

37 papers A* 3A 5B 5Misc 6Journal 12Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	LLM-Based Explainable Detection of LLM-Generated Code in Python Programming Courses. SIGCSE (1) Jeonghun Baek, Tetsuro Yamazaki, Akimasa Morihata, Junichiro Mori, Yoko Yamakata, Kenjiro Taura, Shigeru Chiba
2026	J	`jnl`	LR parsing for strings with placeholders. Inf. Process. Lett. Kohei Nakamichi, Akimasa Morihata, Tomoki Nakamaru
2026	—	`conf`	MaskingAgent: Preventing LLM Tutor from Providing Full Solutions in Python Programming Courses. SIGCSE (2) Jeonghun Baek, Tetsuro Yamazaki, Akimasa Morihata, Junichiro Mori, Yoko Yamakata, Kenjiro Taura, Shigeru Chiba
2025	—	`conf`	Leveraging LLM for Detecting and Explaining LLM-generated Code in Python Programming Courses. SIGCSE (2) Jeonghun Baek, Tetsuro Yamazaki, Akimasa Morihata, Junichiro Mori, Yoko Yamakata, Kenjiro Taura, Shigeru Chiba
2025	—	`conf`	Synthesizing Accumulative Functions Via Program Transformation. TFP Junyu Lin, Akimasa Morihata
2023	J	`jnl`	Conjuring Fusion Laws via Relational Calculus. J. Inf. Process. Akimasa Morihata
2023	J	`jnl`	When does 0-1 Principle Hold for Prefix Sums? New Gener. Comput. Akimasa Morihata
2022	J	`jnl`	Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. J. Funct. Program. Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu
2021	J	`jnl`	Lambda calculus with algebraic simplification for reduction parallelisation: Extended study. J. Funct. Program. Akimasa Morihata
2021	A*	`conf`	Reverse engineering for reduction parallelization via semiring polynomials. PLDI Akimasa Morihata, Shigeyuki Sato
2019	J	`jnl`	Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning. Proc. ACM Program. Lang. Akimasa Morihata
2019	J	`jnl`	Using Algebraic Properties and Function Fusion to Evaluate Tree Accumulations in Parallel. J. Inf. Process. Akimasa Morihata
2018	J	`jnl`	Incremental computing with data structures. Sci. Comput. Program. Akimasa Morihata
2018	Misc	`conf`	Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. FLOPS Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
2016	—	`conf`	From identification of parallelizability to derivation of parallelizable codes. FHPC@ICFP Akimasa Morihata
2016	Misc	`conf`	Incremental Computing with Abstract Data Structures. FLOPS Akimasa Morihata
2016	A	`conf`	Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. ICFP Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
2015	J	`jnl`	Approximate by thinning: Deriving fully polynomial-time approximation schemes. Sci. Comput. Program. Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata
2015	J	`jnl`	Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree. Inf. Media Technol. Akimasa Morihata, Kiminori Matsuzaki
2014	Misc	`conf`	Dynamic Programming via Thinning and Incrementalization. FLOPS Akimasa Morihata, Masato Koishi, Atsushi Ohori
2014	B	`conf`	Syntax-Directed Divide-and-Conquer Data-Flow Analysis. APLAS Shigeyuki Sato, Akimasa Morihata
2014	B	`conf`	The Essence of Ruby. APLAS Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
2013	A	`conf`	A short cut to parallelization theorems. ICFP Akimasa Morihata
2012	Misc	`conf`	Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems. FLOPS Akimasa Morihata
2012	J	`jnl`	Manipulating accumulative functions by swapping call-time and return-time computations. J. Funct. Program. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
2011	Misc	`conf`	A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree. ICCS Akimasa Morihata, Kiminori Matsuzaki
2011	J	`jnl`	A Short Cut to Optimal Sequences. New Gener. Comput. Akimasa Morihata
2011	A	`conf`	Balanced trees inhabiting functional parallel programming. ICFP Akimasa Morihata, Kiminori Matsuzaki
2011	A	`conf`	Generalising and dualising the third list-homomorphism theorem: functional pearl. ICFP Shin-Cheng Mu, Akimasa Morihata
2011	B	`conf`	Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism. APLAS Akimasa Morihata
2010	Misc	`conf`	Automatic Parallelization of Recursive Functions Using Quantifier Elimination. FLOPS Akimasa Morihata, Kiminori Matsuzaki
2010	—	`conf`	Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. ICFP-WGP Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata
2009	B	`conf`	A Short Cut to Optimal Sequences. APLAS Akimasa Morihata
2009	A*	`conf`	The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. POPL Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2008	A	`conf`	Write it recursively: a generic framework for optimal path queries. ICFP Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi
2007	A*	`conf`	Automatic inversion generates divide-and-conquer parallel programs. PLDI Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2006	B	`conf`	Swapping Arguments and Results of Recursive Functions. MPC Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi