Isao Sasano

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 8

Top Topics

Precisely Defined

Rewriting Systems

Top Venues

Publications

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