{"id":"https://openalex.org/W4394999238","doi":"https://doi.org/10.1145/3620665.3640382","title":"Plankton: Reconciling Binary Code and Debug Information","display_name":"Plankton: Reconciling Binary Code and Debug Information","publication_year":2024,"publication_date":"2024-04-22","ids":{"openalex":"https://openalex.org/W4394999238","doi":"https://doi.org/10.1145/3620665.3640382"},"language":"en","primary_location":{"id":"doi:10.1145/3620665.3640382","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3620665.3640382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","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/A5040244108","display_name":"Anshunkang Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Anshunkang Zhou","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-8719-1070","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000297701","display_name":"Chengfeng Ye","orcid":"https://orcid.org/0000-0002-9529-3410"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Chengfeng Ye","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-9529-3410","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102723505","display_name":"Heqing Huang","orcid":"https://orcid.org/0000-0002-5328-3994"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Heqing Huang","raw_affiliation_strings":["City University of Hong Kong, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-5328-3994","affiliations":[{"raw_affiliation_string":"City University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017012201","display_name":"Yuandao Cai","orcid":"https://orcid.org/0000-0001-6340-1416"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yuandao Cai","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-6340-1416","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101490553","display_name":"Charles Zhang","orcid":"https://orcid.org/0000-0001-6417-1034"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Charles Zhang","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-6417-1034","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5040244108"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":null,"apc_paid":null,"fwci":3.2882,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.92790118,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"912","last_page":"928"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9986000061035156,"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/T10260","display_name":"Software Engineering Research","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/debugging","display_name":"Debugging","score":0.8510603904724121},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8263885974884033},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.6769209504127502},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6407306790351868},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6337898969650269},{"id":"https://openalex.org/keywords/binary-code","display_name":"Binary code","score":0.5574623346328735},{"id":"https://openalex.org/keywords/interference","display_name":"Interference (communication)","score":0.5530260801315308},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5283808708190918},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3397236466407776},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31732505559921265},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.12696465849876404},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.065521240234375}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8510603904724121},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8263885974884033},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.6769209504127502},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6407306790351868},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6337898969650269},{"id":"https://openalex.org/C63435697","wikidata":"https://www.wikidata.org/wiki/Q864135","display_name":"Binary code","level":3,"score":0.5574623346328735},{"id":"https://openalex.org/C32022120","wikidata":"https://www.wikidata.org/wiki/Q797225","display_name":"Interference (communication)","level":3,"score":0.5530260801315308},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5283808708190918},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3397236466407776},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31732505559921265},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.12696465849876404},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.065521240234375},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"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},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3620665.3640382","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3620665.3640382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-138596","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-138596","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","score":0.5,"id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W22858107","https://openalex.org/W61954547","https://openalex.org/W1528455415","https://openalex.org/W1582456956","https://openalex.org/W1583425800","https://openalex.org/W1993736952","https://openalex.org/W1994742583","https://openalex.org/W1997385049","https://openalex.org/W2008626182","https://openalex.org/W2025411198","https://openalex.org/W2052897520","https://openalex.org/W2072385532","https://openalex.org/W2093094052","https://openalex.org/W2122745100","https://openalex.org/W2144528247","https://openalex.org/W2149216329","https://openalex.org/W2149918819","https://openalex.org/W2154942048","https://openalex.org/W2166140339","https://openalex.org/W2297774820","https://openalex.org/W2328210346","https://openalex.org/W2499909786","https://openalex.org/W2523221082","https://openalex.org/W2579698096","https://openalex.org/W2583316335","https://openalex.org/W2600258283","https://openalex.org/W2794187539","https://openalex.org/W2794691759","https://openalex.org/W2799226481","https://openalex.org/W2889242166","https://openalex.org/W2898471596","https://openalex.org/W2905937334","https://openalex.org/W2930019028","https://openalex.org/W2952416601","https://openalex.org/W2972616440","https://openalex.org/W2985731159","https://openalex.org/W2989703616","https://openalex.org/W3012221736","https://openalex.org/W3015291177","https://openalex.org/W3023141480","https://openalex.org/W3033353503","https://openalex.org/W3043516402","https://openalex.org/W3086240552","https://openalex.org/W3155032774","https://openalex.org/W3156018547","https://openalex.org/W3174544859","https://openalex.org/W4233169710","https://openalex.org/W4246166885","https://openalex.org/W4252495648","https://openalex.org/W4254142897","https://openalex.org/W4281387902","https://openalex.org/W4281659951","https://openalex.org/W4281927845","https://openalex.org/W4288057809","https://openalex.org/W4308643091","https://openalex.org/W4318541515","https://openalex.org/W4318953535","https://openalex.org/W4383898434","https://openalex.org/W4387674224","https://openalex.org/W6631114149","https://openalex.org/W6667635256","https://openalex.org/W6891827696","https://openalex.org/W6997171492","https://openalex.org/W7005208678"],"related_works":["https://openalex.org/W2134880816","https://openalex.org/W2111298487","https://openalex.org/W2510680828","https://openalex.org/W2055498716","https://openalex.org/W1984130439","https://openalex.org/W4386075138","https://openalex.org/W3016499519","https://openalex.org/W2371359060","https://openalex.org/W2562873141","https://openalex.org/W2279238589"],"abstract_inverted_index":{"Static":[0],"analysis":[1,61,111,120],"has":[2],"been":[3],"widely":[4],"used":[5],"in":[6,63],"large-scale":[7],"software":[8],"defect":[9],"detection.":[10],"Despite":[11],"recent":[12],"advances,":[13],"it":[14,21],"is":[15],"still":[16],"not":[17],"practical":[18],"enough":[19,56],"because":[20],"requires":[22],"compilation":[23,124],"interference":[24,125],"to":[25,45,96],"obtain":[26],"analyzable":[27],"code.":[28],"Directly":[29],"translating":[30],"the":[31,46,64,67,88,91],"binary":[32,36,51,77],"code":[33,57,95],"using":[34],"a":[35,75],"lifter":[37,78],"mitigates":[38],"this":[39,71],"practicality":[40],"problem":[41],"by":[42,139],"being":[43,132],"non-intrusive":[44],"building":[47],"system.":[48],"However,":[49],"existing":[50,137],"lifters":[52,138],"cannot":[53],"produce":[54,97],"precise":[55],"for":[58],"rigorous":[59],"static":[60,110,119],"even":[62],"presence":[65],"of":[66],"debug":[68,106],"information.":[69],"In":[70],"paper,":[72],"we":[73],"propose":[74],"new":[76,83],"Plankton":[79,116],"together":[80],"with":[81,105,112,122],"two":[82],"algorithms":[84],"that":[85],"can":[86],"fill":[87],"gaps":[89],"between":[90],"low-":[92],"and":[93],"high-level":[94],"high-quality":[98],"LLVM":[99],"intermediate":[100],"representations":[101],"(IRs)":[102],"from":[103],"binaries":[104],"information,":[107],"enabling":[108],"full-fledged":[109],"minor":[113],"precision":[114],"loss.":[115],"shows":[117],"comparable":[118],"results":[121],"traditional":[123],"solutions,":[126],"producing":[127],"only":[128],"17.2%":[129],"differences":[130],"while":[131],"much":[133],"more":[134],"practical,":[135],"outperforming":[136],"76.9%":[140],"on":[141],"average.":[142]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
