Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
Ji, Ruyi, Kong, Chaozhe, Xiong, Yingfei, Hu, Zhenjiang
Published in Proceedings of ACM on programming languages (06.04.2023)
Published in Proceedings of ACM on programming languages (06.04.2023)
Get full text
Journal Article
Guiding dynamic programing via structural probability for accelerating programming by example
Ji, Ruyi, Sun, Yican, Xiong, Yingfei, Hu, Zhenjiang
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Generalizable synthesis through unification
Ji, Ruyi, Xia, Jingtao, Xiong, Yingfei, Hu, Zhenjiang
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
The transient flow and heat transfer characteristics in reciprocated conditions of hydraulic-driven piston hydrogen compressor in hydrogen storage system
Ye, Jianjun, He, Yao, Du, Zonggang, Ji, Ruyi, Xie, Junlong, Liu, Jinwu
Published in Journal of energy storage (01.06.2024)
Published in Journal of energy storage (01.06.2024)
Get full text
Journal Article
Chang-Kang-Fang ameliorates irritable bowel syndrome with diarrhea in rat by regulating gut microbiota and improving intestinal barrier
Lu, Min, Fan, Xinyu, Zheng, Yuanyuan, Kong, Weiqian, Ji, Ruyi, Xie, Hui
Published in ScienceAsia : journal of the Science Society of Thailand (01.04.2022)
Published in ScienceAsia : journal of the Science Society of Thailand (01.04.2022)
Get full text
Journal Article
A Semantic and Structural Transformer for Code Summarization Generation
Ji, Ruyi, Tong, Zhenyu, Luo, Tiejian, Liu, Jing, Zhang, Libo
Published in 2023 International Joint Conference on Neural Networks (IJCNN) (18.06.2023)
Published in 2023 International Joint Conference on Neural Networks (IJCNN) (18.06.2023)
Get full text
Conference Proceeding
Proving Functional Program Equivalence via Directed Lemma Synthesis
Sun, Yican, Ji, Ruyi, Fang, Jian, Jiang, Xuanlin, Chen, Mingshuai, Xiong, Yingfei
Year of Publication 19.05.2024
Year of Publication 19.05.2024
Get full text
Journal Article
CMFN: Cross-Modal Fusion Network for Irregular Scene Text Recognition
Get full text
Paper
Journal Article
Extend PBFT Protocol with L-DAG
Song, Anping, Dai, Yi, Ji, Ruyi, Song, Ziheng
Published in 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom) (01.09.2021)
Published in 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom) (01.09.2021)
Get full text
Conference Proceeding
Interactive Patch Filtering as Debugging Aid
Liang, Jingjing, Ji, Ruyi, Jiang, Jiajun, Zhou, Shurui, Lou, Yiling, Xiong, Yingfei, Huang, Gang
Published in 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME) (01.09.2021)
Published in 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME) (01.09.2021)
Get full text
Conference Proceeding
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
Ji, Ruyi, Zhao, Yuwei, Xiong, Yingfei, Wang, Di, Zhang, Lu, Hu, Zhenjiang
Year of Publication 24.02.2022
Year of Publication 24.02.2022
Get full text
Journal Article