{"id":"https://openalex.org/W2535644961","doi":"https://doi.org/10.1145/2983990.2984003","title":"An improved algorithm for slicing machine code","display_name":"An improved algorithm for slicing machine code","publication_year":2016,"publication_date":"2016-10-19","ids":{"openalex":"https://openalex.org/W2535644961","doi":"https://doi.org/10.1145/2983990.2984003","mag":"2535644961"},"language":"en","primary_location":{"id":"doi:10.1145/2983990.2984003","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2983990.2984003","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2984003&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2984003&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101961454","display_name":"Venkatesh Srinivasan","orcid":null},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Venkatesh Srinivasan","raw_affiliation_strings":["University of Wisconsin-Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066155126","display_name":"Thomas Reps","orcid":"https://orcid.org/0000-0002-5676-9949"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]},{"id":"https://openalex.org/I4210135696","display_name":"GrammaTech (United States)","ror":"https://ror.org/03mwfxd89","country_code":"US","type":"company","lineage":["https://openalex.org/I4210135696"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Thomas Reps","raw_affiliation_strings":["University of Wisconsin-Madison, USA / GrammaTech, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA / GrammaTech, USA","institution_ids":["https://openalex.org/I4210135696","https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101961454"],"corresponding_institution_ids":["https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":4.3311,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.94839469,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"378","last_page":"393"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9994000196456909,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9876999855041504,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.8246628046035767},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.8152447938919067},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7849196791648865},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6932036876678467},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6149200797080994},{"id":"https://openalex.org/keywords/bittorrent-tracker","display_name":"BitTorrent tracker","score":0.5987461805343628},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5365633368492126},{"id":"https://openalex.org/keywords/cascade","display_name":"Cascade","score":0.4814116954803467},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4466184675693512},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40070608258247375},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3830743134021759},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17600712180137634},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10523268580436707},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.0879608690738678}],"concepts":[{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.8246628046035767},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.8152447938919067},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7849196791648865},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6932036876678467},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6149200797080994},{"id":"https://openalex.org/C57501372","wikidata":"https://www.wikidata.org/wiki/Q2021268","display_name":"BitTorrent tracker","level":3,"score":0.5987461805343628},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5365633368492126},{"id":"https://openalex.org/C34146451","wikidata":"https://www.wikidata.org/wiki/Q5048094","display_name":"Cascade","level":2,"score":0.4814116954803467},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4466184675693512},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40070608258247375},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3830743134021759},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17600712180137634},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10523268580436707},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.0879608690738678},{"id":"https://openalex.org/C56461940","wikidata":"https://www.wikidata.org/wiki/Q970687","display_name":"Eye tracking","level":2,"score":0.0},{"id":"https://openalex.org/C42360764","wikidata":"https://www.wikidata.org/wiki/Q83588","display_name":"Chemical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2983990.2984003","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2983990.2984003","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2984003&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2983990.2984003","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2983990.2984003","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2984003&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2300527280","display_name":null,"funder_award_id":"8750-14-2-0270","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G2575196006","display_name":null,"funder_award_id":"FA8750-14-2-0270","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4577670171","display_name":null,"funder_award_id":"FA8750-15-C-0082","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5505183014","display_name":null,"funder_award_id":"MUSE and STAC programs","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5744321116","display_name":null,"funder_award_id":"FA8750-14-2-0270 and FA8750-15-C-0082","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G698519724","display_name":null,"funder_award_id":"FA8750-14-2-0270","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G898061048","display_name":null,"funder_award_id":"8750-14-2-0270","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306555","display_name":"Wisconsin Alumni Research Foundation","ror":"https://ror.org/00hwxbz16"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337368","display_name":"Division of Graduate Education","ror":"https://ror.org/00whkrf32"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2535644961.pdf","grobid_xml":"https://content.openalex.org/works/W2535644961.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W17195072","https://openalex.org/W303139982","https://openalex.org/W1568194905","https://openalex.org/W1821004526","https://openalex.org/W1921315132","https://openalex.org/W1971065581","https://openalex.org/W1997385049","https://openalex.org/W2030906223","https://openalex.org/W2034314861","https://openalex.org/W2037017056","https://openalex.org/W2063257831","https://openalex.org/W2080973181","https://openalex.org/W2088140535","https://openalex.org/W2092483417","https://openalex.org/W2100666033","https://openalex.org/W2102970979","https://openalex.org/W2103742248","https://openalex.org/W2119251836","https://openalex.org/W2138788987","https://openalex.org/W2142365428","https://openalex.org/W2144344516","https://openalex.org/W2147015581","https://openalex.org/W2166841005","https://openalex.org/W2167153801","https://openalex.org/W2168264487","https://openalex.org/W2169044454","https://openalex.org/W2170371367","https://openalex.org/W2293040969","https://openalex.org/W2293624369","https://openalex.org/W2296731238","https://openalex.org/W4211149625","https://openalex.org/W6600698099","https://openalex.org/W6610773549","https://openalex.org/W6638361734","https://openalex.org/W6823100860"],"related_works":["https://openalex.org/W2099665351","https://openalex.org/W2766076007","https://openalex.org/W2354354754","https://openalex.org/W2121728898","https://openalex.org/W2099080307","https://openalex.org/W73279610","https://openalex.org/W95377021","https://openalex.org/W1571608885","https://openalex.org/W2783603270","https://openalex.org/W623420801"],"abstract_inverted_index":{"Machine-code":[0],"slicing":[1],"is":[2,24,47],"an":[3],"important":[4],"primitive":[5],"for":[6],"building":[7],"binary":[8],"analysis":[9],"and":[10,19],"rewriting":[11],"tools,":[12],"such":[13,44],"as":[14],"taint":[15],"trackers,":[16],"fault":[17],"localizers,":[18],"partial":[20],"evaluators.":[21],"However,":[22],"it":[23],"not":[25],"easy":[26],"to":[27],"create":[28],"a":[29,34,45,53],"machine-code":[30],"slicer":[31],"that":[32,52],"exhibits":[33],"high":[35],"level":[36],"of":[37,42,56],"precision.":[38],"Moreover,":[39],"the":[40,50],"problem":[41],"creating":[43],"tool":[46],"compounded":[48],"by":[49],"fact":[51],"small":[54],"amount":[55],"local":[57],"imprecision":[58],"can":[59],"be":[60],"amplified":[61],"via":[62],"cascade":[63],"effects.":[64]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}