Dongxi Liu,
Zhenjiang Hu,
Masato Takeichi,
An Expressive Bidirectional Transformation Language for XQuery View Update,
Progress in Informatics, Vol.10, 2013. pp.89-130.
Soichiro Hidaka,
Zhenjiang Hu,
Kazuhiro Inaba,
Hiroyuki Kato,
Keisuke Nakano,
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations,
Progress in Informatics, Vol.10, 2013. pp.131-148.
2012
Hiroyuki Kato,
Soichiro Hidaka,
Zhenjiang Hu,
Keisuke Nakano,
Yasunori Ishihara,
Context-Preserving XQuery Fusion,
Mathematical Structures in Computer Science
(MSCS),
Cambridge University Press, Accepted, 2012.
Meng Wang,
Jeremy Gibbons,
Kazutaka Matsuda,
Zhenjiang Hu,
Refactoring Pattern Matching,
Science of Computer Programming, accepted, 2012.
Akimasa Morihata,
Kazuhiko Kakehi,
Zhenjiang Hu,
Masato Takeichi,
Manipulating Accumulative Functions by Swapping Call-time and Return-time Computations,
Journal of Functional Programming, Vol. 22, No. 3, pp. 275-299, 2012.
Zhenjiang Hu,
Juan de Lara (Eds): Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. LNCS 7307, Springer 2012.
Kento Emoto,
Sebastian Fischer,
Zhenjiang Hu,
Filter-embedding Semiring Fusion for Programming with MapReduce,
Formal Aspects of Computing, Vol. 24, No.4-6, Springer, 2012. pp.623-645.
Yijun Yu,
Yu Lin,
Zhenjiang Hu,
Soichiro Hidaka,
Hiroyuki Kato,
Lionel Montrieux,
Maintaining Invariant Traceability through Bidirectional Transformations,
34th International Conference on Software Engineering
(ICSE 2012),
Zurich, Switzerland, Kune 2-9, 2012. pp.540-550.
Kento Emoto,
Sebastian Fischer,
Zhenjiang Hu,
Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce,
22nd European Symposium on Programming
(ESOP 2012),
Tallinn, Estonia, March 24 - April 1, 2012. pp. 254-273.
Hugo Pacheco,
Alcino Cunha ,
Zhenjiang Hu,
Delta Lenses over Inductive Types,
First International Workshop on
Bidirectional Transformations
(BX 2012),
Tallinn, Estonia, March 25, 2012.
Extended version appears in Electronic Communications of the EASST, Volume 49, 2012. 17pp.
中野 圭介,
日高 宗一郎,
胡 振江,
稲葉 一浩,
加藤 弘之,
模倣に基づくグラフスキーマを利用したビュー更新可能性判定,
コンピュータソフトウエア, 29巻2号,2012. pp. 174-191.
2011
Zhenjiang Hu,
Andy Schurr,
Perdita Stevens,
James Terwilliger,
Dagstuhl Seminar on Bidirectional Transformations,
SIGMOD Record, Vol.40, No.1 2011.
pp.35-39.
Soichiro Hidaka,
Zhenjiang Hu,
Kazuhiro Inaba,
Hiroyuki Kato,
Keisuke Nakano,
GRoundTram: An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper),
26th IEEE/ACM International Conference
On Automated Software Engineering
(ASE 2011),
Oread, Lawrence, Kansas, USA, November 6-10, 2011.
Soichiro Hidaka,
Zhenjiang Hu,
Kazuhiro Inaba,
Hiroyuki Kato,
Kazutaka Matsuda,
Keisuke Nakano,
Isao Sasano,
Marker-Directed Optimization of UnCAL Graph Transformations,
21st International Symposium on
Logic-Based Program Synthesis and Transformation
(LOPSTR 2011),
Odense, Denmark, July 18-20, 2011.
Kazuhiro Inaba,
Soichiro Hidaka,
Zhenjiang Hu,
Hiroyuki Kato,
Keisuke Nakano,
Graph-Transformation Verification using Monadic Second-Order Logic,
13th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
(PPDP 2011),
Odense, Denmark, July 20-22, 2011.
Yu Liu,
Zhenjiang Hu,
Kiminori Matsuzaki,
Towards Systematic Parallel Programming over MapReduce,
17th International
European Conference on Parallel and Distributed Computing
(EuroPar 2011), Bordeaux, France,
August 29 - September 2, 2011.
Isao Sasano,
Zhenjiang Hu,
Soichiro Hidaka,
Kazuhiro Inaba,
Hiroyuki Kato,
Keisuke Nakano,
Toward bidirectionalization of ATL with GRoundTram,
International Conference on Model Transformation
(ICMT 2011),
Zurich, Switzerland, June 27-28, 2011. LNCS 6707. pp.138-151.
Hui Song,
Yingfei Xiong,
Franck Chauvel, Gang Huang,
Zhenjiang Hu,
Yanchun Sun,
Hong Mei,
Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach,
Journal of Systems and Software,
Elsevier, Volume 84, Issue 5, May 2011. pp. 711-723.
Yingfei Xiong,
Hui Song,
Zhenjiang Hu,
Masato Takeichi,
Synchronizing Concurrent Model Updates Based on Bidirectional Transformation.
Software and Systems Modeling,
Springer, January 2011.
2010
Louis Gesbert,
Zhenjiang Hu,
Frederic Loulergue,
Kiminori Matsuzaki,
Julien Tesson,
Systematic Development of Correct Bulk Synchronous Parallel Programs,
11th International Conference on Parallel and Distributed Computing, Applications and Technologies
(PDCAT 2010),
Wuhan, China, 8-11, December 2010.
Hiroyuki Kato,
Soichiro Hidaka,
Zhenjiang Hu,
Keisuke Nakano,
Yasunori Ishihara,
Context-Preserving XQuery Fusion,
Eighth ASIAN Symposium on Programming Languages and Systems
(APLAS 2010),
Shanghai, China, November 22 - December 1, 2010.
Bo Wang,
Yingfei Xiong,
Zhenjiang Hu,
Haiyan Zhao,
Wei Zhang,
Hong Mei,
A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models,
ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10),
Oslo, Norway, October 3-8, 2010.
Soichiro Hidaka,
Zhenjiang Hu,
Kazuhiro Inaba,
Hiroyuki Kato,
Keisuke Nakano,
Kazutaka Matsuda,
Bidirectionalizing Graph Transformations,
15th ACM SIGPLAN International Conference on Functional Programming
(ICFP 2010),
Baltimore, Maryland, USA, September 27-29, 2010.
Janis Voigtlander,
Zhenjiang Hu,
Kazutaka Matsuda,
Meng Wang,
Combining Syntactic and Semantic Bidirectionalization,
15th ACM SIGPLAN International Conference on Functional Programming
(ICFP 2010),
Baltimore, Maryland, USA, September 27-29, 2010.
Bo Wang,
Zhenjiang Hu,
Yingfei Xiong,
Haiyan Zhao,
Wei Zhang,
Hong Mei,
Tolerating Inconsistency in Feature Models,
3rd Workshop on Living with Inconsistencies in Software Development (LWI'10), co-located with ASE 2010, Antwerp, Belgium September 21, 2010.
Kento Emoto,
Zhenjiang Hu,
Kazuhiko Kakehi,
Kiminori Matsuzaki,
Masato Takeichi,
Generators-of-generators Library with Optimization Capabilities in Fortress,
16th International
European Conference on Parallel and Distributed Computing
(EuroPar 2010), Ischia, Italy,
August 31- September 3, 2010.
Julien Tesson,
Hideki Hashimoto,
Zhenjiang Hu,
Frederic Loulergue,
Masato Takeichi,
Prorgam Calculation in Coq,
Thirteenth International Conference on Algebraic Methodology And Software Technology
(AMAST 2010),
Quebec City, Canada, 23-26 June 2010.
Meng Wang,
Jeremy Gibbons,
Kazutaka Matsuda,
Zhenjiang Hu,
Gradual Refinement: Blending Pattern Matching with Data Abstraction,
10th International Conference on Mathematics of Program Construction
(MPC 2010),
Quebec City, Canada, 21-23 June 2010.
Kazutaka Matsuda,
Shin-Cheng Mu,
Zhenjiang Hu,
Masato Takeichi,
Grammar-based Approach to Invertible Programs,
19th European Symposium on Programming
(ESOP 2010),
Paphos, Cyprus, March 22-26, 2010. LNCS 6012, pp.448-467.
2009
Zhenjiang Hu (Ed.): Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5904 Springer 2009.
Keisuke Nakano,
Zhenjiang Hu,
Masato Takeichi,
Consistent Web Site Updating based on Bidirectional Transformation,
International Journal on Software Tools for Technology Transfer
(STTT),
Vol.11, No.6, 2009. pp.453-468.
(This is an extended version of the paper presented in
10th IEEE International Symposium on Web Site Evolution
(WSE 2008),
Beijing, China, October 3-4, 2008. )
Hui Song,
Yingfei Xiong,
Franck Chauvel, Gang Huang,
Zhenjiang Hu,
Hong Mei,
Generating Synchronization Engines between Running Systems and their Model-Based Views,
Proceedings of the 4th Workshop on Models@run.time, held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09)
,
Denver, USA, October 5th, 2009. LNCS 6002, 140-154. (Best Paper)
Yingfei Xiong,
Zhenjiang Hu,
Haiyan Zhao,
Hui Song,
Masato Takeichi,
Hong Mei,
Supporting Automatic Model Inconsistency Fixing,
The 7th joint meeting of the European Software Engineering Conference (ESEC)
and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)
(ESEC/FSE 2009),
Amsterdam, The Netherlands, August 24-28 2009. pp.315-324.
Krzysztof Czarnecki,
J. Nathan Foster,
Zhenjiang Hu,
Ralf Lammel,
Andy Schurr,
James F. Terwilliger,
Bidirectional Transformations: A Cross-Discipline Perspective,
International Conference on Model Transformation
(ICMT 2009),
ETH Zurich, Switzerland, June 29-July 3 2009.
LNCS 5563, Springer. pp.260-283.
Yingfei Xiong,
Hui Song,
Zhenjiang Hu,
Masato Takeichi,
Supporting Parallel Updates with Bidirectional Model Transformations,
International Conference on Model Transformation
(ICMT 2009),
ETH Zurich, Switzerland, June 29-July 3 2009. pp.213-228.
LNCS 5563, Springer.
Soichiro Hidaka,
Zhenjiang Hu,
Hiroyuki Kato,
Keisuke Nakano,
A Compositional Approach to Bidirectional Model Transformation
,
New Ideas and Emerging Results Track of
31st International Conference on Software Engineering
(ICSE 2009,
NIER Track),
Vancouver, Canada, May 16-24, 2009. pp.235-238.
Akimasa Morihata,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
The Third Homomorphism Theorem on Trees: Downward & Upward
Lead to Divide-and-Conquer,
The 36th Annual ACM SIGPLAN - SIGACT Symposium on
Principles of Programming Languages
(POPL 2009),
Savannah, Georgia, USA, January 21-23, 2009. pp.177-185.
森畑明昌，松崎公紀，胡振江，武市正人，
並列プログラムの候補生成と適合性検査による並列化
,
情報処理学会論文誌, プログラミング Vol.2(2), 2009. pp.132-143.
Kazutaka Matsuda,
Zhenjiang Hu,
Masato Takeichi,
Type-based Specialization of XML Transformations,
ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation
(PEPM 2009),
Savannah, Georgia, USA, January 19-20, 2009. pp.61-72.
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano,
Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store,
ACM SIGPLAN Workshop on Programming Language Techniques for XML
(PLAN-X 2009),
Savannah, Georgia, USA, January 14, 2009.
Soichiro Hidaka,
Zhenjiang Hu,
Hiroyuki Kato,
Keisuke Nakano,
Towards Compositional Approach to Model Transformations for Software Development, 24th
Annual ACM Symposium on Applied Computing
(SAC 2009, Software
Engineering Track), Honolulu, Hawaii, USA, March 8-12, 2009. pp.468-475.
松田一孝,
胡振江,
中野圭介,
浜名誠,
武市正人,
補関数の生成による複製を含むプログラムの自動双方向化
,
コンピュータソフトウエア,
Vol. 26, No. 2, 2009.
2008
Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong,
Zhenjiang Hu, Nobukazu Yoshioka,
Enforcing a Security Pattern in Stakeholder Goal Models
,
4th ACM Workshop on Quality of Protection (QoP 2008),
Alexandria VA, USA, Oct. 27, 2008.
Keisuke Nakano,
Zhenjiang Hu,
Masato Takeichi,
Consistent Web Site Updating based on Bidirectional Transformation,
10th IEEE International Symposium on Web Site Evolution
(WSE 2008),
Beijing, China, October 3-4, 2008.
Kiminori Matsuzaki,
Zhenjiang Hu,
Efficient Implementation of Tree Skeletons on
Distributed-Memory Parallel Computers,
Scalable Computing: Practice & Experience
(SCPE), 2008. To appear.
Zhenjiang Hu,
Shin-Cheng Mu,
Masato Takeichi,
A Programmable Editor for Developing Structured Documents
based on Bidirectional Transformations,
Higher-Order and Symbolic Computation
(HOSC),
Vol. 21, No. 1-2, Springer, June 2008. pp.89-118. (An extended version of the paper presented at ACM PEPM'04.)
松崎公紀，胡振江，武市正人，
リスト上の最大マーク付け問題を解く並列プログラムの導出
,
情報処理学会論文誌, Vol.49, No.SIG3, PRO36. 2008. pp.16-27.
2007
Yingfei Xiong,
Dongxi Liu,
Zhenjiang Hu,
Haiyan Zhao,
Masato Takeichi,
Hong Mei,
Towards Automatic Model Synchronization from Model Transformations,
22nd IEEE/ACM International Conference on Automated Software
Engineering
(ASE 2007),
Atlanta, Georgia, November 5-9, 2007.
Kazutaka Matsuda,
Zhenjiang Hu,
Keisuke Nakano,
Makoto Hamana,
Masato Takeichi,
Bidirectionalization Transformation based on Automatic Derivation of View
Complement Functions,
12th ACM SIGPLAN International Conference on Functional Programming
(ICFP 2007),
Freiburg, Germany, October 1-3, 2007.
Kento Emoto,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Domain-Specific Optimization Strategy for Skeleton Programs,
13th International
European Conference on Parallel and Distributed Computing
(EuroPar 2007), IRISA, Rennes, France,
August 28-31, 2007.
Kento Emoto,
Zhenjiang Hu,
Kazuhiko Kakehi,
Masato Takeichi,
A Compositional Framework for Developing Parallel Programs on Two
Dimensional Arrays,
International Journal of Parallel Programming
(IJPP),
Volume 35, Number 6, Springer, 2007. pp. 615-658.
野村芳明,
江本健斗,
松崎公紀,
胡振江,
武市正人,
木スケルトンによるXPathクエリの並列化とその評価
,
コンピュータソフトウエア, 24(3):51-62, 2007.
Kazutaka Morita,
Akimasa Morihata,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Automatic Inversion Generates Divide-and-Conquer Parallel Programs,
ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation
(PLDI 2007),
San Diego, CA, USA, June 10-13, 2007. pp.146-155.
Yasushi Hayashi,
Dongxi Liu,
Kento Emoto,
Kazutaka Matsuda,
Zhenjiang Hu,
Masato Takeichi,
A Web Service Architecture for Bidirectional XML Updating,
Joint conference of the 9th Asia-Pacific Web Conference and the
8th International Conference on Web-Age Information Management
(APWeb/WAIM 2007),
Huangshan, China, June 16-18, 2007. pp.721-732.
Dongxi Liu,
Zhenjiang Hu,
Masato Takeichi,
Kazuhiko Kakehi, Hao Wang,
A Java Library for Bidirectional XML Transformation,
JSSST Computer Software, 24(2): 164-177, 2007.
Dongxi Liu,
Zhenjiang Hu,
Masato Takeichi,
Bidirectional Interpretation of XQuery,
ACM SIGPLAN 2007 Workshop on
Partial Evaluation and Program Manipulation
(PEPM 2007),
Nice, France, January 15-16, 2007. pp.21-30.
2006
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Towards Automatic Parallelization of Tree Reductions in Dynamic
Programming,
18th ACM Symposium on Parallelism in Algorithms and Architectures
(SPAA 2006),
Cambridge, MA, USA, July 30 - August 2, 2006. pp.39-48.
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Parallel Skeletons for Manipulating General Trees,
Parallel Computing, Vol.32, No.7-8,
Elsevier, 2006. pp.590-603.
Zhenjiang Hu,
Tetsuo Yokoyama,
Masato Takeichi,
Program Optimizations and Transformations in
Calculational Form,
Summer School on Generative and Transformational Techniques
in Software Engineering
(GTTSE 2005),
Braga, Portugal, 4-7 July, 2005. (Slides),
LNCS 4143, 2006. Springer. pp.139-164.
Kento Emoto,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions,
European Conference on Parallel Computing
(EuroPar 2006),
Dresden, Germany, August 29 - September 2, 2006. LNCS 4128, Springer. pp.605-614.
Akimasa Morihata
Kazuhiko Kakehi,
Zhenjiang Hu,
Masato Takeichi,
Swapping Arguments and Results of Recursive Functions,
8th International Conference on Mathematics of Program Construction
(MPC 2006),
Kuressaare, Estonia, 3-5 July 2006. LNCS 4014, Springer. pp.379-396.
Shin-Cheng Mu,
Zhenjiang Hu,
Masato Takeichi,
Bidirectionalizing Tree Transformation Languages: A Case Study,
JSSST Computer Software, Vol.23, No.2, 2006. pp.129-141.
Kiminori Matsuzaki,
Kento Emoto,
Hideya Iwasaki,
Zhenjiang Hu,
A Library of Constructive Skeletons for Sequential Style of Parallel Programming (Invited Paper),
First International Conference on Scalable Information Systems
(InfoScale 2006),
Hong Kong, May 29 - June 1, 2006. Vol. 152 of ACM International Conference Proceeding Series.
松田一孝，大川徳之，野村芳明，森田直幸，筧一彦，胡振江，武市正人，
木上の双方向変換を利用したファイルマネージャの実現
,
情報処理学会論文誌, Vol.47, No.SIG 2 (PRO28). 2006. pp.84-98.
2005
Dongxi Liu,
Zhenjiang Hu,
Masato Takeichi,
An Environment for Maintaining
Computation Dependency in XML Documents,
ACM Symposium on Document Engineering (DocEng 2005),
Bristol, United Kingdom, 2-4 November 2005. pp.42-51.
Isao Sasano,
Mizuhito
Ogawa,
Zhenjiang Hu,
Maximum Marking Problems with Accumulative Weight Functions,
International Colloquium on Theoretical Aspects of Computing
(ICTAC 2005), Hanoi, Vietnam,
17-21 October, 2005. LNCS 3722, Springer Verlag. pp.562-578.
Tetsuo Yokoyama,
Zhenjiang Hu,
Masato Takeichi,
Calculation Rules for Warming-up in Fusion Transformation,
Sixth Symposium on Trends in Functional Programming
(TFP 2005), Tallinn, Estonia,
September 23-24, 2005.
Akimasa Morihara
Kazuhiko Kakehi,
Zhenjiang Hu,
Masato Takeichi,
IO Swapping Leads You There and Back Again,
7th Generative Programming and Component
Engineering (GPCE'05) Young Researchers Workshop
(GPCE_YRW05),
Tallinn, Estonia, September 27, 2005.
Yasushi Hayashi,
Zhenjiang Hu,
Masato Takeichi,
iDocument Builder: An Environment for Building XML-Based Interactive
Teaching Materials,
The 3nd International Conference on Education and Information Systems,
Technologies and Applications (EISTA 2005),
Orlando, Florida, 14-17 July, 2005. pp.423-428.
明石 良樹
松崎 公紀,
岩崎 英哉,
筧 一彦,
胡 振江,
最適化機構を持つ C++ 並列スケルトンライブラリ,
コンピュータソフトウエア, Vol.22, No.3, 2005. pp.214-222.
松田 一孝,
筧一彦,
胡 振江,
武市 正人,
データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案
,
情報処理学会論文誌 (トランザクション), Vol.46, プログラミング (PRO26), 2005. pp.1-15.
Kiminori Matsuzaki,
Zhenjiang Hu,
Kazuhiko Kakehi,
Masato Takeichi,
Systematic Derivation of Tree Contraction Algorithms,
Parallel Processing Letters,
Vol. 15, No. 3, 2005. pp.321-336.
2004
Zhenjiang Hu,
Kento Emoto,
Shin-Cheng Mu,
Masato Takeichi,
Bidirectionalizing Tree Transformations,
Workshop on New Approaches to Software Construction
(WNASC 2004),
The University of Tokyo, Komaba, Tokyo, Japan,
September 13-14, 2004. pp.3-22.
Shin-Cheng Mu,
Zhenjiang Hu,
Masato Takeichi,
An Algebraic Approach to Bidirectional Updating,
Second ASIAN Symposium on Programming Languages and Systems
(APLAS 2004),
Taipei, Taiwan, November 4-6, 2004. LNCS 3302, Springer Verlag.
pp.2-18.
Dana Na Xu,
Siau-Cheng Khoo,
Zhenjiang Hu,
PType System : A Featherweight Parallelizability Detector,
Second ASIAN Symposium on Programming Languages and Systems
(APLAS 2004),
Taipei, Taiwan, November 4-6, 2004. LNCS 3302, Springer Verlag. pp.197-212.
Kiminori Matsuzaki,
Kazuhiko Kakehi,
Hideya Iwasaki,
Zhenjiang Hu,
Yoshiki Akashi,
A Fusion-Embedded Skeleton Library,
International Conference on Parallel and Distributed Computing
(EuroPar 2004), Pisa, Italy,
31st August - 3rd September, 2004. LNCS 3149, Spinger Verlag.
pp.644-653
.
Zhenjiang Hu,
Shin-Cheng Mu,
Masato Takeichi,
A Programmable Editor for Developing Structured Documents
based on Bidirectional Transformations,
ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation
(PEPM'04),
Verona, Italy, August 24 - 25, 2004. ACM Press.
pp.178-189.
Shin-Cheng Mu,
Zhenjiang Hu,
Masato Takeichi,
An Injective Language for Reversible Computation,
Seventh International Conference on
Mathematics of Program Construction
(MPC 2004),
Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125, Springer Verlag.
pp. 289-313.
Kiminori Matsuzaki,
Zhenjiang Hu,
Kazuhiko Kakehi,
Masato Takeichi,
Systematic Derivation of Tree Contraction Algorithms,
4th International Workshop on
Constructive Methods for Parallel Programming
(CMPP 2004),
Stirling, Scotland, UK, 14 July, 2004.
pp. 109-124.
横山 哲郎,
胡 振江,
武市 正人,
決定論的2階パターンとプログラム変換への応用,
コンピュータソフトウエア, 21 (5): 71-76, 2004.
Hideya Iwasaki,
Zhenjiang Hu,
A New Parallel Skeleton for General Accumulative Computations,
International Journal of Parallel Programming
(IJPP),
32 (5): 389-414, October 2004.
Tetsuo Yokoyama,
Zhenjiang Hu,
Masato Takeichi,
Deterministic Second-order Patterns,
Information Processing Letters,
Vol. 89, No.6,
Elsevier,
2004. pp. 309-314.
2003
Kazuhiko Kakehi,
Zhenjiang Hu,
Masato Takeichi,
List Homomorphism with Accumulation,
4th International Conference on Software Engineering,
Artificial Intelligence, Networking, and
Parallel/Distributed Computing
(SNPD'03),
Lubeck, Germany. October 16-18, 2003. pp. 250-259.
Mizuhito
Ogawa,
Zhenjiang Hu,
Isao Sasano,
Iterative-free Program Analysis,
8th ACM SIGPLAN International Conference on Functional
Programming,
(ICFP 2003),
Uppsala, Sweden: 25-29 August 2003. ACM Press. pp.111-123.
Tetsuo Yokoyama,
Zhenjiang Hu,
Masato Takeichi,
Deterministic Second-order Patterns and Its Application to Program Transformation,
International Symposium on Logic-based Program Synthesis and Transformation
(LOPSTR 2003)
Uppsala, Sweden: 25-27 August 2003. pp. 165-178.
Revised version appears in LNCS 3018, 2004. Springer Verlag. pp. 128-142.
Takuma Murakami,
Zhenjiang Hu,
Kazuhiko Kakehi,
Masato Takeichi,
An Efficient Staging Algorithm for Binding-Time Analysis,
International Symposium on Logic-based Program Synthesis and Transformation
(LOPSTR 2003)
Uppsala, Sweden: 25-27 August 2003.
Revised version appears in LNCS 3018, 2004. Springer Verlag. pp. 106-107.
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Parallelization with Tree Skeletons,
International Conference on Parallel and Distributed
Computing (Euro-Par 2003),
Klagenfurt, Austria, 26th - 29th August 2003. Lecture Notes in Computer
Science 2790, Springer Verlag. pp.789-798.
An extended version
appears as Technical Report METR 2003-21, Department of Mathematical
Informatics, University of Tokyo, 2003.
山岡裕司,
胡 振江,
武市 正人,
小川瑞史,
モデル検査技術を利用したプログラム解析の生成ツール
,
情報処理学会論文誌, Vol.44, No. SIG13 (PRO 18),
2003. pp. 25-37.
2002
Haiyan Zhao,
Zhenjiang Hu,
Masato Takeichi,
A Compositional Framework for Mining Longest Ranges,
5th International Conference on Discovery Science
(DS 2002),
Lubeck, Germany, November 24-26, 2002. Lecture Notes in Computer
Science 2534, Springer Verlag. pp.406-413.
Zhenjiang Hu,
Tomonari Takahashi,
Hideya Iwasaki,
Masato
Takeichi,
Segmented Diffusion Theorem (invited paper),
2002 IEEE International Conference on Systems, Man and Cybernetics
(SMC 02),
Hammamet, Tunisia, October 6-9, 2002. IEEE Press.
Wei-Ngan Chin,
Zhenjiang Hu,
Towards a Modular Program Derivation via Fusion and
Tupling,
The First ACM SIGPLAN Conference on Generators and
Components
(GCSE/SAIG
2002), Pittsburgh, PA, USA, October 6-8, 2002.
Affiliated with
(PLI
2002). Lecture Notes in Computer Science 2487, Springer
Verlag. pp.140-155.
伊藤隆,
田中哲朗,
胡 振江,
武市 正人,
しりとりゲームの数理的解析
,
情報処理学会論文誌, Vol. 43, No.10,
October 2002. pp.3012-3020.
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
An Accumulative Parallel Skeleton for All
,
11th European Symposium on Programming
(
ESOP 2002), Grenoble, France, April 8 - 10, 2002.
Lecture Notes in Computer Science 2305, Springer Verlag. pp.83-97.
Isao Sasano,
Zhenjiang Hu,
Masato Takeichi,
Mizuhito Ogawa,
利得の最適連想規則を求める線形時間アルゴリズムの導出,
コンピュータソフトウエア, Vol.19, No.4 (2002), pp.39-44.
横山 哲郎,
篠埜 功,
胡 振江,
武市 正人,
変換戦略の記述に基づくプログラムの自動生成システムの実装,
情報処理学会論文誌, Vol. 43, No. SIG 3(PRO 14), pp. 62-77,
March 2002.
Haiyan Zhao,
Zhenjiang Hu,
Masato Takeichi,
Multidimensional Searching Trees with Minimum Attribute,
コンピュータソフトウエア, Vol.19, No.1, 2002. pp.22-28.
2001
篠埜 功,
胡 振江,
武市 正人,
小川瑞史,
最大重み和問題の線形時間アルゴリズムの導出,
コンピュータソフトウエア, Vol. 18, No.5, 2001.
pp.1-16.
Isao Sasano,
Zhenjiang Hu,
Masato Takeichi,
Generation of Efficient Programs for Maximum Multi-Marking Problems,
ACM SIGPLAN Workshop on Semantics, Applications and Implementation
of Program Generation
(
SAIG'01),
Firenze, Italy,
September 6th, 2001. Lecture Notes in Computer Sciencce 2196,
pp.72-91. Springer Verlag.
Zhenjiang Hu,
Wei-Ngan Chin,
Masato Takeichi,
Calculating a New Data Mining Algorithm for Market Basket
Analysis, (Revised version of the paper presented at (PADL'00).)
Journal of Functional and Logic Programming, October 2001.
Raku Shirasawa,
Zhenjiang Hu,
Hideya Iwasaki,
Diffusion after Fusion: Deriving Efficient Parallel Algorithms
,
The 2001 International Conference on Parallel and Distributed
Processing Techniques and Applications
(PDPTA
2001), Monte Carlo Resort, Las Vegas, June 25 - 28, 2001. CSREA Press.
Tomorani Takahashi,
Hideya Iwasaki,
Zhenjiang Hu,
Efficient Parallel Skeletons for Nested Data Structures
,
The 2001 International Conference on Parallel and Distributed
Processing Techniques and Applications
(PDPTA
2001), Monte Carlo Resort, Las Vegas, June 25 - 28, 2001. CSREA Press.
篠埜 功,
胡 振江,
武市 正人,
小川瑞史,
ナップサック問題およびその発展問題の統一的解法,
コンピュータソフトウエア, Vol. 18, No.2, 2001.
pp.59-63.
岩崎 英哉,
胡 振江,
武市 正人,
漸次的組化と融合による関数プログラムの最適化
,
コンピュータソフトウエア, Vol.18, No.0, 2001. pp.46-59.
2000
Masato Takeichi,
Zhenjiang Hu,
Calculation Carrying Programs: How to Code Program
Transformations
(Invited Paper),
International Sumposium on Principles of Software Evolution
(ISPSE 2000),
Kanazawa, Japan, 1-2 November 2000. IEEE Press.
Isao Sasano,
Zhenjiang Hu,
Masato Takeichi,
Mizuhito Ogawa,
Make it Practical: A Generic Linear Time Algorithm for Solving
Maximum Weightsum Problems ,
The 2000 ACM SIGPLAN International Conference on Functional
Programming,
(ICFP 2000),
Montreal, Canada, 18-20 September 2000. ACM Press. pp.137-149.
Litong Song,
Yoshihiko Futamura,
Robert Glueck,
Zhenjiang Hu,
Loop Quasi-Invariance Code Motion,
IEICE Transactions on Information and Systems,
Vol. E83-D, No. 10, October 2000. pp.1841-1850.
Litong Song,
Yoshihiko Futamura,
Robert Glueck,
Zhenjiang Hu,
A Loop Optimization Technique Based on Quasi-Invariance,
The 2000 International Conference
on Software: Theory and Practice
(IFIP World Computer Congress
2000), Beijing, August 21 - 24, 2000.
Seichi Adachi,
Hideya Iwasaki,
Zhenjiang Hu,
diff: A Powerful Parallel Skeleton,
The 2000 International Conference on Parallel and Distributed
Processing Techniques and Applications
(PDPTA
2000), Monte Carlo Resort, Las Vegas, June 26 - 29, 2000. CSREA Press.
pp.525--527.
Wei-Ngan Chin,
Siau-Cheng Khoo,
Zhenjiang Hu,
Masato Takeichi,
Deriving Parallel Codes via Invariants,
International Static Analysis Symposium
(SAS2000),
University of California, Santa Barbara, 29 June-1 July, 2000.
LNCS 1824, Springer Verlag. pp. 75--94.
Zhenjiang Hu,
Wei-Ngan Chin,
Masato Takeichi,
Calculating a New Data Mining Algorithm for Market Basket
Analysis,
Second International Workshop on Practical Aspects of Declarative
Languages
(PADL'00),
Boston, Massachusetts, January 17-18, 2000. LNCS 1753, Springer
Verlag. pp. 169-184.
篠埜 功,
胡 振江,
武市 正人,
グラフの探索関数の再帰的定義と変換
,
コンピュータソフトウエア, Vol. 17, No.3, 2000.
pp.2-19.
尾上 能之,
胡 振江,
岩崎 英哉,
武市 正人,
プログラム融合変換の実用的有効性の検証,
コンピュータソフトウエア, Vol. 17, No.3, 2000.
pp.81-85.
胡 振江,
プログラム運算による並列プログラミング,
コンピュータソフトウエア, Vol. 17, No.1, January 2000.
pp 21-23.
1999
Zhenjiang Hu,
Masato Takeichi,
Hideya Iwasaki,
Diffusion: Calculating Efficient Parallel Programs,
1999 ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-Based Program Manipulation
(PEPM'99).
San Antonio, Texas, January 22-23, 1999, pp. 85-94.
Zhenjiang Hu, Hideya Iwasaki,
Masato Takeichi,
Calculating Accumulations,
New Generation Computing, Vol. 17, No. 2, 1999, pp.153--173.
Zhenjiang Hu,
Masato Takeichi,
Calculating an Optimal Homomorphic Algorithm
for Bracket Matching,
Parallel Processing Letters. Vol. 9, No. 3, 1999. pp. 335-345.
1998
Akihiko Takano,
Zhenjiang Hu,
Masato Takeichi,
Program Transformation in Calculational Form,
ACM Computing Surveys, Vol. 30, No.3, 1998.
A special issue for 1998 Symposium on Partial Evaluation
(SOPE'98).
尾上能之,
胡振江, 武市正人,
HYLO システムによるプログラム融合変換の実現
,
コンピュータソフトウエア, Vol. 15, No.6, November 1998,
pp. 52-56.
Wei-Ngan Chin,
Akihiko Takano,
Zhenjiang Hu,
Parallelization via Context Preservation
,
in IEEE Computer Society
International Conference on Computer Languages
(ICCL'98),
Loyola University Chicago, Chicago, USA, May 1998. IEEE Press.
岩崎英哉,
胡振江,
蓄積引数を持つ関数プログラムの融合変換,
情報処理学会論文誌,
Vol. 39, No. 3, 1998, pp. 664-673.
Hideya Iwasaki,
Zhenjiang Hu,
Masato Takeichi,
Towards Manipulation of Mutually Recursive Functions
,
3rd Fuji International
Symposium on Functional and Logic Programming
(FLOPS'98),
Kyoto, Japan, April 1998, pp. 61-79. World Scientific.
Zhenjiang Hu,
Masato Takeichi,
Wei-Ngan Chin,
Parallelization in Calculational Forms
,
25th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
(POPL'98),
San Diego, California, USA, January 1998, pp. 316-328. ACM Press.
1997
Zhenjiang Hu,
Masato Takeichi,
A Calculational Framework for Parallelization of Sequential Programs,
IPSJ International Symposium on Information Systems
and Technologies for Network Society,
Fukuoka, Japan, September 1997, pp. 102-109.
World Scientific.
胡振江, 武市正人,
Synthesizing Calculational Laws for Parallelization.
第14回日本ソフトウエア科学会全国大会, JAIST, 1997, pp. 481-484.
高橋奨励賞
受賞．
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
A. Takano,
Tupling Calculation Eliminates Multiple Data Traversals ,
2nd ACM SIGPLAN International Conference on
Functional Programming
(ICFP'97),
Amsterdam, The Netherlands, June 1997, pp.164-175. ACM Press.
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
Formal Derivation of Efficient Parallel Programs by Construction
of List Homomorphisms,
ACM Transactions on Programming Langauges and Systems,
19(3), May 1997, pp.444-461.
Yoshiyuki Onoue,
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
A Calculational Fusion System HYLO ,
IFIP TC 2 Working Conference on Algorithmic Languages and
Calculi.
Le Bischenberg, France, February 1997, pp.76-106. Chapman&Hall.
1996
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
An Extension of the Acid Rain Theorem,
2nd Fuji International Workshop on Functional and Logic Programming
(Fuji'96).
Shonan Village, Japan, November 1996, pp.91-105. World Scientific.
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
Cheap Tupling Transformation,
Technical Report METR 96-08, University of Tokyo. October 1996.
(Poster abstract appears in PLILP'96, LNCS 1140, pp.471-472, September 1996)
Zhenjiang Hu,
A Calculational Approach to Optimizing Functional Programs,
Ph.D thesis,
Department of Information Engineering, The University of Tokyo. September 1996.
( List of Contents)
第１４回井上研究奨励賞受賞．
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
Construction of List Homomorphisms by Tupling and Fusion,
21st International Symposium on Mathematical Foundations
of Computer Science
(MFCS '96),
Cracow, September 1996, LNCS 1113, pp.407-418. Springer-Verlag.
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem,
The Annual European conference on Parallel Processing
(Euro-Par'96),
LIP, ENS Lyon, France, August 1996, LNCS 1123, pp.553-562.
Springer-Verlag.
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
Deriving Structural Hylomorphisms from Recursive Definitions,
ACM SIGPLAN International Conference on Functional Programming
(ICFP'96),
Philadelphia, May 1996, pp.73-82. ACM Press.
1995以前
Zhenjiang Hu, Hideya Iwasaki,
Promotional Transformation of Monadic Programs,
Fuji International Workshop on Functional and Logic
Programming, Susono, July 1995, pp.196-210.
World Scientific.
Zhenjiang Hu, Hideya Iwasaki,
Masato Takeichi,
Deriving Efficient Functional Programs by
Constructing Medio-types,
Proceedings of Workshop on Functional Programming JSSST'94,
Kyoto, November, 1994, pp.17-32. Kindai Publisher.
Yongqiang Sun, Zhenjiang Hu, X. Yuan, FP-VLSI -- An Automatic Synthesis System,
Journal of Software,
Vol.5, No.1, January 1994. (in Chinese)
Zhenjiang Hu, Yongqiang Sun, FP Description of
Parallel Algorithms and its Decidability of Implementation of Systolic
Arrays, Journal of Software, Vol.3, No.3, pp.9-16, July, 1992. (in Chinese)
Xinjie Xia, Yongqiang Sun, Zhenjiang Hu, Automatic Synthesis of
Systolic Arrays -- FP Approach, Journal of Software,
Vol.3, No.3, pp.1-8, July,
1992. (in Chinese)
Yongqiang Sun, Zhenjiang Hu, Xin Yuan,
Algebraic Transformation for the Synthesis of Systolic Arrays,
Journal of Shanghai Jiaotong University, 26(6), pp. 10-18,
1992.
Yongqiang Sun and Zhenjiang Hu,
Algebraic Approach to the Synthesis of Systolic Arrays,
Proceedings of 2nd German-Chinese Electronics Congress,
Germany, October, 1991. VDE Verlag.
Zhenjiang Hu and Yongqiang Sun,
Functional Approach to the Synthesis of Systolic
Arrays,
Proceedings of 2nd Int'l Conf. for Young Computer Scientists,
Beijing, China, July, 1991.
Zhenjiang Hu and Yongqiang Sun,
Functional Approach to the Synthesis of Logic,
Proceedings of 4th Int'l Symp. on IC Design, Implementation and
Application, Singapore, 1991.
Zhenjiang Hu, Yongqiang Sun, Optimizing Digital
System Through Program Transformation, Journal of Software,
Vol.1, No.2, pp.1-8, April, 1990. (in Chinese)
Zhenjiang Hu, Xinjie Xia, Yongqiang Sun,
Description, Synthesis and Simulation of
Digital System by Functional Programming Language,
Journal of Computer, Vol.13, No.6, pp.1-8, June, 1990. (in Chinese)
Yincai Bai, Zhenjiang Hu, Jun Yang,
Implement FP on Transputers, Microcomputer Systems, No.10, pp.1-16,
October, 1990. (in Chinese)
