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

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 1125
Issue DateTitleAuthor(s)
2018Device-Specific Linux Kernel Optimization for Android SmartphonesYuan, Pengfei; Guo, Yao; Chen, Xiangqun; Mei, Hong
2018A Case of Automatically Deploying and Scaling Out Distributed Systems on the Cloud from ScratchZhong, Yehong; Ma, Junming; An, Bo; Cao, Donggang
2018Comparing Container-Based Microservices and Workspace as a Service: Which One to Choose?Ma, Junming; An, Bo; Cao, Donggang; Chen, Xiangqun
2018SketchML: Accelerating distributed machine learning with data sketchesJiang, Jiawei; Fu, Fangcheng; Yang, Tong; Cui, Bin
2018Identifying patch correctness in test-based program repairXiong, Yingfei; Liu, Xinyuan; Zeng, Muhan; Zhang, Lu; Huang, Gang
2018Poster: Companies' domination in FLOSS development: An empirical study of OpenStackZhang, Yuxia; Tan, Xin; Zhou, Minghui; Jin, Zhi
2018Learning to accelerate compiler testingChen, Junjie
2018DimBoost: Boosting gradient boosting decision tree to higher dimensionsJiang, Jiawei; Cui, Bin; Zhang, Ce; Fu, Fangcheng
2018What's inside my app?: Understanding feature redundancy in mobile appsGuo, Yao; Li, Yuanchun; Yang, Ziyue; Chen, Xiangqun
2018A multi-level dataset of linux kernel patchworkXu, Yulin; Zhou, Minghui
2018Unsupervised deep bug report summarizationLi, Xiaochen; Jiang, He; Liu, Dong; Ren, Zhilei; Li, Ge
2018CoBOT: Static C/C++ bug detection in the presence of incomplete codeGao, Qing; Ma, Sen; Shao, Sihao; Sui, Yulei; Zhao, G.; Ma, Luyao; Ma, Xiao; Duan, Fuyao; Deng, Xiao; Zhang, Shikun; Chen, Xianglong
2018From fresnel diffraction model to fine-grained human respiration sensing with commodity Wi-Fi devicesZhang, Fusang; Zhang, Daqing; Xiong, Jie; Wang, Hao; Niu, Kai; Jin, Beihong; Wang, Yuxiang
2018Generating adaptation rules of software systems: A method based on genetic algorithmLiu, Yang; Bai, Di; Jiao, Wenpin
2018Learning to accelerate symbolic execution via code transformationChen, Junjie; Hu, Wenxiang; Zhang, Lingming; Hao, Dan; Khurshid, Sarfraz; Zhang, Lu
2018Listening to chaotic whispers: A deep learning framework for news-oriented Stock trend predictionHu, Ziniu; Liu, Weiqing; Bian, Jiang; Liu, Xuanzhe; Liu, Tie-Yan
2018Shaping program repair space with existing patches and similar codeJiang, Jiajun; Xiong, Yingfei; Zhang, Hongyu; Gao, Qing; Chen, Xiangqun
2018An empirical study on TensorFlow program bugsZhang, Yuhao; Chen, Yifan; Cheung, Shing-Chi; Xiong, Yingfei; Zhang, Lu
2018Complete graph random number generator and symmetrical design schemeXu, Yuguang; Wang, Hanpin; Wang, Hongyu
2018Rethinking resource management in mobile web: Measurement, deployment, and runtimeLiu, Xuanzhe; Ma, Yun; Lin, Felix Xiaozhu
(Sorted by Submit Date in Descending order): 1 to 20 of 1125