{"id":"https://openalex.org/W4415007059","doi":"https://doi.org/10.1145/3763100","title":"Shaking Up Quantum Simulators with Fuzzing and Rigour","display_name":"Shaking Up Quantum Simulators with Fuzzing and Rigour","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4415007059","doi":"https://doi.org/10.1145/3763100"},"language":"en","primary_location":{"id":"doi:10.1145/3763100","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763100","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3763100","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015295334","display_name":"Vasileios Klimis","orcid":"https://orcid.org/0000-0002-3173-8636"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Vasileios Klimis","raw_affiliation_strings":["Queen Mary University of London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-3173-8636","affiliations":[{"raw_affiliation_string":"Queen Mary University of London, London, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099775909","display_name":"Avner Bensoussan","orcid":"https://orcid.org/0009-0007-3285-9468"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Avner Bensoussan","raw_affiliation_strings":["King\u2019s College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0007-3285-9468","affiliations":[{"raw_affiliation_string":"King\u2019s College London, London, United Kingdom","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053742640","display_name":"Elena Chachkarova","orcid":"https://orcid.org/0000-0003-2857-5570"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Elena Chachkarova","raw_affiliation_strings":["King\u2019s College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-2857-5570","affiliations":[{"raw_affiliation_string":"King\u2019s College London, London, United Kingdom","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068864058","display_name":"Karine Even-Mendoza","orcid":"https://orcid.org/0000-0002-3099-1189"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Karine Even-Mendoza","raw_affiliation_strings":["King\u2019s College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-3099-1189","affiliations":[{"raw_affiliation_string":"King\u2019s College London, London, United Kingdom","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056230493","display_name":"Sophie Fortz","orcid":"https://orcid.org/0000-0001-9687-8587"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sophie Fortz","raw_affiliation_strings":["King\u2019s College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-9687-8587","affiliations":[{"raw_affiliation_string":"King\u2019s College London, London, United Kingdom","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040368707","display_name":"Connor Lenihan","orcid":"https://orcid.org/0000-0003-1885-2941"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Connor Lenihan","raw_affiliation_strings":["King\u2019s College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-1885-2941","affiliations":[{"raw_affiliation_string":"King\u2019s College London, London, United Kingdom","institution_ids":["https://openalex.org/I183935753"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5717,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.91121208,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"1400","last_page":"1428"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.9975000023841858,"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"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.6359000205993652},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4374000132083893},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.383899986743927},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.36399999260902405},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.35760000348091125},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.34220001101493835},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.3377000093460083},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.3375999927520752},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3125999867916107}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7610999941825867},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.6359000205993652},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.48969998955726624},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4374000132083893},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.383899986743927},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.36399999260902405},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.35760000348091125},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.350600004196167},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34450000524520874},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.34220001101493835},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.3377000093460083},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.3375999927520752},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3125999867916107},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.30489999055862427},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.302700012922287},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30160000920295715},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.2985999882221222},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.29440000653266907},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.29120001196861267},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.28949999809265137},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.2888000011444092},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2800999879837036},{"id":"https://openalex.org/C2776365744","wikidata":"https://www.wikidata.org/wiki/Q5438149","display_name":"Fault Simulator","level":5,"score":0.2768000066280365},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2531999945640564},{"id":"https://openalex.org/C110406131","wikidata":"https://www.wikidata.org/wiki/Q41349","display_name":"Smart card","level":2,"score":0.2524000108242035}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3763100","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763100","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/85135773-2350-4ef6-b988-2ab9742fe8e2","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/85135773-2350-4ef6-b988-2ab9742fe8e2","pdf_url":"https://kclpure.kcl.ac.uk/ws/files/353127422/3763100.pdf","source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Klimis, V, Bensoussan, A, Chachkarova, E, Even-Mendoza, K, Fortz, S & Lenihan, C 2025, 'Shaking Up Quantum Simulators with Fuzzing and Rigour', Proceedings of the ACM on Programming Languages, vol. 9, no. OOPSLA2, pp. 1400-1428. https://doi.org/10.1145/3763100","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3763100","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763100","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2909309003","display_name":"Reliable and Robust Quantum Computing","funder_award_id":"EP/W032635/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7170562764","display_name":"Verified Simulation for Large Quantum Systems (VSL-Q)","funder_award_id":"EP/Y005244/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G837246666","display_name":null,"funder_award_id":"EP/Y005244/1, EP/W032635/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320285","display_name":"King's College London","ror":"https://ror.org/0220mzb33"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W1525686383","https://openalex.org/W2041713059","https://openalex.org/W2084652510","https://openalex.org/W2093995600","https://openalex.org/W2146079248","https://openalex.org/W2766374749","https://openalex.org/W2898762927","https://openalex.org/W2906649690","https://openalex.org/W2950018366","https://openalex.org/W2969374400","https://openalex.org/W2979682152","https://openalex.org/W2993800728","https://openalex.org/W2996634758","https://openalex.org/W3098152511","https://openalex.org/W3099159815","https://openalex.org/W3102847082","https://openalex.org/W3116601100","https://openalex.org/W3179419443","https://openalex.org/W3185543386","https://openalex.org/W3207323274","https://openalex.org/W3208388786","https://openalex.org/W4200288893","https://openalex.org/W4205868343","https://openalex.org/W4205876794","https://openalex.org/W4206422925","https://openalex.org/W4211058570","https://openalex.org/W4213212652","https://openalex.org/W4214951473","https://openalex.org/W4224903456","https://openalex.org/W4225141106","https://openalex.org/W4225409672","https://openalex.org/W4286524178","https://openalex.org/W4288044869","https://openalex.org/W4288758398","https://openalex.org/W4290786873","https://openalex.org/W4307886648","https://openalex.org/W4313116689","https://openalex.org/W4318830406","https://openalex.org/W4384302737","https://openalex.org/W4389378410","https://openalex.org/W4389672456","https://openalex.org/W4394769544","https://openalex.org/W4400184606","https://openalex.org/W4403223473","https://openalex.org/W4403646875","https://openalex.org/W4404566610","https://openalex.org/W4406798224","https://openalex.org/W4407215078","https://openalex.org/W4409510135","https://openalex.org/W4411486522","https://openalex.org/W6892755627","https://openalex.org/W7077056331"],"related_works":[],"abstract_inverted_index":{"Quantum":[0],"computing":[1],"platforms":[2],"rely":[3],"on":[4,181],"simulators":[5],"for":[6,80,229],"modelling":[7,138],"circuit":[8,203],"behaviour":[9],"prior":[10],"to":[11,18,31,114,119,134,172,196,233],"hardware":[12],"execution,":[13],"where":[14],"inconsistencies":[15],"can":[16],"lead":[17],"costly":[19],"errors.":[20],"While":[21],"existing":[22],"formal":[23,72,102],"validation":[24],"methods":[25,73],"typically":[26],"target":[27],"specific":[28],"compiler":[29],"components":[30],"manage":[32],"state":[33],"explosion,":[34],"they":[35],"often":[36],"miss":[37],"critical":[38],"bugs.":[39],"Meanwhile,":[40],"conventional":[41],"testing":[42,91],"lacks":[43],"systematic":[44],"exploration":[45],"of":[46,104,111,139],"corner":[47],"cases":[48],"and":[49,58,78,92,118,142,151,184,202,205,212],"realistic":[50,238],"execution":[51],"scenarios,":[52],"resulting":[53],"in":[54,174],"both":[55,136,182],"false":[56],"positives":[57],"negatives.":[59],"We":[60,129,178,224],"present":[61],"FuzzQ,":[62],"a":[63,152,227],"novel":[64,153],"framework":[65,232],"that":[66,158,167],"bridges":[67],"this":[68],"gap":[69],"by":[70,89],"combining":[71],"with":[74,126],"structured":[75],"test":[76,132],"generation":[77],"fuzzing":[79],"quantum":[81,112,124,194],"simulators.":[82],"Our":[83,215],"approach":[84],"employs":[85],"differential":[86,176],"benchmarking":[87],"complemented":[88],"mutation":[90],"invariant":[93],"checking.":[94],"At":[95],"its":[96,187],"core,":[97],"FuzzQ":[98,180],"utilises":[99],"our":[100],"Alloy-based":[101],"model":[103],"QASM":[105,140],"3.0,":[106],"which":[107],"encodes":[108],"the":[109,231],"semantics":[110],"circuits":[113,125,195],"enable":[115],"automated":[116],"analysis":[117,216],"generate":[120],"structurally":[121],"diverse,":[122],"constraint-guided":[123],"guaranteed":[127],"properties.":[128],"introduce":[130],"several":[131],"oracles":[133],"assess":[135,199],"Alloy\u2019s":[137],"3.0":[141],"simulator":[143,206,219],"correctness,":[144,211],"including":[145,209],"invariant-based":[146],"checks,":[147],"statistical":[148],"distribution":[149],"tests,":[150],"cross-simulator":[154],"unitary":[155],"consistency":[156],"check":[157],"verifies":[159],"functional":[160],"equivalence":[161],"modulo":[162],"global":[163],"phase,":[164],"revealing":[165],"discrepancies":[166],"standard":[168],"statevector":[169],"comparisons":[170],"fail":[171],"detect":[173],"cross-platform":[175],"testing.":[177],"evaluate":[179],"Qiskit":[183],"Cirq,":[185],"demonstrating":[186],"platform-agnostic":[188],"effectiveness.":[189],"By":[190],"executing":[191],"over":[192],"800,000":[193],"completion,":[197],"we":[198],"throughput,":[200],"code":[201],"coverage,":[204],"performance":[207],"metrics,":[208],"sensitivity,":[210],"memory":[213],"overhead.":[214],"revealed":[217],"eight":[218],"bugs,":[220],"six":[221],"previously":[222],"undocumented.":[223],"also":[225],"outline":[226],"path":[228],"extending":[230],"support":[234],"mixed-state":[235],"simulations":[236],"under":[237],"noise":[239],"models.":[240]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-07-18T07:39:51.176621","created_date":"2025-10-10T00:00:00"}