{"id":"https://openalex.org/W3166906400","doi":"https://doi.org/10.1145/3503222.3507736","title":"EXAMINER: automatically locating inconsistent instructions between real devices and CPU emulators for ARM","display_name":"EXAMINER: automatically locating inconsistent instructions between real devices and CPU emulators for ARM","publication_year":2022,"publication_date":"2022-02-22","ids":{"openalex":"https://openalex.org/W3166906400","doi":"https://doi.org/10.1145/3503222.3507736","mag":"3166906400"},"language":"en","primary_location":{"id":"doi:10.1145/3503222.3507736","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503222.3507736","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"preprint","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/A5067240337","display_name":"Muhui Jiang","orcid":"https://orcid.org/0000-0003-2196-6894"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Muhui Jiang","raw_affiliation_strings":["Hong Kong Polytechnic University, China"],"affiliations":[{"raw_affiliation_string":"Hong Kong Polytechnic University, China","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051440813","display_name":"Tianyi Xu","orcid":"https://orcid.org/0000-0002-9108-913X"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tianyi Xu","raw_affiliation_strings":["Zhejiang University, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088790914","display_name":"Yajin Zhou","orcid":"https://orcid.org/0000-0001-7610-4736"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yajin Zhou","raw_affiliation_strings":["Zhejiang University, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053304390","display_name":"Yufeng Hu","orcid":"https://orcid.org/0000-0001-9097-9010"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yufeng Hu","raw_affiliation_strings":["Zhejiang University, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033128202","display_name":"Ming Zhong","orcid":"https://orcid.org/0000-0001-9376-818X"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ming Zhong","raw_affiliation_strings":["Zhejiang University, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065178474","display_name":"Lei Wu","orcid":"https://orcid.org/0000-0003-1675-5283"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Wu","raw_affiliation_strings":["Zhejiang University, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100400376","display_name":"Xiapu Luo","orcid":"https://orcid.org/0000-0002-9082-3208"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xiapu Luo","raw_affiliation_strings":["Hong Kong Polytechnic University, China"],"affiliations":[{"raw_affiliation_string":"Hong Kong Polytechnic University, China","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000596496","display_name":"Kui Ren","orcid":"https://orcid.org/0000-0003-3441-6277"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kui Ren","raw_affiliation_strings":["Zhejiang University, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5067240337"],"corresponding_institution_ids":["https://openalex.org/I14243506"],"apc_list":null,"apc_paid":null,"fwci":1.6354,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.82323908,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"846","last_page":"858"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9997000098228455,"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.9997000098228455,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.998199999332428,"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/computer-science","display_name":"Computer science","score":0.8145581483840942},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7815344333648682},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.6530499458312988},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5229802131652832},{"id":"https://openalex.org/keywords/arm-architecture","display_name":"ARM architecture","score":0.4418167173862457},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3921331465244293},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3024977445602417}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8145581483840942},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7815344333648682},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.6530499458312988},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5229802131652832},{"id":"https://openalex.org/C26771161","wikidata":"https://www.wikidata.org/wiki/Q16980","display_name":"ARM architecture","level":2,"score":0.4418167173862457},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3921331465244293},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3024977445602417}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3503222.3507736","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503222.3507736","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W78162143","https://openalex.org/W1966021031","https://openalex.org/W1966973702","https://openalex.org/W1973072591","https://openalex.org/W1992181084","https://openalex.org/W2048134700","https://openalex.org/W2114780348","https://openalex.org/W2137530017","https://openalex.org/W2169294765","https://openalex.org/W2170737051","https://openalex.org/W2260302358","https://openalex.org/W2528795537","https://openalex.org/W2532737545","https://openalex.org/W2575541032","https://openalex.org/W2576376563","https://openalex.org/W2588467577","https://openalex.org/W2603034903","https://openalex.org/W2642053679","https://openalex.org/W2752289980","https://openalex.org/W2753873057","https://openalex.org/W2792451387","https://openalex.org/W2794801050","https://openalex.org/W2914982603","https://openalex.org/W2917798975","https://openalex.org/W2982547214","https://openalex.org/W3034071395","https://openalex.org/W3093870681","https://openalex.org/W3103269073","https://openalex.org/W3111743984","https://openalex.org/W3124323960","https://openalex.org/W3179490740","https://openalex.org/W4289783285"],"related_works":["https://openalex.org/W2016486756","https://openalex.org/W2370330671","https://openalex.org/W2375870986","https://openalex.org/W2912613323","https://openalex.org/W2392910191","https://openalex.org/W1700025863","https://openalex.org/W2157201356","https://openalex.org/W2399091034","https://openalex.org/W2366775340","https://openalex.org/W2401141119"],"abstract_inverted_index":{"Emulators":[0],"are":[1,32],"widely":[2],"used":[3],"to":[4,10,45],"build":[5],"dynamic":[6],"analysis":[7],"frameworks":[8],"due":[9],"its":[11],"fine-grained":[12],"tracing":[13],"capability,":[14],"full":[15],"system":[16],"monitoring":[17],"functionality,":[18],"and":[19,27,55],"scalability":[20],"of":[21],"running":[22],"on":[23],"different":[24],"operating":[25],"systems":[26],"architectures.":[28],"However,":[29],"whether":[30],"emulators":[31,54],"consistent":[33],"with":[34],"real":[35,56],"devices":[36],"is":[37],"unknown.":[38],"To":[39],"understand":[40],"this":[41],"problem,":[42],"we":[43],"aim":[44],"automatically":[46],"locate":[47],"inconsistent":[48],"instructions,":[49],"which":[50],"behave":[51],"differently":[52],"between":[53],"devices.":[57]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4}],"updated_date":"2026-03-31T07:56:22.981413","created_date":"2025-10-10T00:00:00"}