{"id":"https://openalex.org/W4400485311","doi":"https://doi.org/10.1145/3650212.3680362","title":"Towards Understanding the Bugs in Solidity Compiler","display_name":"Towards Understanding the Bugs in Solidity Compiler","publication_year":2024,"publication_date":"2024-09-11","ids":{"openalex":"https://openalex.org/W4400485311","doi":"https://doi.org/10.1145/3650212.3680362"},"language":"en","primary_location":{"id":"doi:10.1145/3650212.3680362","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3650212.3680362","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2407.05981","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060537183","display_name":"Haoyang Ma","orcid":"https://orcid.org/0000-0002-7411-9288"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]},{"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"]},{"id":"https://openalex.org/I4210159029","display_name":"Guangzhou HKUST Fok Ying Tung Research Institute","ror":"https://ror.org/05cvbj479","country_code":"CN","type":"facility","lineage":["https://openalex.org/I200769079","https://openalex.org/I4210159029"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Haoyang Ma","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China","College of Intelligence and Computing Tianjin University China","The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China"],"raw_orcid":"https://orcid.org/0000-0002-7411-9288","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"College of Intelligence and Computing Tianjin University China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I4210159029","https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077307201","display_name":"Wuqi Zhang","orcid":"https://orcid.org/0000-0001-8039-0528"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]},{"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"]},{"id":"https://openalex.org/I4210159029","display_name":"Guangzhou HKUST Fok Ying Tung Research Institute","ror":"https://ror.org/05cvbj479","country_code":"CN","type":"facility","lineage":["https://openalex.org/I200769079","https://openalex.org/I4210159029"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Wuqi Zhang","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China","College of Intelligence and Computing Tianjin University China","The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China"],"raw_orcid":"https://orcid.org/0000-0001-8039-0528","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"College of Intelligence and Computing Tianjin University China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I4210159029","https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056795788","display_name":"Qingchao Shen","orcid":"https://orcid.org/0000-0002-6128-2123"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]},{"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"]},{"id":"https://openalex.org/I4210159029","display_name":"Guangzhou HKUST Fok Ying Tung Research Institute","ror":"https://ror.org/05cvbj479","country_code":"CN","type":"facility","lineage":["https://openalex.org/I200769079","https://openalex.org/I4210159029"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Qingchao Shen","raw_affiliation_strings":["Tianjin University, Tianjin, China","College of Intelligence and Computing Tianjin University China","The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China"],"raw_orcid":"https://orcid.org/0000-0002-6128-2123","affiliations":[{"raw_affiliation_string":"Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"College of Intelligence and Computing Tianjin University China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I4210159029","https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052271946","display_name":"Yongqiang Tian","orcid":"https://orcid.org/0000-0003-1644-2965"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]},{"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"]},{"id":"https://openalex.org/I4210159029","display_name":"Guangzhou HKUST Fok Ying Tung Research Institute","ror":"https://ror.org/05cvbj479","country_code":"CN","type":"facility","lineage":["https://openalex.org/I200769079","https://openalex.org/I4210159029"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Yongqiang Tian","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China","College of Intelligence and Computing Tianjin University China","The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China"],"raw_orcid":"https://orcid.org/0000-0003-1644-2965","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"College of Intelligence and Computing Tianjin University China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I4210159029","https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100365555","display_name":"Junjie Chen","orcid":"https://orcid.org/0000-0003-3056-9962"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]},{"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"]},{"id":"https://openalex.org/I4210159029","display_name":"Guangzhou HKUST Fok Ying Tung Research Institute","ror":"https://ror.org/05cvbj479","country_code":"CN","type":"facility","lineage":["https://openalex.org/I200769079","https://openalex.org/I4210159029"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Junjie Chen","raw_affiliation_strings":["Tianjin University, Tianjin, China","College of Intelligence and Computing Tianjin University China","The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China"],"raw_orcid":"https://orcid.org/0000-0003-3056-9962","affiliations":[{"raw_affiliation_string":"Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"College of Intelligence and Computing Tianjin University China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I4210159029","https://openalex.org/I889458895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034057959","display_name":"Shing-Chi Cheung","orcid":"https://orcid.org/0000-0002-3508-7172"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]},{"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"]},{"id":"https://openalex.org/I4210159029","display_name":"Guangzhou HKUST Fok Ying Tung Research Institute","ror":"https://ror.org/05cvbj479","country_code":"CN","type":"facility","lineage":["https://openalex.org/I200769079","https://openalex.org/I4210159029"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Shing-Chi Cheung","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, China","College of Intelligence and Computing Tianjin University China","The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China"],"raw_orcid":"https://orcid.org/0000-0002-3508-7172","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"College of Intelligence and Computing Tianjin University China","institution_ids":["https://openalex.org/I162868743"]},{"raw_affiliation_string":"The Hong Kong University of Science and Technology Guangzhou HKUST Fok Ying Tung Research Institute China","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I4210159029","https://openalex.org/I889458895"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6538,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.91834774,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1312","last_page":"1324"},"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.9998000264167786,"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.9998000264167786,"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.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/T10260","display_name":"Software Engineering Research","score":0.9923999905586243,"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/solidity","display_name":"Solidity","score":0.9694387912750244},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7763756513595581},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.701872706413269},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5276699662208557},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43761298060417175},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32769331336021423},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1300964057445526}],"concepts":[{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.9694387912750244},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7763756513595581},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.701872706413269},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5276699662208557},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43761298060417175},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32769331336021423},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1300964057445526}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3650212.3680362","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3650212.3680362","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2407.05981","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2407.05981","pdf_url":"https://arxiv.org/pdf/2407.05981","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-139976","is_oa":false,"landing_page_url":"http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=&rft.volume=&rft.issue=&rft.date=2024&rft.spage=&rft.aulast=Ma&rft.aufirst=Haoyang&rft.atitle=Towards+Understanding+the+Bugs+in+Solidity+Compiler&rft.title=","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":null,"raw_type":"Conference paper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2407.05981","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2407.05981","pdf_url":"https://arxiv.org/pdf/2407.05981","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1888249465","display_name":"\u81ea\u6210\u957f\u590d\u6742\u8f6f\u4ef6\u7cfb\u7edf\u6784\u5efa\u65b9\u6cd5\u4e0e\u8fd0\u884c\u652f\u6491\u7814\u7a76","funder_award_id":"61932021","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6061973920","display_name":null,"funder_award_id":"62232001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8073827331","display_name":null,"funder_award_id":"62322208","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400485311.pdf","grobid_xml":"https://content.openalex.org/works/W4400485311.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W2104577574","https://openalex.org/W2135198734","https://openalex.org/W2170224888","https://openalex.org/W2170737051","https://openalex.org/W2461570336","https://openalex.org/W2724374034","https://openalex.org/W2790202156","https://openalex.org/W2794859654","https://openalex.org/W2850992922","https://openalex.org/W2914234945","https://openalex.org/W2945056715","https://openalex.org/W2968594320","https://openalex.org/W3009678450","https://openalex.org/W3088735455","https://openalex.org/W3089630855","https://openalex.org/W3090561201","https://openalex.org/W3113205478","https://openalex.org/W3124767051","https://openalex.org/W3142903977","https://openalex.org/W3181957689","https://openalex.org/W3193977407","https://openalex.org/W3196239222","https://openalex.org/W3205605633","https://openalex.org/W4211096536","https://openalex.org/W4220845069","https://openalex.org/W4225847927","https://openalex.org/W4238083723","https://openalex.org/W4281613925","https://openalex.org/W4313547562","https://openalex.org/W4318541608","https://openalex.org/W4327594616","https://openalex.org/W4362676437","https://openalex.org/W4378465442","https://openalex.org/W4384154578","https://openalex.org/W4384155409","https://openalex.org/W4385767379","https://openalex.org/W4386442953","https://openalex.org/W4389165112","https://openalex.org/W4390742644","https://openalex.org/W4402442339"],"related_works":["https://openalex.org/W4379933579","https://openalex.org/W4381746828","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W188282463","https://openalex.org/W2461570336","https://openalex.org/W2621101275"],"abstract_inverted_index":{"Solidity":[0,25,32,37,58,84,105,122,149,157,170,187],"compiler":[1,38,59,80,85,106,123,158,171,188],"plays":[2],"a":[3,21,78],"key":[4],"role":[5],"in":[6,41,47,73,90,104,111,185],"enabling":[7],"the":[8,18,102,116,154,198],"development":[9],"of":[10,20,31,36,156],"smart":[11,51,82],"contract":[12],"applications":[13],"on":[14,50,69,120,173],"Ethereum":[15],"by":[16],"governing":[17],"syntax":[19],"domain-specific":[22,79],"language":[23],"called":[24],"and":[26,29,45,107,134,136,160,205],"performing":[27],"compilation":[28,203],"optimization":[30],"code.":[33],"The":[34,177,190],"correctness":[35],"is":[39,60],"critical":[40],"fostering":[42],"transparency,":[43],"efficiency,":[44],"trust":[46],"industries":[48],"reliant":[49],"contracts.":[52],"However,":[53],"like":[54],"other":[55,88],"software":[56],"systems,":[57],"prone":[61],"to":[62,96,144,152,196],"bugs,":[63],"which":[64],"may":[65],"produce":[66],"incorrect":[67],"bytecodes":[68],"blockchain":[70],"platforms,":[71],"resulting":[72],"severe":[74],"security":[75],"concerns.":[76],"As":[77],"for":[81,148],"contracts,":[83],"differs":[86],"from":[87,193],"compilers":[89],"many":[91],"perspectives,":[92],"posing":[93],"unique":[94],"challenges":[95],"detect":[97],"its":[98],"bugs.":[99,124,189],"To":[100],"understand":[101],"bugs":[103],"benefit":[108],"future":[109],"research,":[110],"this":[112],"paper,":[113],"we":[114,167],"present":[115],"first":[117],"systematic":[118],"study":[119,142,153],"533":[121],"We":[125],"carefully":[126],"examined":[127],"their":[128,137,194],"characteristics":[129],"(including":[130],"symptoms,":[131],"root":[132],"causes,":[133],"distribution),":[135],"triggering":[138],"test":[139,206],"cases.":[140],"Our":[141],"leads":[143],"seven":[145],"bug-revealing":[146],"takeaways":[147],"compiler.":[150],"Moreover,":[151],"limitations":[155],"fuzzers":[159,172,182],"bring":[161],"our":[162,174],"findings":[163],"into":[164],"practical":[165],"scenarios,":[166],"evaluate":[168],"three":[169],"constructed":[175],"benchmark.":[176],"results":[178],"show":[179],"that":[180],"these":[181],"are":[183],"inefficient":[184],"detecting":[186],"inefficiency":[191],"arises":[192],"failure":[195],"consider":[197],"interesting":[199],"bug-inducing":[200],"features,":[201],"bug-related":[202],"flags,":[204],"oracles.":[207]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":7}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}