Zhenjiang Hu
Peking University
H-index: 39
Asia-China
Top articles of Zhenjiang Hu
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Fusing Direct Manipulations into Functional Programs | Proceedings of the ACM on Programming Languages | Xing Zhang Ruifeng Xie Guanchen Guo Xiao He Tao Zan | 2024/1/5 |
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection | Proceedings of the ACM on Programming Languages | Ruyi Ji Chaozhe Kong Yingfei Xiong Zhenjiang Hu | 2023/4/6 |
VoiceJava: A Syntax-Directed Voice Programming Language for Java | Electronics | Tao Zan Zhenjiang Hu | 2023/1/3 |
Letter from the Chair | JOHN E MOGK JULIA Y QIN CHRISTI A PATRICK BETINA SCHLOSSBERG NATHANIEL M SCHMITZ | 2006 | |
Introduction to Calculational Programming | Zhenjiang Hu Wei Zhang | 2023/11/8 | |
Contract lenses: Reasoning about bidirectional programs via calculation | Journal of Functional Programming | Hanliang Zhang Wenhao Tang Ruifeng Xie Meng Wang Zhenjiang Hu | 2023/1 |
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples | Bach Nguyen Trong Kanae Tsushima Zhenjiang Hu | 2023/10/16 | |
Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects | Proceedings of the ACM on Programming Languages | Xing Zhang Guanchen Guo Xiao He Zhenjiang Hu | 2023/4/6 |
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing | Journal of Functional Programming | Hideya Iwasaki Kento Emoto Akimasa Morihata Kiminori Matsuzaki Zhenjiang Hu | 2022/1 |
Towards bidirectional live programming for incomplete programs | Xing Zhang Zhenjiang Hu | 2022/5/21 | |
A Lazy Desugaring System for Evaluating Programs with Sugars | Ziyi Yang Yushuo Xiao Zhichao Guan Zhenjiang Hu | 2022/5/3 | |
Generic recursive lens combinators and their calculation laws | Theoretical Computer Science | Ruifeng Xie Zhenjiang Hu | 2022/4/20 |
Divide and Conquer Divide-and-Conquer--Inductive Synthesis for D&C-Like Algorithmic Paradigms | arXiv preprint arXiv:2202.12193 | Ruyi Ji Yuwei Zhao Yingfei Xiong Di Wang Lu Zhang | 2022/2/24 |
Synthesizing Efficient Dynamic Programming Algorithms | arXiv preprint arXiv:2202.12208 | Ruyi Ji Tianran Zhu Yingfei Xiong Zhenjiang Hu | 2022/2/24 |
A theoretic framework of bidirectional transformation between systems and models | SCIENCE CHINA Information Sciences | Xiao He Zhenjiang Hu Na Meng | 2021 |
Toward Recursive View Update Strategies on Relations. | Van-Dang Tran Hiroyuki Kato Zhenjiang Hu | 2021/6/21 | |
Occam Learning Meets Synthesis Through Unification | arXiv preprint arXiv:2105.14467 | Ruyi Ji Jingtao Xia Yingfei Xiong Zhenjiang Hu | 2021/5/30 |
Model-driven engineering city spaces via bidirectional model transformations | Software and Systems Modeling | Ennio Visconti Christos Tsigkanos Zhenjiang Hu Carlo Ghezzi | 2021/12 |
Analytical Differential Calculus with Integration | arXiv preprint arXiv:2105.02632 | Han Xu Zhenjiang Hu | 2021/5/6 |
Generalizable synthesis through unification | Proceedings of the ACM on Programming Languages | Ruyi Ji Jingtao Xia Yingfei Xiong Zhenjiang Hu | 2021/10/15 |
Co-Authors
