Masato Takeichi

According to our database1, Masato Takeichi
  • authored at least 75 papers between 1986 and 2013.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Synchronizing concurrent model updates based on bidirectional transformation.
Software and System Modeling, 2013

2012
Manipulating accumulative functions by swapping call-time and return-time computations.
J. Funct. Program., 2012

2010
Generators-of-Generators Library with Optimization Capabilities in Fortress.
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

A Grammar-Based Approach to Invertible Programs.
Proceedings of the Programming Languages and Systems, 2010

Program Calculation in Coq.
Proceedings of the Algebraic Methodology and Software Technology, 2010

2009
Consistent Web site updating based on bidirectional transformation.
STTT, 2009

Supporting automatic model inconsistency fixing.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Type-based specialization of xml transformations.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Supporting Parallel Updates with Bidirectional Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2009

2008
A programmable editor for developing structured documents based on bidirectional transformations.
Higher-Order and Symbolic Computation, 2008

Consistent Web site updating based on bidirectional transformation.
Proceedings of the 10th IEEE International Symposium on Web Systems Evolution, 2008

Write it recursively: a generic framework for optimal path queries.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays.
International Journal of Parallel Programming, 2007

A Web Service Architecture for Bidirectional XML Updating.
Proceedings of the Advances in Data and Web Management, 2007

Automatic inversion generates divide-and-conquer parallel programs.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Bidirectional interpretation of XQuery.
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Towards automatic model synchronization from model transformations.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Bidirectionalization transformation based on automatic derivation of view complement functions.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Domain-Specific Optimization Strategy for Skeleton Programs.
Proceedings of the Euro-Par 2007, 2007

2006
Parallel skeletons for manipulating general trees.
Parallel Computing, 2006

Towards automatic parallelization of tree reductions in dynamic programming.
Proceedings of the SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30, 2006

Swapping Arguments and Results of Recursive Functions.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

2005
Systematic Derivation of Tree Contraction Algorithms.
Parallel Processing Letters, 2005

Program Optimizations and Transformations in Calculation Form.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

An environment for maintaining computation dependency in XML documents.
Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

2004
Deterministic second-order patterns.
Inf. Process. Lett., 2004

A programmable editor for developing structured documents based on bidirectional transformations.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

An Injective Language for Reversible Computation.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

EMMA: a web-based report system for programming course--automated verification and enhanced feedback.
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

An Algebraic Approach to Bi-directional Updating.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
List Homomorphism with Accumulation.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Deterministic Higher-Order Patterns for Program Transformation.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

An Efficient Staging Algorithm for Binding-Time Analysis.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

Parallelization with Tree Skeletons.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse of a Small User Corpus.
Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics, 2003

2002
An Accumulative Parallel Skeleton for All.
Proceedings of the Programming Languages and Systems, 2002

A Compositional Framework for Mining Longest Ranges.
Proceedings of the Discovery Science, 5th International Conference, 2002

Entering Text with a Four-Button Device.
Proceedings of the 19th International Conference on Computational Linguistics, 2002

Yicho - A System for Programming Program Calculations.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

An Optimal Staging Algorithm.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Implementation of Parallel Tree Skeletons on Distributed Systems.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Fusion Transformation on Functional Programs of Regular Expression Types.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001
Calculating a New Data Mining Algorithm for Market Basket Analysis.
Journal of Functional and Logic Programming, 2001

Generation of Efficient Programs for Solving Maximum Multi-marking Problems.
Proceedings of the Semantics, 2001

Personalization of Text Entry Systems for Mobile Phones.
Proceedings of the Sixth Natural Language Processing Pacific Rim Symposium, 2001

Thai Text Entry with Digits.
Proceedings of the Sixth Natural Language Processing Pacific Rim Symposium, 2001

A Compositional Framework for Querying Optimized Ranges.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

An Accumulative Parallel Skeleton for All.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000
Deriving Parallel Codes via Invariants.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Calculating a New Data Mining Algorithm for Market Basket Analysis.
Proceedings of the Practical Aspects of Declarative Languages, 2000

Context-sensitive detection and correction of homonym errors in Japanese texts (poster session).
Proceedings of the Fifth International Workshop on Information Retrieval with Asian Languages, 2000, Hong Kong, China, September 30, 2000

Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Mining Optimized Ranges.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999
Calculating an Optimal Homomorphic Algorithm for Bracket Matching.
Parallel Processing Letters, 1999

Calculating Accumulations.
New Generation Comput., 1999

Diffusion: Calculating Efficient Parallel Programs.
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Effects of IP packet loss and picture frame reduction on MPEG1 subjective quality.
Proceedings of the Third IEEE Workshop on Multimedia Signal Processing, 1999

1998
Program Transformation in Calculational Form.
ACM Comput. Surv., 1998

Parallelization in Calculational Forms.
Proceedings of the POPL '98, 1998

Towards Manipulation of Mutually Recursive Functions.
Fuji International Symposium on Functional and Logic Programming, 1998

1997
Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.
ACM Trans. Program. Lang. Syst., 1997

Relational Semantics for Locally Nondeterministic Programs.
New Generation Comput., 1997

Tupling Calculation Eliminates Multiple Data Traversals.
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

A calculational fusion system HYLO.
Proceedings of the Algorithmic Languages and Calculi, 1997

1996
Cheap Tupling in Calculational Form.
Proceedings of the Programming Languages: Implementations, 1996

Construction of List Homomorphisms by Tupling and Fusion.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Deriving Structural Hylomorphisms From Recursive Definitions.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), 1996

Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1994
Derivation of Algorithms by Introduction of Generation Functions.
New Generation Comput., 1994

1987
Partial Parametrization Eliminates Multiple Traversals of Data Structures.
Acta Inf., 1987

1986
Inserting Injection Operations to Denotational Specifications.
New Generation Comput., 1986


  Loading...