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:
2012
2011
2011
2007
2003
200120002017
2019Wrote 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.