{"id":"https://openalex.org/W3138349232","doi":"https://doi.org/10.1109/cgo51591.2021.9370311","title":"Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing","display_name":"Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing","publication_year":2021,"publication_date":"2021-02-27","ids":{"openalex":"https://openalex.org/W3138349232","doi":"https://doi.org/10.1109/cgo51591.2021.9370311","mag":"3138349232"},"language":"en","primary_location":{"id":"doi:10.1109/cgo51591.2021.9370311","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo51591.2021.9370311","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077081913","display_name":"Haofeng Li","orcid":"https://orcid.org/0000-0001-9120-9843"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Haofeng Li","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053594943","display_name":"Haining Meng","orcid":"https://orcid.org/0009-0008-7149-7671"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haining Meng","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071789379","display_name":"Hengjie Zheng","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hengjie Zheng","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026208461","display_name":"Liqing Cao","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liqing Cao","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068388413","display_name":"Jie Lu","orcid":"https://orcid.org/0000-0002-4162-0404"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Lu","raw_affiliation_strings":["State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100317802","display_name":"Lian Li","orcid":"https://orcid.org/0000-0002-4476-0541"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lian Li","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110645175","display_name":"Lin Gao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lin Gao","raw_affiliation_strings":["TianqiSoft Inc, China"],"affiliations":[{"raw_affiliation_string":"TianqiSoft Inc, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5077081913"],"corresponding_institution_ids":["https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":1.3753,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.81439547,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"236","last_page":"247"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7428303360939026},{"id":"https://openalex.org/keywords/in-memory-processing","display_name":"In-Memory Processing","score":0.5769994258880615},{"id":"https://openalex.org/keywords/swap","display_name":"Swap (finance)","score":0.5363451242446899},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.523887574672699},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4563697874546051},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4435773491859436},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4066394567489624},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.4017347991466522},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.11819645762443542},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10703334212303162}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7428303360939026},{"id":"https://openalex.org/C123593499","wikidata":"https://www.wikidata.org/wiki/Q6008583","display_name":"In-Memory Processing","level":5,"score":0.5769994258880615},{"id":"https://openalex.org/C99821215","wikidata":"https://www.wikidata.org/wiki/Q1136583","display_name":"Swap (finance)","level":2,"score":0.5363451242446899},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.523887574672699},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4563697874546051},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4435773491859436},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4066394567489624},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.4017347991466522},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.11819645762443542},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10703334212303162},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C194222762","wikidata":"https://www.wikidata.org/wiki/Q114486","display_name":"Query by Example","level":4,"score":0.0},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cgo51591.2021.9370311","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo51591.2021.9370311","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G486008273","display_name":null,"funder_award_id":"2016YFB1000201","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G7499312736","display_name":null,"funder_award_id":"61802368,61872043","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7996556189","display_name":null,"funder_award_id":"61521092","funder_id":"https://openalex.org/F4320327654","funder_display_name":"Foundation for Innovative Research Groups of Hubei Province of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320327654","display_name":"Foundation for Innovative Research Groups of Hubei Province of China","ror":null},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W78077100","https://openalex.org/W1448681276","https://openalex.org/W1788180225","https://openalex.org/W1846157972","https://openalex.org/W1915915253","https://openalex.org/W2017025011","https://openalex.org/W2027538101","https://openalex.org/W2036157748","https://openalex.org/W2053076698","https://openalex.org/W2071536101","https://openalex.org/W2077202047","https://openalex.org/W2080205938","https://openalex.org/W2080573945","https://openalex.org/W2105285801","https://openalex.org/W2106972913","https://openalex.org/W2113115074","https://openalex.org/W2125357166","https://openalex.org/W2134646643","https://openalex.org/W2149222015","https://openalex.org/W2160563691","https://openalex.org/W2166743230","https://openalex.org/W2551805335","https://openalex.org/W2553375745","https://openalex.org/W2604520577","https://openalex.org/W2761352457","https://openalex.org/W2796301966","https://openalex.org/W2884262171","https://openalex.org/W2888721414","https://openalex.org/W2927576984","https://openalex.org/W2930019028","https://openalex.org/W2971773698","https://openalex.org/W3000614974","https://openalex.org/W3102504333","https://openalex.org/W4239799938","https://openalex.org/W4240951837","https://openalex.org/W4245027182","https://openalex.org/W4251697482","https://openalex.org/W6603201521","https://openalex.org/W6628546715","https://openalex.org/W6638233953","https://openalex.org/W6640203312","https://openalex.org/W6668642437","https://openalex.org/W6729717700","https://openalex.org/W6729771544"],"related_works":["https://openalex.org/W1604758548","https://openalex.org/W2804126825","https://openalex.org/W1549048322","https://openalex.org/W4367553810","https://openalex.org/W2104142636","https://openalex.org/W2731831065","https://openalex.org/W4283162424","https://openalex.org/W2271439649","https://openalex.org/W2011940952","https://openalex.org/W2144429051"],"abstract_inverted_index":{"The":[0,20],"IFDS":[1,49,103],"algorithm":[2],"can":[3,132,162],"be":[4],"memory-intensive,":[5],"requiring":[6,153],"a":[7,38,75,93,108,115,142],"memory":[8,22,45,54,72,86,172],"budget":[9,173],"of":[10,15,28,47,59,117,127,139,146,157,174],"more":[11,154],"than":[12,137,155],"100":[13],"GB":[14,126],"RAM":[16,128,140,158],"for":[17,114,150],"some":[18],"applications.":[19],"large":[21],"requirements":[23,46],"significantly":[24],"restrict":[25],"the":[26,44,170,178,187],"deployment":[27],"IFDS-based":[29,110],"tools":[30],"in":[31,166],"practise.":[32],"To":[33],"improve":[34],"this,":[35],"we":[36],"propose":[37],"disk-assisted":[39,102],"solution":[40,52],"that":[41],"drastically":[42],"reduces":[43],"traditional":[48],"solvers.":[50],"Our":[51],"saves":[53],"by":[55,129,159],"1)":[56],"recomputing":[57],"instead":[58],"memorizing":[60],"intermediate":[61],"analysis":[62,96,112],"data,":[63],"and":[64,87],"2)":[65],"swapping":[66],"in-memory":[67],"data":[68,84],"to":[69,82,106,124,181],"disk":[70],"when":[71],"usages":[73],"reach":[74],"threshold.":[76],"We":[77,90,185],"implement":[78],"sophisticated":[79],"scheduling":[80],"schemes":[81],"swap":[83],"between":[85],"disks":[88],"efficiently.":[89],"have":[91],"developed":[92],"new":[94],"taint":[95,111],"tool,":[97,113],"DiskDroid,":[98],"based":[99],"on":[100],"our":[101],"solver.":[104],"Compared":[105],"FlowDroid,":[107,130,160],"state-of-the-art":[109],"set":[116],"19":[118],"apps":[119,152],"which":[120],"take":[121],"from":[122],"10":[123],"128":[125],"DiskDroid":[131,161],"analyze":[133,163],"them":[134],"with":[135],"less":[136],"10GB":[138],"at":[141,191],"slight":[143],"performance":[144],"improvement":[145],"8.6%.":[147],"In":[148],"addition,":[149],"21":[151],"128GB":[156],"each":[164],"app":[165],"3":[167],"hours,":[168],"under":[169],"same":[171],"10GB.":[175],"This":[176],"makes":[177],"tool":[179,188],"deployable":[180],"normal":[182],"desktop":[183],"environments.":[184],"make":[186],"publicly":[189],"available":[190],"https://github.com/HaofLi/DiskDroid.":[192]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}