`Travelled to:`

1 × Canada

1 × Denmark

1 × France

1 × Italy

1 × Sweden

1 × Switzerland

1 × USA

`Collaborated with:`

Z.Hu M.Ogawa M.Takeichi T.Goto A.Ohori Tsubasa Matsushita K.Kikuchi T.A.0001 S.Hidaka K.Inaba H.Kato K.Nakano K.Matsuda

`Talks about:`

program (3) transform (2) function (2) problem (2) maximum (2) applic (2) solv (2) lightweight (1) bidirection (1) weightsum (1)

## Person: Isao Sasano

### DBLP: Sasano:Isao

### Contributed to:

### Wrote 9 papers:

- PEPM-2012-GotoS #approach #functional
- An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.
- ICMT-2011-SasanoHHIKN #atl #bidirectional #towards
- Toward Bidirectionalization of ATL with GRoundTram (IS, ZH, SH, KI, HK, KN), pp. 138–151.
- LOPSTR-2011-HidakaHIKMNS #graph transformation #optimisation
- Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
- POPL-2007-OhoriS #fixpoint #lightweight
- Lightweight fusion by fixed point promotion (AO, IS), pp. 143–154.
- ICFP-2003-OgawaHS #program analysis
- Iterative-free program analysis (MO, ZH, IS), pp. 111–123.
- SAIG-2001-SasanoHT #generative #multi #performance #problem #source code
- Generation of Efficient Programs for Solving Maximum Multi-marking Problems (IS, ZH, MT), pp. 72–91.
- ICFP-2000-SasanoHTO #algorithm #linear #problem
- Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems (IS, ZH, MT, MO), pp. 137–149.
- PEPM-2017-MatsushitaS #detection
- Detecting code clones with gaps by function applications (TM, IS), pp. 12–22.
- PPDP-2019-Kikuchi0S #induction #program transformation #proving #term rewriting #theorem proving
- Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation (KK, TA0, IS), p. 14.