| 2026 | TACAS | ReCheck: Automated Contextual Improvement Verifier for Functional Calculi across User-Defined Operational Semantics. | Makoto Hamana, Kento Emoto |
| 2019 | APLAS | Recursion Schemes in Coq. | Kosuke Murata, Kento Emoto |
| 2019 | ICPP | HOPE: A Parallel Execution Model Based on Hierarchical Omission. | Masahiro Yasugi, Daisuke Muraoka, Tasuku Hiraishi, Seiji Umatani, Kento Emoto |
| 2018 | FLOPS | Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. | Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki |
| 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 |
| 2014 | ITP | A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. | Kento Emoto, Frdric Loulergue, Julien Tesson |
| 2013 | PPoPP | A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce. | Yu Liu, Kento Emoto, Zhenjiang Hu |
| 2012 | ESOP | Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. | Kento Emoto, Sebastian Fischer, Zhenjiang Hu |
| 2010 | EuroPar | Generators-of-Generators Library with Optimization Capabilities in Fortress. | Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi |
| 2007 | EuroPar | Domain-Specific Optimization Strategy for Skeleton Programs. | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2007 | ICCS | Efficient Parallel Tree Reductions on Distributed Memory Environments. | Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto |
| 2006 | EuroPar | Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |