{"id":"https://openalex.org/W4389208916","doi":"https://doi.org/10.1145/3611643.3616301","title":"PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model","display_name":"PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model","publication_year":2023,"publication_date":"2023-11-30","ids":{"openalex":"https://openalex.org/W4389208916","doi":"https://doi.org/10.1145/3611643.3616301"},"language":"en","primary_location":{"id":"doi:10.1145/3611643.3616301","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611643.3616301","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611643.3616301","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3611643.3616301","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036121611","display_name":"Xiangzhe Xu","orcid":"https://orcid.org/0000-0001-6619-781X"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Xiangzhe Xu","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107249497","display_name":"Zhou Xuan","orcid":"https://orcid.org/0009-0000-5738-885X"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhou Xuan","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107243616","display_name":"Shiwei Feng","orcid":"https://orcid.org/0000-0001-6959-4327"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shiwei Feng","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107250277","display_name":"Siyuan Cheng","orcid":"https://orcid.org/0009-0006-0903-6917"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Siyuan Cheng","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055043003","display_name":"Yapeng Ye","orcid":"https://orcid.org/0000-0001-7232-0650"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yapeng Ye","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034844386","display_name":"Qingkai Shi","orcid":"https://orcid.org/0000-0002-8297-8998"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qingkai Shi","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014842586","display_name":"Guanhong Tao","orcid":"https://orcid.org/0000-0002-4701-1327"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guanhong Tao","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102663692","display_name":"Le Yu","orcid":"https://orcid.org/0009-0008-7613-946X"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Le Yu","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100429710","display_name":"Zhuo Zhang","orcid":"https://orcid.org/0000-0002-6515-0021"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhuo Zhang","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5107249133","display_name":"Xiangyu Zhang","orcid":"https://orcid.org/0000-0002-9544-2500"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiangyu Zhang","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5036121611"],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":2.265,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.90803603,"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":"401","last_page":"412"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9980999827384949,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9962999820709229,"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/executable","display_name":"Executable","score":0.8324947357177734},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7785455584526062},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.7519103288650513},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6664779186248779},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6568111181259155},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.6340026259422302},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.5878250002861023},{"id":"https://openalex.org/keywords/similarity","display_name":"Similarity (geometry)","score":0.5069094300270081},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4809117317199707},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.46996137499809265},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.46108147501945496},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.438043475151062},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4237160384654999},{"id":"https://openalex.org/keywords/binary-relation","display_name":"Binary relation","score":0.42261216044425964},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.42189231514930725},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4089425504207611},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3958309590816498},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2853693962097168},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.19448089599609375},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09113556146621704}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8324947357177734},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7785455584526062},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.7519103288650513},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6664779186248779},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6568111181259155},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.6340026259422302},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5878250002861023},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.5069094300270081},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4809117317199707},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.46996137499809265},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.46108147501945496},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.438043475151062},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4237160384654999},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.42261216044425964},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.42189231514930725},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4089425504207611},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3958309590816498},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2853693962097168},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.19448089599609375},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09113556146621704},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3611643.3616301","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611643.3616301","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611643.3616301","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3611643.3616301","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611643.3616301","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611643.3616301","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G1448401626","display_name":null,"funder_award_id":"N000141712947","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G175455262","display_name":null,"funder_award_id":"W911NF-19-S-0012","funder_id":"https://openalex.org/F4320333051","funder_display_name":"Intelligence Advanced Research Projects Activity"},{"id":"https://openalex.org/G1865040260","display_name":null,"funder_award_id":"TrojAI W911NF-19-S-0012","funder_id":"https://openalex.org/F4320333051","funder_display_name":"Intelligence Advanced Research Projects Activity"},{"id":"https://openalex.org/G2304153372","display_name":null,"funder_award_id":"N000141410468","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2614991508","display_name":null,"funder_award_id":"1910300","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4776870722","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G608057831","display_name":null,"funder_award_id":"W911NF-19","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7284570364","display_name":null,"funder_award_id":"1901242","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7485119911","display_name":null,"funder_award_id":"N000141712045","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8127390166","display_name":"For support to the NSTC Committee on Tecynology Innovation Workshop and subsequent policy analysis and implementation.","funder_award_id":"0001414","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8524305138","display_name":"STTR Phase I:  Customized Manufacture of Protective Headgear for Mitigation of Fall Related Injuries","funder_award_id":"1417120","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8535495650","display_name":"Multiscale Generalized Correlation: A Unified Distance-Based Correlation Measure for Dependency Discovery","funder_award_id":"1712947","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320333051","display_name":"Intelligence Advanced Research Projects Activity","ror":"https://ror.org/01v3fsc55"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4389208916.pdf","grobid_xml":"https://content.openalex.org/works/W4389208916.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W1942295288","https://openalex.org/W1985205072","https://openalex.org/W2012604743","https://openalex.org/W2114996745","https://openalex.org/W2119359024","https://openalex.org/W2156357889","https://openalex.org/W2414803796","https://openalex.org/W2518060702","https://openalex.org/W2532962075","https://openalex.org/W2547625248","https://openalex.org/W2579698096","https://openalex.org/W2618635610","https://openalex.org/W2749008552","https://openalex.org/W2768051178","https://openalex.org/W2795678171","https://openalex.org/W2888320512","https://openalex.org/W2888698761","https://openalex.org/W2926178846","https://openalex.org/W2962688040","https://openalex.org/W2979393298","https://openalex.org/W2997915791","https://openalex.org/W3007413911","https://openalex.org/W3012514498","https://openalex.org/W3015631052","https://openalex.org/W3105926539","https://openalex.org/W3109206613","https://openalex.org/W3112894679","https://openalex.org/W3116924855","https://openalex.org/W3127424491","https://openalex.org/W3153698034","https://openalex.org/W3160616715","https://openalex.org/W3166956180","https://openalex.org/W4284671961","https://openalex.org/W4285490409","https://openalex.org/W4289293315","https://openalex.org/W4301168982","https://openalex.org/W4384154511"],"related_works":["https://openalex.org/W3152373127","https://openalex.org/W2525463489","https://openalex.org/W4316662528","https://openalex.org/W345638404","https://openalex.org/W1608803044","https://openalex.org/W2006860739","https://openalex.org/W2514597554","https://openalex.org/W2401568214","https://openalex.org/W2157660637","https://openalex.org/W2142782287"],"abstract_inverted_index":{"Binary":[0],"similarity":[1,49],"analysis":[2],"determines":[3],"if":[4],"two":[5],"binary":[6,61],"executables":[7],"are":[8,96],"from":[9],"the":[10,35,77,81,93,101,135],"same":[11],"source":[12],"program.":[13],"Existing":[14],"techniques":[15,121],"leverage":[16],"static":[17],"and":[18,22,80,116],"dynamic":[19],"program":[20,44,62,82],"features":[21],"may":[23],"utilize":[24],"advanced":[25],"Deep":[26],"Learning":[27],"techniques.":[28],"Although":[29],"they":[30],"have":[31],"demonstrated":[32],"great":[33],"potential,":[34],"community":[36],"believes":[37],"that":[38,73,92,123],"a":[39,56,68,127],"more":[40],"effective":[41],"representation":[42],"of":[43,85,104,129],"semantics":[45],"can":[46,74,125],"further":[47],"improve":[48],"analysis.":[50],"In":[51],"this":[52],"paper,":[53],"we":[54],"propose":[55],"new":[57],"method":[58],"to":[59],"represent":[60],"semantics.":[63],"It":[64],"is":[65],"based":[66],"on":[67,109],"novel":[69],"probabilistic":[70],"execution":[71],"engine":[72],"effectively":[75],"sample":[76],"input":[78,105],"space":[79,84],"path":[83],"subject":[86],"binaries.":[87],"More":[88],"importantly,":[89],"it":[90],"ensures":[91],"collected":[94],"samples":[95],"comparable":[97],"across":[98],"binaries,":[99],"addressing":[100],"substantial":[102],"variations":[103],"specifications.":[106],"Our":[107],"evaluation":[108],"9":[110],"real-world":[111],"projects":[112],"with":[113,118,131],"35k":[114],"functions,":[115],"comparison":[117],"6":[119],"state-of-the-art":[120],"show":[122],"PEM":[124],"achieve":[126],"precision":[128],"96%":[130],"common":[132],"settings,":[133],"outperforming":[134],"baselines":[136],"by":[137],"10-20%.":[138]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}