研究者
J-GLOBAL ID:201101066343464379   更新日: 2020年09月01日

胡 振江

Hu Zhenjiang
所属機関・部署:
職名: 教授
ホームページURL (1件): http://research.nii.ac.jp/~hu/
研究分野 (1件): ソフトウェア
研究キーワード (6件): 双方向変換 ,  プログラム変換 ,  プログラム運算 ,  プログラミングの代数 ,  関数プログラミング ,  プログラミング言語
競争的資金等の研究課題 (21件):
  • 2017 - 2022 双方向の深化による自律分散ビッグデータの相互運用基盤に関する研究
  • 2017 - 2022 しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク
  • 2014 - 2018 大規模グラフ並列処理のための代数的構造に基づく理論基盤とプログラム開発基盤の構築
  • 2015 - 2017 Structural Recursion on Bulk Synchronous Parallelism for Efficient Large-Graph Querying
  • 2013 - 2017 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
全件表示
論文 (287件):
  • Programmable View Update Strategies on Relations,. 46th International Conference on Very Large Data Bases (VLDB 2020), Tokyo, Japan,. 2020
  • FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence ,. SIAM Conference on Parallel Processing for Scientific Computing (PP 2020), Seatle, Washington, United States,. 2020
  • iPregel: Vertex-centric Programmability vs Memory Efficiency and Performance, Why Choose?. Parallel Computing. 2019. Vol. 86. 45-56
  • Timothy A, K. Zakian, Ludovic A. R. Capelli, Zhenjiang Hu. Incrementalization of Vertex-Centric Programs. 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019), Rio de Janeiro, Brizil, May 20-24, 2019. 2019
  • Yongzhe Zhang, Zhenjiang Hu. Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels. 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019), Rio de Janeiro, Brizil, May 20-24, 2019. 2019. 20-24
もっと見る
MISC (76件):
  • Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu. Describing Pregel Algorithms with Non-adjacent Data Communication. 2016
  • Le-Duc Tung, Kento Emoto, Zhenjiang Hu. Shortest Regular Category-Path Queries. Grace-TR-2014-03, Grace Center, National Institute of Informatics. 2014. 1-10
  • Zhenjiang Hu, Shin-Cheng Mu, Stephanie Weirich. Advanced programming techniques for construction of robust, generic and evolutionary programs. Progress in Informatics. 2013. Vol.10. 10. 1-2
  • Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco. "Putback" is the Essence of Bidirectional Programming. GRACE-TR 2012-08, GRACE Center, National Institute of Informatics, December 2012. 2012. 2012. 08. 1-36
  • Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano. Parameterized Graph Transformation Languages with Monads. Technical Report GRACE-TR-2012-07, GRACE Center, National Institute of Informatics, October 2012. 2012. 2012. 07. 1-21
もっと見る
講演・口頭発表等 (128件):
  • 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)
  • Can Programming be Liberated from Unidirectional Style?Fourteenth InteCan Programming be Liberated from Unidirectional Style?
    (Fourteenth International Symposium on Functional and Logic Programming 2018)
  • Can Programming be Liberated from Unidirectional Style?
    (GRACE Symposium 2017 - Next Ten Years of Software Engineering 2017)
  • Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access
    (15th Asian Symposium on Programming Languages and Systems (APLAS 2017), Suzhou, China 2017)
もっと見る
学位 (1件):
  • 博士(工学)
経歴 (8件):
  • 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
全件表示
委員歴 (44件):
  • 2017 - 現在 SCIENCE CHINA Information Sciences (Springer) Editorial Board Member
  • 2014 - 現在 IEEE Conference Advisory Committee Member
  • 2013 - 現在 Science of Computer Programing (Elsevier) Editorial Board Member
  • 2013 - 現在 IFIP TC2 (Software: Theory and Practice) Japan Representative
  • 2013 - 現在 National Science Review (NSR, Oxford Journals) Editorial Board Member
全件表示
受賞 (7件):
  • 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 最優秀論文賞
全件表示
所属学会 (4件):
IEEE ,  情報処理学会 ,  日本ソフトウエア科学会 ,  ACM
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る