Masato Takeichi

Publication Activity (10 Years)

Years Active: 1986-2021
Publications (10 Years): 4

Top Topics

Query Decomposition

Distributed Systems

Fault Tolerance

Top Venues

SFDI/LSGDA@VLDB

Publications

Masato Takeichi
Conflict-free Collaborative Set Sharing for Distributed Systems. CoRR (2021)
Masato Takeichi
Operation-based Collaborative Data Sharing for Distributed Systems. CoRR (2021)
Makoto Onizuka, Yasunori Ishihara, Masato Takeichi
Towards Smart Data Sharing by Updatable Views. SFDI/LSGDA@VLDB (2020)
Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa
Data Integration Models and Architectures for Service Alliances. SFDI/LSGDA@VLDB (2020)
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. 12 (1) (2013)
Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
Manipulating accumulative functions by swapping call-time and return-time computations. J. Funct. Program. 22 (3) (2012)
Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
A Grammar-Based Approach to Invertible Programs. ESOP (2010)
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi
Program Calculation in Coq. AMAST (2010)
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
Generators-of-Generators Library with Optimization Capabilities in Fortress. Euro-Par (2) (2010)
Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. POPL (2009)
Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
Type-based specialization of xml transformations. PEPM (2009)
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE (2009)
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
Supporting Parallel Updates with Bidirectional Model Transformations. ICMT@TOOLS (2009)
Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
Consistent Web site updating based on bidirectional transformation. Int. J. Softw. Tools Technol. Transf. 11 (6) (2009)
Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi
Write it recursively: a generic framework for optimal path queries. ICFP (2008)
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
A programmable editor for developing structured documents based on bidirectional transformations. High. Order Symb. Comput. 21 (1-2) (2008)
Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
Consistent Web site updating based on bidirectional transformation. WSE (2008)
Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
A Web Service Architecture for Bidirectional XML Updating. APWeb/WAIM (2007)
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
Bidirectionalizing Tree Transformation Languages: A Case Study. Inf. Media Technol. 2 (2) (2007)
Dongxi Liu, Zhenjiang Hu, Masato Takeichi
Bidirectional interpretation of XQuery. PEPM (2007)
Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, Hao Wang
A Java Library for Bidirectional XML Transformation. Inf. Media Technol. 2 (3) (2007)
Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
Towards automatic model synchronization from model transformations. ASE (2007)
Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Automatic inversion generates divide-and-conquer parallel programs. PLDI (2007)
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP (2007)
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. Int. J. Parallel Program. 35 (6) (2007)
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par (2007)
Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
Swapping Arguments and Results of Recursive Functions. MPC (2006)
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par (2006)
Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Parallel skeletons for manipulating general trees. Parallel Comput. 32 (7-8) (2006)
Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Towards automatic parallelization of tree reductions in dynamic programming. SPAA (2006)
Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
Systematic Derivation of Tree Contraction Algorithms. Parallel Process. Lett. 15 (3) (2005)
Dongxi Liu, Zhenjiang Hu, Masato Takeichi
An environment for maintaining computation dependency in XML documents. ACM Symposium on Document Engineering (2005)
Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi
Program Optimizations and Transformations in Calculation Form. GTTSE (2005)
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
An Injective Language for Reversible Computation. MPC (2004)
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
A programmable editor for developing structured documents based on bidirectional transformations. PEPM (2004)
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
Deterministic second-order patterns. Inf. Process. Lett. 89 (6) (2004)
Kumiko Tanaka-Ishii, Kazuhiko Kakehi, Masato Takeichi
EMMA: a web-based report system for programming course--automated verification and enhanced feedback. ITiCSE (2004)
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
An Algebraic Approach to Bi-directional Updating. APLAS (2004)
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
Deterministic Higher-Order Patterns for Program Transformation. LOPSTR (2003)
Kumiko Tanaka-Ishii, Daichi Hayakawa, Masato Takeichi
Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse of a Small User Corpus. ACL (2003)
Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
List Homomorphism with Accumulation. SNPD (2003)
Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
An Efficient Staging Algorithm for Binding-Time Analysis. LOPSTR (2003)
Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Parallelization with Tree Skeletons. Euro-Par (2003)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS (2002)
Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
Entering Text with a Four-Button Device. COLING (2002)
Takuma Murakami, Zhenjiang Hu, Masato Takeichi
An Optimal Staging Algorithm. APLAS (2002)
Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
A Compositional Framework for Mining Longest Ranges. Discovery Science (2002)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
An Accumulative Parallel Skeleton for All. ESOP (2002)
Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
Fusion Transformation on Functional Programs of Regular Expression Types. APLAS (2002)
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
Yicho - A System for Programming Program Calculations. APLAS (2002)
Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS (2002)
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)
Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
Calculating a New Data Mining Algorithm for Market Basket Analysis. J. Funct. Log. Program. 2001 (8) (2001)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
An Accumulative Parallel Skeleton for All. APLAS (2001)
Yusuke Inutsuka, Kumiko Tanaka-Ishii, Masato Takeichi
Thai Text Entry with Digits. NLPRS (2001)
Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
Personalization of Text Entry Systems for Mobile Phones. NLPRS (2001)
Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
A Compositional Framework for Querying Optimized Ranges. APLAS (2001)
Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
Japanese Text Input System With Digits. HLT (2001)
Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
Mining Optimized Ranges. APLAS (2000)
Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL (2000)
Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
Deriving Parallel Codes via Invariants. SAS (2000)
Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. ICFP (2000)
Hideya Iwasaki, Kumiko Tanaka-Ishii, Kei Tateno, Masato Takeichi
Context-sensitive detection and correction of homonym errors in Japanese texts (poster session). IRAL (2000)
Takanori Hayashi, Shin'ichiro Yamasaki, Naoto Morita, Hitoshi Aida, Masato Takeichi, Norihisa Doi
Effects of IP packet loss and picture frame reduction on MPEG1 subjective quality. MMSP (1999)
Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
Diffusion: Calculating Efficient Parallel Programs. PEPM (1999)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Calculating Accumulations. New Gener. Comput. 17 (2) (1999)
Zhenjiang Hu, Masato Takeichi
Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Process. Lett. 9 (3) (1999)
Akihiko Takano, Zhenjiang Hu, Masato Takeichi
Program Transformation in Calculational Form. ACM Comput. Surv. 30 (3es) (1998)
Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming (1998)
Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin
Parallelization in Calculational Forms. POPL (1998)
Liangwei Xu, Masato Takeichi, Hideya Iwasaki
Relational Semantics for Locally Nondeterministic Programs. New Gener. Comput. 15 (3) (1997)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
Tupling Calculation Eliminates Multiple Data Traversals. ICFP (1997)
Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
A calculational fusion system HYLO. Algorithmic Languages and Calculi (1997)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. ACM Trans. Program. Lang. Syst. 19 (3) (1997)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Construction of List Homomorphisms by Tupling and Fusion. MFCS (1996)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Cheap Tupling in Calculational Form. PLILP (1996)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Deriving Structural Hylomorphisms From Recursive Definitions. ICFP (1996)
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. Euro-Par, Vol. I (1996)
Liangwei Xu, Hideya Iwasaki, Masato Takeichi
Derivation of Algorithms by Introduction of Generation Functions. New Gener. Comput. 13 (1) (1994)
Masato Takeichi
Partial Parametrization Eliminates Multiple Traversals of Data Structures. Acta Informatica 24 (1) (1987)
Masato Takeichi
Inserting Injection Operations to Denotational Specifications. New Gener. Comput. 4 (4) (1986)