文献详情
Ranking Function Detection via SVM: A More General Method
文献类型：期刊
通讯作者：Li, Y (reprint author), Chinese Acad Sci, Chongqing Inst Green & Intelligent Technol, Chongqing Key Lab Automated Reasoning & Cognit, Automated Reasoning & Cognit Ctr, Chongqing 401120, Peoples R China.
期刊名称：IEEE ACCESS影响因子和分区
年：2019
卷：7
页码：9971-9979
ISSN：2169-3536
关键词：Termination analysis; ranking functions; loop programs
所属部门：信息学院
摘要：The existence of a ranking function implies the termination of a loop. Different methods are designed for detection of different classes of ranking functions. Moreover, for loops with polynomial guards and polynomial assignments, existing complete solutions for detecting their ranking functions are mostly with bad complexity. In this paper, we propose an approach to the synthesis of ranking functions for loops via support vector machine (SVM). We transform the ranking function detection problem ...More
The existence of a ranking function implies the termination of a loop. Different methods are designed for detection of different classes of ranking functions. Moreover, for loops with polynomial guards and polynomial assignments, existing complete solutions for detecting their ranking functions are mostly with bad complexity. In this paper, we propose an approach to the synthesis of ranking functions for loops via support vector machine (SVM). We transform the ranking function detection problem into a binary classification problem. Once ranking function templates are given, the SVM is used to learn the coefficients of the templates. In this way, candidate ranking functions can be obtained. Finally, existing verification tools are employed to certify the candidates. With our approach, multiple forms of loops can be handled, and multiple classes of ranking functions can be detected. The effectiveness is presented with experimental evidence. We can detect ranking functions (e.g., polynomial ranking functions and non-polynomial ranking functions) for given loops, especially for loops with fractional or radical update that existing tools may not be able to handle as far as we know. ...Hide

DOI：10.1109/ACCESS.2018.2890692
百度学术：Ranking Function Detection via SVM: A More General Method
语言：外文
基金：National Nature Science Foundation of ChinaNational Natural Science Foundation of China [61472429, 61572024, 61103110]
作者其他论文



Cooperative Downlink Resource Allocation in 5G Wireless Backhaul Network.Gao, Yuan, Ao, Hong, Zhou, Quan, et al. .WIRELESS ALGORITHMS, SYSTEMS, AND APPLICATIONS, WASA 2017. 2017, 10251, 151-160.
Rumor Blocking through Online Link Deletion on Social Networks.Yan, Ruidong, Li, Yi, Wu, Weili, et al. .ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA. 2019, 13(2).
Sterhirsutins A and B, Two New Heterodimeric Sesquiterpenes with a New Skeleton from the Culture of Stereum hirsutum Collected in Tibet Plateau.Qi, Qiu-Yue;Bao, Li;Ren, Jin-Wei,等.ORGANIC LETTERS.2014,16(19),5092-5095.
Viral Infection Induces Expression of Novel Phased MicroRNAs from Conserved Cellular MicroRNA Precursors.Du, Peng;Wu, Jianguo;Zhang, Jiayao,等.PLOS PATHOGENS.2011,7(8).
Poster: Energy aware dynamic cooperative cell operations of LTE-Advanced systems.Gao, Yuan;Li, Yi;Yu, Hongyi,等.2015,648-649.