| 2024 | SAC | Ranked Syntax Completion With LR Parsing. | Kwanghoon Choi, Sooyeon Hwang, Hyeon-Ah Moon, Isao Sasano |
| 2021 | APLAS | Server-Side Computation of Package Dependencies in Package-Management Systems. | Nobuhiro Kasai, Isao Sasano |
| 2021 | PEPM | A text-based syntax completion method using LR parsing. | Isao Sasano, Kwanghoon Choi |
| 2020 | PEPM | An approach to generate text-based IDEs for syntax completion based on syntax specification. | Isao Sasano |
| 2019 | PPDP | Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. | Kentaro Kikuchi, Takahito Aoto, Isao Sasano |
| 2017 | PEPM | Detecting code clones with gaps by function applications. | Tsubasa Matsushita, Isao Sasano |
| 2012 | PEPM | An approach to completing variable names for implicitly typed functional languages. | Takumi Goto, Isao Sasano |
| 2011 | LOPSTR | Marker-Directed Optimization of UnCAL Graph Transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano |
| 2007 | POPL | Lightweight fusion by fixed point promotion. | Atsushi Ohori, Isao Sasano |
| 2005 | ICTAC | Maximum Marking Problems with Accumulative Weight Functions. | Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu |
| 2003 | ICFP | Iterative-free program analysis. | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano |
| 2002 | APLAS | Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi |
| 2000 | ICFP | Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. | Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa |