| 2005.08 |
Systematic Derivation of Tree Contraction Algorithms |
Parallel Processing Letters (PPL) |
| 2004.11 |
An Algebraic Approach to Bi-directional Updating |
APLAS 2004 (Second ASIAN Symposium on Programming Languages and Systems) |
| 2004.11 |
P Type System: A Featherweight Parallelizability Detector |
APLAS 2004 (Second ASIAN Symposium on Programming Languages and Systems) |
| 2004.10 |
A New Parallel Skeleton for General Accumulative Computations |
International Journal of Parallel Programming, Vol.32, No.5, pp389-414 |
| 2004.09 |
A Fusion-Embedded Skeleton Library |
Euro-Par2004 (International Conference on Parallel and Distributed Computing) |
| 2004.07 |
Systematic Derivation of Tree Contraction Algorithms |
CMPP2004 (4th International Workshop on Constructive Methods for Parallel Programming) |
| 2004.07 |
An Injective Language for Reversible Computation |
MPC2004 (Seventh International Conference on Mathematics of Program Construction) |
| 2004.03 |
Deterministic Second-order Patterns |
Information Processing Letters (Vol. 89, No.6, pp.309-314, Elsevier, 2004) |
| 2003.12 |
List Homomorphism with Accumulation |
2nd Asian Workshop on Foundations of Software |
| 2003.09 |
決定論的2階パターンとプログラム変換への応用 |
- 日本ソフトウェア科学会 第20回記念大会
- コンピュータソフトウェア誌 Vol.21, No.5, pp403-408, 2004 |
| 2003.08 |
Iterative-Free Program Analysis |
ICFP2003 (The 8th ACM SIGPLAN International Conference on Functional Programming) |
| 2002.11 |
Implementation of Parallel Tree Skeletons on Distributed Systems |
APLAS 2002 (3rd Asian Workshop on Programming Languages and Systems) |
| 2002.11 |
A Compositional Framework for Mining Longest Ranges |
DS2002 (The 5th International Conference on Discovery Science) |
| 2002.10 |
Towards a Modular Program Derivation via Fusion and Tupling |
- GCSE/SAIG 2002 (The First ACM SIGPLAN Conference on Generators and Components)
- Generative Programming and Component Engineering (Page140-155, LNCS2487, 2002) |
| 2002.10 |
Segmented Diffusion Theorem |
2002 IEEE International Conference on Systems, Man and Cybernetics |
| 2002.10 |
Multidimensional Searching Tree with Minimum Attribute |
コンピュータソフトウェア（19(1)巻号、22〜28ページ、2002年） |
| 2002.09 |
Fusion Transformation on Functional Programs with Regular Patterns |
日本ソフトウェア科学会 第19回大会 |
| 2002.09 |
分散メモリ型並列計算機上での木に対する並列スケルトンの実現 |
日本ソフトウェア科学会 第19回大会 |
| 2002.07 |
Flattening Transformation on Segmented Skeletons |
- Shanghai Jiao Tong University, China
- Peking University, China |
| 2002.07 |
Flattening Segmented Skeletons |
Asian Workshop on Foundations of Software, Hanzhou |
| 2002.07 |
Optimization of Skeletal Parallel Programs |
CMPP2002 (3rd International Workshop on Constructive Methods for Parallel Programming) |
| 2002.07 |
Derivation of Linear Algorithm for Mining Optimized Gain Association Rules |
コンピュータソフトウェア (Vol.19, No.4) |
| 2002.04 |
An Accumulative Parallel Skeleton for All |
- European Symposium on Programming, Grenoble
- Page83-97, LNCS2305, Springer |
| 2002.03 |
変換戦略の記述に基づくプログラムの自動生成システムの実装 |
情報処理学会論文誌 〔Vol.43, No.SIG3(PRO14)〕 |
