Isao Sasano

22 papers A* 1A 2B 2C 5Misc 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Improving LLM-based code completion using LR parsing.
J. Comput. Lang.
Md Monir Ahammod Bin Atique, Hyeon-Ah Moon, Isao Sasano, Kwanghoon Choi
2024 — conf
Improving LLM-based code completion using LR parsing-based candidates.
SCSS (Work in Progress)
Md Monir Ahammod Bin Atique, Kwanghoon Choi, Isao Sasano, Hyeon-Ah Moon
2024 Misc conf
Ranked Syntax Completion With LR Parsing.
SAC
Kwanghoon Choi, Sooyeon Hwang, Hyeon-Ah Moon, Isao Sasano
2023 J jnl
A text-based syntax completion method using LR parsing and its evaluation.
Sci. Comput. Program.
Isao Sasano, Kwanghoon Choi
2021 — conf
A text-based syntax completion method using LR parsing.
PEPM@POPL
Isao Sasano, Kwanghoon Choi
2021 B conf
Server-Side Computation of Package Dependencies in Package-Management Systems.
APLAS
Nobuhiro Kasai, Isao Sasano
2020 — conf
An approach to generate text-based IDEs for syntax completion based on syntax specification.
PEPM@POPL
Isao Sasano
2019 C conf
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation.
PPDP
Kentaro Kikuchi, Takahito Aoto, Isao Sasano
2017 C conf
Detecting code clones with gaps by function applications.
PEPM
Tsubasa Matsushita, Isao Sasano
2016 J jnl
A Tool for Visualizing Buffer Overflow with Detecting Return Address Overwriting.
EAI Endorsed Trans. Self Adapt. Syst.
Isao Sasano
2015 — conf
A Tool for Visualizing Buffer Overflow with Detecting Return Address Overwriting.
BICT
Isao Sasano
2014 — conf
Toward Modular Implementation of Practical Identifier Completion on Incomplete Program Text.
BICT
Isao Sasano
2012 C conf
An approach to completing variable names for implicitly typed functional languages.
PEPM
Takumi Goto, Isao Sasano
2012 J jnl
An approach to completing variable names for implicitly typed functional languages.
High. Order Symb. Comput.
Isao Sasano, Takumi Goto
2011 C conf
Marker-Directed Optimization of UnCAL Graph Transformations.
LOPSTR
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
2011 — conf
Toward Bidirectionalization of ATL with GRoundTram.
ICMT@TOOLS
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
2007 A* conf
Lightweight fusion by fixed point promotion.
POPL
Atsushi Ohori, Isao Sasano
2005 C conf
Maximum Marking Problems with Accumulative Weight Functions.
ICTAC
Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu
2003 A conf
Iterative-free program analysis.
ICFP
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
2002 B conf
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.
APLAS
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi
2001 — conf
Generation of Efficient Programs for Solving Maximum Multi-marking Problems.
SAIG
Isao Sasano, Zhenjiang Hu, Masato Takeichi
2000 A conf
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems.
ICFP
Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa