Travelled to:
1 × Canada
1 × Cyprus
1 × Denmark
1 × Japan
1 × Spain
2 × Germany
2 × Italy
3 × USA
Collaborated with:
M.Wang ∅ Z.Hu M.W.0002 K.Nakano M.Takeichi K.Inaba S.Hidaka K.Asada N.Kobayashi A.Shinohara H.Kato M.Billes Q.M.Tran S.Mu J.Voigtländer M.Hamana I.Sasano
Talks about:
transform (7) bidirection (6) graph (6) function (5) program (5) base (4) approach (3) languag (3) invert (3) complement (2)
Person: Kazutaka Matsuda
DBLP: Matsuda:Kazutaka
Contributed to:
Wrote 18 papers:
- BX-2015-HidakaBTM #analysis #approach #bidirectional #graph transformation
- Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations (SH, MB, QMT, KM), pp. 51–65.
- ICFP-2015-MatsudaW #bidirectional #lens #programming
- Applicative bidirectional programming with lenses (KM, MW), pp. 62–74.
- ESOP-2013-MatsudaW #named
- FliPpr: A Prettier Invertible Printing System (KM, MW), pp. 101–120.
- PPDP-2013-MatsudaW #approach #bidirectional #for free #problem #runtime
- Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem (KM, MW), pp. 297–308.
- PEPM-2012-KobayashiMS #functional #source code
- Functional programs as compressed data (NK, KM, AS), pp. 121–130.
- PEPM-2012-MatsudaIN #cumulative #multi #polynomial #traversal
- Polynomial-time inverse computation for accumulative functions with multiple data traversals (KM, KI, KN), pp. 5–14.
- BX-2011-Matsuda #bidirectional
- Right Inverses in Bidirectionalization (KM), p. 61.
- LOPSTR-2011-HidakaHIKMNS #graph transformation #optimisation
- Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
- ESOP-2010-MatsudaMHT #approach #grammarware #source code
- A Grammar-Based Approach to Invertible Programs (KM, SCM, ZH, MT), pp. 448–467.
- ICFP-2010-HidakaHIKMN #bidirectional #graph transformation
- Bidirectionalizing graph transformations (SH, ZH, KI, HK, KM, KN), pp. 205–216.
- ICFP-2010-VoigtlanderHMW #bidirectional #semantics
- Combining syntactic and semantic bidirectionalization (JV, ZH, KM, MW), pp. 181–192.
- PEPM-2009-MatsudaHT #type system #xml
- Type-based specialization of xml transformations (KM, ZH, MT), pp. 61–72.
- BX-2008-Matsuda
- Languages Short Talk 3 (KM), p. 3.
- BX-2008-Matsuda1 #bidirectional #source code
- Bidirectionalization of Programs with Duplication through Complement Function Derivation (KM), p. 40.
- ICFP-2007-MatsudaHNHT #automation #bidirectional
- Bidirectionalization transformation based on automatic derivation of view complement functions (KM, ZH, KN, MH, MT), pp. 47–58.
- ESOP-2018-Matsuda0 #combinator #lens #named #programming #using
- HOBiT: Programming Lenses Without Using Lens Combinators (KM, MW0), pp. 31–59.
- Haskell-2018-MatsudaW
- Embedding invertible languages with binders: a case of the FliPpr language (KM, MW0), pp. 158–171.
- PEPM-2017-MatsudaA #functional #graph transformation #reduction
- A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction (KM, KA), pp. 71–82.