Kazutaka Matsuda - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Kazutaka Matsuda' as author, editor, or advisor:

A simulated LC oscillator using multi-input floating-gate MOSFETSK. Matsuda, Yoshihiko Horio, Kazuyuki Aihara. iscas 2001: 763-766 [doi]
Design of a Robust Sliding Mode Controller using Multirate Output FeedbackAkira Inoue, Mingcong Deng, K. Matsuda, B. Bandyopadhyay. IEEEcca 2007: 200-203 [doi]
3D Volume Extraction and Mesh Generation Using Energy Minimization TechniquesA. Doi, S. Fujiwara, K. Matsuda, M. Kameda. 3dpvt 2002: 83-86 [doi]
A New Motion Compensation Coding Scheme for Video ConferencesK. Matsuda, T. Tsuda, T. Ito, S. Maki. icc 1984: 234-238
Refactoring pattern matchingMeng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu. SCP, 78(11):2216-2242, 2013. [doi]
Sparcl: A language for partially invertible computationKazutaka Matsuda, Meng Wang 0002. JFP, 34, 2024. [doi]
Polynomial-time inverse computation for accumulative functions with multiple data traversalsKazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano. PEPM 2012: 5-14 [doi]
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph TransformationsSoichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda. staf 2015: 51-65 [doi]
Modular Inference of Linear Types for Multiplicity-Annotated ArrowsKazutaka Matsuda. ESOP 2020: 456-483 [doi]
HOBiT: Programming Lenses Without Using Lens CombinatorsKazutaka Matsuda, Meng Wang 0002. ESOP 2018: 31-59 [doi]
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model CheckingKazuhide Yasukata, Naoki Kobayashi 0001, Kazutaka Matsuda. concur 2014: 312-326 [doi]
Applicative bidirectional programming: Mixing lenses and semantic bidirectionalizationKazutaka Matsuda, Meng Wang 0002. JFP, 28, 2018. [doi]
Synbit: synthesizing bidirectional programs using unidirectional sketchesMasaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang 0002. PACMPL, 5(OOPSLA):1-31, 2021. [doi]
Functional programs as compressed dataNaoki Kobayashi 0001, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi. lisp, 25(1):39-84, 2012. [doi]
Functional programs as compressed dataNaoki Kobayashi 0001, Kazutaka Matsuda, Ayumi Shinohara. PEPM 2012: 121-130 [doi]
Applicative bidirectional programming with lensesKazutaka Matsuda, Meng Wang. ICFP 2015: 62-74 [doi]
Embedding by UnembeddingKazutaka Matsuda, Samantha Frohlich, Meng Wang 0002, Nicolas Wu. PACMPL, 7(ICFP):1-47, August 2023. [doi]
The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semanticsMakoto Hamana, Kazutaka Matsuda, Kazuyuki Asada. mscs, 28(2):287-337, 2018. [doi]
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problemKazutaka Matsuda, Meng Wang. ppdp 2013: 297-308 [doi]
Marker-Directed Optimization of UnCAL Graph TransformationsSoichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano. LOPSTR 2012: 123-138 [doi]
Reconciling Partial and Local InvertibilityAnders Ågren Thuné, Kazutaka Matsuda, Meng Wang 0002. ESOP 2024: 59-89 [doi]
Sparcl: a language for partially-invertible computationKazutaka Matsuda, Meng Wang. PACMPL, 4(ICFP), 2020. [doi]
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reductionKazutaka Matsuda, Kazuyuki Asada. PEPM 2017: 71-82 [doi]
FliPpr: A System for Deriving Parsers from Pretty-PrintersKazutaka Matsuda, Meng Wang. ngc, 36(3):173-202, 2018. [doi]
Polynomial-time inverse computation for accumulative functions with multiple data traversalsKazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano. lisp, 25(1):3-38, 2012. [doi]
Synbit: synthesizing bidirectional programs using unidirectional sketchesMasaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang 0002. fmsd, 61(2):198-247, December 2022. [doi]
FliPpr: A Prettier Invertible Printing SystemKazutaka Matsuda, Meng Wang. ESOP 2013: 101-120 [doi]
"Bidirectionalization for free" for monomorphic transformationsKazutaka Matsuda, Meng Wang. SCP, 111:79-109, 2015. [doi]
Embedding invertible languages with binders: a case of the FliPpr languageKazutaka Matsuda, Meng Wang. haskell 2018: 158-171 [doi]
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9)Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi. shonan-reports, 2017, 2017. [doi]

runs on WebDSL