{"id":"https://openalex.org/W4409328319","doi":"https://doi.org/10.1145/3622781.3674188","title":"Validating JVM Compilers via Maximizing Optimization Interactions","display_name":"Validating JVM Compilers via Maximizing Optimization Interactions","publication_year":2024,"publication_date":"2024-04-27","ids":{"openalex":"https://openalex.org/W4409328319","doi":"https://doi.org/10.1145/3622781.3674188"},"language":"en","primary_location":{"id":"doi:10.1145/3622781.3674188","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622781.3674188","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622781.3674188","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 4","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/3622781.3674188","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026505146","display_name":"Zifan Xie","orcid":"https://orcid.org/0000-0002-3264-1684"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zifan Xie","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0002-3264-1684","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003031253","display_name":"Ming Wen","orcid":"https://orcid.org/0000-0001-5588-9618"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ming Wen","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0001-5588-9618","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117099589","display_name":"Shiyu Qiu","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shiyu Qiu","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0009-0598-8322","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018912338","display_name":"Hai Jin","orcid":"https://orcid.org/0000-0003-4453-4920"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hai Jin","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, Hubei, China"],"raw_orcid":"https://orcid.org/0000-0003-4453-4920","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, Hubei, China","institution_ids":["https://openalex.org/I47720641"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I47720641"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.30337637,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"345","last_page":"360"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.843206524848938},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7127265930175781},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5989459753036499},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.5458980798721313},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.40320560336112976},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3283272981643677}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.843206524848938},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7127265930175781},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5989459753036499},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5458980798721313},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.40320560336112976},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3283272981643677}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3622781.3674188","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622781.3674188","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622781.3674188","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 4","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3622781.3674188","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622781.3674188","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622781.3674188","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 4","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409328319.pdf","grobid_xml":"https://content.openalex.org/works/W4409328319.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W1987719170","https://openalex.org/W1989171126","https://openalex.org/W2016049762","https://openalex.org/W2043832938","https://openalex.org/W2057651724","https://openalex.org/W2088494048","https://openalex.org/W2106072155","https://openalex.org/W2118547657","https://openalex.org/W2153185479","https://openalex.org/W2154832859","https://openalex.org/W2159558457","https://openalex.org/W2414287720","https://openalex.org/W2922037604","https://openalex.org/W2947109320","https://openalex.org/W2968370566","https://openalex.org/W2968868199","https://openalex.org/W3007855180","https://openalex.org/W3113205478","https://openalex.org/W3164004581","https://openalex.org/W4213153339","https://openalex.org/W4213287115","https://openalex.org/W4214617101","https://openalex.org/W4239249613","https://openalex.org/W4239277337","https://openalex.org/W4241737371","https://openalex.org/W4242726609","https://openalex.org/W4246263814","https://openalex.org/W4299689334","https://openalex.org/W4318752748","https://openalex.org/W4379512400","https://openalex.org/W4384154483","https://openalex.org/W4384345718","https://openalex.org/W4387302771","https://openalex.org/W6765451652","https://openalex.org/W6786501302","https://openalex.org/W6840187005","https://openalex.org/W6854650367","https://openalex.org/W6902707105","https://openalex.org/W6968135928","https://openalex.org/W7010129021"],"related_works":["https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2577630842","https://openalex.org/W1172579163","https://openalex.org/W1488300410","https://openalex.org/W1713081424"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"the":[3,11,47,53,80,101,109,112,141,151,166,171],"concept":[4],"of":[5,55,111],"optimization":[6,18,57,81,94,133,148,167,185],"interaction,":[7],"which":[8,89,164],"refers":[9],"to":[10,50,67,103,129,140,146,177,183,194],"practice":[12],"in":[13,32],"modern":[14],"compilers":[15,76],"where":[16],"multiple":[17],"phases,":[19,85],"such":[20],"as":[21,63],"inlining,":[22],"loop":[23],"unrolling,":[24],"and":[25,107,125,187,204],"dead":[26],"code":[27,115],"elimination,":[28],"are":[29,137,181],"not":[30,60],"completed":[31],"a":[33,44,131,157],"one-off":[34],"sequential":[35],"order":[36],"while":[37,42],"being":[38],"interacted":[39],"instead.":[40],"Therefore,":[41],"optimizing":[43],"certain":[45,132],"phase,":[46],"compiler":[48,68],"needs":[49],"ensure":[51],"that":[52,180],"results":[54],"other":[56],"phases":[58],"will":[59],"be":[61],"disrupted,":[62],"this":[64],"could":[65],"lead":[66],"crashes":[69],"or":[70],"unpredictable":[71],"results.":[72],"To":[73],"verify":[74],"whether":[75],"can":[77],"correctly":[78],"handle":[79],"process":[82,153],"across":[83],"various":[84],"we":[86],"propose":[87],"MopFuzzer,":[88],"aims":[90],"at":[91],"maximizing":[92],"runtime":[93],"interactions":[95],"during":[96],"fuzzing.":[97],"Specifically,":[98],"it":[99],"encourages":[100],"JVM":[102],"perform":[104],"multi-stage":[105],"optimizations":[106],"verifies":[108],"correctness":[110],"compiler's":[113],"optimized":[114],"through":[116],"differential":[117],"testing.":[118],"Currently,":[119],"MopFuzzer":[120,176],"has":[121,192],"implemented":[122],"13":[123],"mutators,":[124],"each":[126],"is":[127,154],"intended":[128],"trigger":[130],"behavior.":[134],"Such":[135],"mutators":[136],"applied":[138],"iteratively":[139],"same":[142],"program":[143],"point,":[144],"aiming":[145],"maximize":[147,184],"interactions.":[149,189],"Subsequently,":[150],"testing":[152],"guided":[155],"by":[156,170],"novel":[158],"method":[159],"based":[160],"on":[161],"profile":[162],"data,":[163],"records":[165],"behaviors":[168,186],"performed":[169],"compiler.":[172],"The":[173],"guidance":[174],"enables":[175],"generate":[178],"mutants":[179],"able":[182],"their":[188],"Our":[190],"evaluation":[191],"led":[193],"59":[195],"bug":[196],"reports":[197],"for":[198],"widely":[199],"used":[200],"production":[201],"JVMs,":[202],"OpenJDK":[203],"OpenJ9.":[205]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}