胡振江

2017 - 2022 双方向の深化による自律分散ビッグデータの相互運用基盤に関する研究
2017 - 2022 しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク
2014 - 2018 大規模グラフ並列処理のための代数的構造に基づく理論基盤とプログラム開発基盤の構築
2015 - 2017 Structural Recursion on Bulk Synchronous Parallelism for Efficient Large-Graph Querying
2013 - 2017 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築

全件表示

Xing Zhang, Guanchen Guo, Xiao He, Zhenjiang Hu. Bidirectional Objected-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023), Cascais, Portuga, October 22-27, 2023. 2023
Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu. Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023), Cascais, Portuga, October 22-27, 2023. 2023
Tao Zan, Zhenjiang Hu. VoiceJava: A Syntax-Directed Voice Programming Language for Java. 2023
Xing Zhang, Zhenjiang Hu. Towards Bidirectional Live Programming for Incomplete Programs. 44th International Conference on Software Engineering (ICSE 2022). 2022
Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu. A Lazy Desugaring System for Evaluating Programs with Sugars. 16th International Symposium on Functional and Logic Programming (FLOPS 2022). 2022

Van-Dang Tran, 加藤弘之, 胡振江. A Declarative Framework for Updatable Views in Relational Databases. WebDBフォーラム. 2019
Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi Muller, John Mylopoulos, Bashar Nuseibeh. Engineering adaptive software systems: Communications of NII shonan meetings. Engineering adaptive software systems: Communications of NII shonan meetings. 2019. 1-169
Chunmiao Li, Yang Cao 0011, Zhenjiang Hu, Masatoshi Yoshikawa. Blockchain-based Bidirectional Updates on Fine-grained Medical Data. CoRR. 2019. abs/1904.10606
森畑明昌, 江本健斗, 松崎公紀, 胡振江, 岩崎英哉. 頂点主体並列グラフ処理の制約解消器による効率化. 日本ソフトウェア科学会大会論文集. 2017. 34. 415-429
松崎公紀, 岩崎英哉, 江本健斗, 胡振江, 森畑明昌. 複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器. 日本ソフトウェア科学会大会論文集. 2017. 34. 493-502

Constructive Bidirectional Programming
(22nd International Symposium on Trends in Functional Programming (TFP) 2021)
Dependable Bidirectional Programming
(The 27th Asia-Pacific Software Engineering Conference (APSEC 2020))
Dependable View Update Strategies on Relations
(The 4th Working Formal Methods Symposium (FROM 2020) 2020)
On Verification of Bidirectional Transformations
(20th International Conference on Formal Engineering Methods 2018)
Verification of Roundtrip Property in Bidirectional Programming
(3rd National Symposium on Formal Method 2018)

2019/04 - 現在 Peking University Department of Computer Science and Technology Chair and Professor
2019/04 - 現在 Sokendai Department of Informatics Visiting Professor
2019/04 - 現在 National Institute of Informatics Information Systems Architecture Science Research Division Professor by special appointment
2018/04 - 2019/03 University of Tokyo Graduation School of Information Science and Technology Professor
2008/04 - 2019/03 National Institute of Informatics Information Systems Architecture Science Research Division Professor

全件表示

2013 - 現在 Software and Systems Modeling (Springer) Editorial Board Member

2013 - 現在 Science of Computer Programming (Elsevier) Editorial Board Member

2013 - 現在 IEEE Transactions on Software Engineering Associate Editor

2013 - 現在 Science of Computer Programming (Elsevier) Editorial Board Member

2013 - 現在 Software and Systems Modeling (Springer) Editorial Board Member

2013 - 現在 National Science Review (NSR, Oxford Journals) Editorial Board Member

2012 - 現在 International Conference on Model Transformations Steering Committee Member

2010 - 現在 Bidirectional Transformation Advisory Board Member

2010 - 現在 IFIP Working Group 2.1 Member

2010 - 現在 Bidirectional Transformation Advisory Board Member

2010 - 現在 IFIP Working Group 2.1 Member

2009 - 現在日本ソフトウェア科学会プログラミング論研究会運営委員会メンバー

2006 - 現在 New Generation Computing (Springer) Planning Committe Member

2006 - 現在 New Generation Computing (Springer) Planning Committeeエ Member

2003 - 現在 Asian Association for Foundation of Software Executive Committee member

2003 - 現在 Asian Association for Foundation of Software Executive Committee Member

2013 - 2017 IEEE Transactions on Software Engineering Associate Editor

2013 - 2017 IFIP TC2 (Software: Theory and Practice) Japan Representative

2014 - 2016 ACM Haskel Symposium (Haskell) Steering Committee Member

2013 - 2014 ACM International Conference on Functional Programming (ICFP) Steering Committee Member

2010 - 2013 日本ソフトウェア科学会理事

2009 - 2013 ACM International Conference on Functional Programming (ICFP) Steering Committee Member

2002 - 2012 Functional and Logic Programming Symposium (FLOPS) Steering Committee Member

2002 - 2012 JSSST コンピュータソフトウエア編集委員

2002 - 2012 Functional and Logic Programming Symposium (FLOPS) Steering Committee Member

2008 - 2010 Information and Media Technology Editor

2005 - 2008 IPSJ 情報処理学会会誌編集委員

2006 - 2007 Frontiers of Computer Science in Chia (Springer) Editor

2002 - 2005 日本ソフトウェア科学会プログラミング論研究会運営委員会メンバー

2003 - 2003 Journal of Functional and Logic Programming Guest Editor

1999 - 2002 日本ソフトウェア科学会プログラミング論研究会主査

全件表示

2016/06 - 日本ソフトウェア科学会 2015年度基礎研究賞
2015/10 - 8th International Conference on Software Language Engineering Distinguished Reviewer Award
2012/02 - ACM Recognition of Service Award
2009/05 - 日本ソフトウェア科学会高橋奨励賞
2008/03 - JSSSTプログラミング論研究会 PPL 2008 最優秀論文賞

全件表示

IEEE , 情報処理学会 , 日本ソフトウエア科学会 , ACM

胡 振江