研究院/所/中心/实验室 > 高可信软件技术教育部重点实验室 [1862]

Key Lab of High-Confidence Software Technology

Subscribe to this field to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
(Sorted by Submit Date in Descending order): 1 to 20 of 1862
Issue DateTitleAuthor(s)
Jan-2025Deep learning-based software engineering: progress, challenges, and opportunitiesChen, Xiangping; Hu, Xing; Huang, Yuan; Jiang, He; Ji, Weixing; Jiang, Yanjie; Jiang, Yanyan; Liu, Bo; Liu, Hui; Li, Xiaochen; Lian, Xiaoli; Meng, Guozhu; Peng, Xin; Sun, Hailong; Shi, Lin; Wang, Bo; Wang, Chong; Wang, Jiayi; Wang, Tiantian; Xuan, Jifeng; Xia, Xin; Yang, Yibiao; Yang, Yixin; Zhang, Li; Zhou, Yuming; Zhang, Lu
2025Attackers Are Not the Same! Unveiling the Impact of Feature Distribution on Label Inference AttacksLiu, Yige; Wang, Che; Lou, Yiwei; Cao, Yongzhi; Wang, Hanpin
Nov-2024Toward Efficient Satellite Computing Through Adaptive CompressionYang, Chen; Sun, Qibo; Zhang, Qiyang; Lu, Hao; Ardagna, Claudio A.; Wang, Shangguang; Xu, Mengwei
14-Feb-2025Boosting few-shot intent detection via feature enrichment and regularizationZhang, Feng; Chen, Wei; Zhao, Pei; Wang, Tengjiao
17-Jun-2024智能网联汽车的车载网络攻防技术研究进展陈博言; 沈晴霓; 张晓磊; 张鑫; 李聪; 吴中海
18-May-2024嵌入式系统的需求描述综述陈小红; 刘少彬; 金芝
26-Dec-2024Deep learning-based software engineering: progress,challenges, and opportunitiesXiangping CHEN; Xing HU; Yuan HUANG; He JIANG; Weixing JI; Yanjie JIANG; Yanyan JIANG; Bo LIU; Hui LIU; Xiaochen LI; Xiaoli LIAN; Guozhu MENG; Xin PENG; Hailong SUN; Lin SHI; Bo WANG; Chong WANG; Jiayi WANG; Tiantian WANG; Jifeng XUAN; Xin XIA; Yibiao YANG; Yixin YANG; Li ZHANG; Yuming ZHOU; Lu ZHANG
19-Dec-2024Instruction-responsive programmable assemblies with DNA origami block piecesWang, Fang; Shi, Xiaolong; Chen, Xin; Deng, Di; Li, Sirui; Sun, Si; Kou, Zheng; Xu, Jin; Qiang, Xiaoli
Feb-2025GreenFlow: A Carbon-Efficient Scheduler for Deep Learning WorkloadsGu, Diandian; Zhao, Yihao; Sun, Peng; Jin, Xin; Liu, Xuanzhe
Feb-2025DegaFL: Decentralized Gradient Aggregation for Cross-Silo Federated LearningHan, Jialiang; Han, Yudong; Jing, Xiang; Huang, Gang; Ma, Yun
Jun-2025A survey on EOSIO systems security: vulnerability, attack, and mitigationHe, Ningyu; Wang, Haoyu; Wu, Lei; Luo, Xiapu; Guo, Yao; Chen, Xiangqun
Dec-2024Automated Commit Message Generation With Large Language Models: An Empirical Study and BeyondXue, Pengyu; Wu, Linhao; Yu, Zhongxing; Jin, Zhi; Yang, Zhen; Li, Xinyi; Yang, Zhenyu; Tan, Yue
May-2025Basis is also explanation: Interpretable Legal Judgment Reasoning prompted by multi-source knowledgeLi, Shangyuan; Zhao, Shiman; Zhang, Zhuoran; Fang, Zihao; Chen, Wei; Wang, Tengjiao
Dec-2024Efficient, Scalable, and Sustainable DNN Training on SoC-Clustered Edge ServersXu, Mengwei; Xu, Daliang; Lou, Chiheng; Zhang, Li; Huang, Gang; Jin, Xin; Liu, Xuanzhe
Dec-2024From Single-Point to Multi-Point Reflection Modeling: Robust Vital Signs Monitoring via mmWave SensingZhang, Duo; Zhang, Xusheng; Xie, Yaxiong; Zhang, Fusang; Yang, Hongliu; Zhang, Daqing
Oct-2024Semantics Lifting for Syntactic SugarGuan, Zhichao; Cao, Yiyuan; Yu, Tailai; Wang, Ziheng; Wang, Di; Hu, Zhenjiang
Oct-2024Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural NetworksYan, Zhenyu; Zhang, Xin; Di, Peng
16-Dec-2024MuxFlow: efficient GPU sharing in production-level clusters with more than 10000 GPUsXuanzhe LIU; Yihao ZHAO; Shufan LIU; Xiang LI; Yibo ZHU; Xin LIU; Xin JIN
30-Jan-2025Incremental model checking for fuzzy computation tree logicPan, Haiyu; Zhou, Jie; Lin, Yuming; Cao, Yongzhi
2025Proving Functional Program Equivalence via Directed Lemma SynthesisSun, Yican; Ji, Ruyi; Fang, Jian; Jiang, Xuanlin; Chen, Mingshuai; Xiong, Yingfei
(Sorted by Submit Date in Descending order): 1 to 20 of 1862