Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. - Isao Sasano; Zhenjiang Hu; Masato Takeichi; Mizuhito Ogawa (ICFP, 2000)

Generation of Efficient Programs for Solving Maximum Multi-marking Problems. - Isao Sasano; Zhenjiang Hu; Masato Takeichi (SAIG, 2001)

Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. - Mizuhito Ogawa; Zhenjiang Hu; Isao Sasano; Masato Takeichi (APLAS, 2002)

Iterative-free program analysis. - Mizuhito Ogawa; Zhenjiang Hu; Isao Sasano (ICFP, 2003)

Maximum Marking Problems with Accumulative Weight Functions. - Isao Sasano; Mizuhito Ogawa; Zhenjiang Hu (ICTAC, 2005)

Lightweight fusion by fixed point promotion. - Atsushi Ohori; Isao Sasano (POPL, 2007)

Toward Bidirectionalization of ATL with GRoundTram. - Isao Sasano; Zhenjiang Hu; Soichiro Hidaka; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano 001 (ICMT@TOOLS, 2011)

Marker-Directed Optimization of UnCAL Graph Transformations. - Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano 001; Isao Sasano (LOPSTR, 2011)

An approach to completing variable names for implicitly typed functional languages. - Isao Sasano; Takumi Goto (High. Order Symb. Comput., 2012)

Toward Modular Implementation of Practical Identifier Completion on Incomplete Program Text. - Isao Sasano (BICT, 2014)

A Tool for Visualizing Buffer Overflow with Detecting Return Address Overwriting. - Isao Sasano (EAI Endorsed Trans. Self Adapt. Syst., 2016)

Detecting code clones with gaps by function applications. - Tsubasa Matsushita; Isao Sasano (PEPM, 2017)

Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. - Kentaro Kikuchi; Takahito Aoto 001; Isao Sasano (PPDP, 2019)

An approach to generate text-based IDEs for syntax completion based on syntax specification. - Isao Sasano (PEPM@POPL, 2020)

Server-Side Computation of Package Dependencies in Package-Management Systems. - Nobuhiro Kasai; Isao Sasano (APLAS, 2021)

A text-based syntax completion method using LR parsing. - Isao Sasano; Kwanghoon Choi 001 (PEPM@POPL, 2021)

A text-based syntax completion method using LR parsing and its evaluation. - Isao Sasano; Kwanghoon Choi 001 (Sci. Comput. Program., 2023)

Ranked Syntax Completion With LR Parsing. - Kwanghoon Choi 001; Sooyeon Hwang; Hyeon-Ah Moon; Isao Sasano (SAC, 2024)

Improving LLM-based code completion using LR parsing-based candidates. - Md Monir Ahammod Bin Atique; Kwanghoon Choi 001; Isao Sasano; Hyeon-Ah Moon (SCSS (Work in Progress), 2024)