{"id":"https://openalex.org/W2766166175","doi":"https://doi.org/10.1145/3145344.3145488","title":"Towards Self-Verification in Finite Difference Code Generation","display_name":"Towards Self-Verification in Finite Difference Code Generation","publication_year":2017,"publication_date":"2017-10-31","ids":{"openalex":"https://openalex.org/W2766166175","doi":"https://doi.org/10.1145/3145344.3145488","mag":"2766166175"},"language":"en","primary_location":{"id":"doi:10.1145/3145344.3145488","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3145344.3145488","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3145488&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the First International Workshop on Software Correctness for HPC Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3145488&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018679209","display_name":"Jan H\u00fcckelheim","orcid":"https://orcid.org/0000-0003-3479-6361"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jan H\u00fcckelheim","raw_affiliation_strings":["Imperial College London, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088598915","display_name":"Ziqing Luo","orcid":"https://orcid.org/0000-0001-6557-3692"},"institutions":[{"id":"https://openalex.org/I86501945","display_name":"University of Delaware","ror":"https://ror.org/01sbq1a82","country_code":"US","type":"education","lineage":["https://openalex.org/I86501945"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ziqing Luo","raw_affiliation_strings":["University of Delaware, Newark, DE, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Delaware, Newark, DE, USA","institution_ids":["https://openalex.org/I86501945"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052710314","display_name":"Fabio Luporini","orcid":"https://orcid.org/0000-0001-7161-2942"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Fabio Luporini","raw_affiliation_strings":["Imperial College London, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050463401","display_name":"Navjot Kukreja","orcid":"https://orcid.org/0000-0003-0016-3785"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Navjot Kukreja","raw_affiliation_strings":["Imperial College London, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069823171","display_name":"Michael Lange","orcid":"https://orcid.org/0000-0002-3232-0127"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Lange","raw_affiliation_strings":["Imperial College London, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023142767","display_name":"Gerard Gorman","orcid":"https://orcid.org/0000-0003-0563-3678"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gerard Gorman","raw_affiliation_strings":["Imperial College London, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021789649","display_name":"Stephen F. Siegel","orcid":"https://orcid.org/0000-0001-9359-3332"},"institutions":[{"id":"https://openalex.org/I86501945","display_name":"University of Delaware","ror":"https://ror.org/01sbq1a82","country_code":"US","type":"education","lineage":["https://openalex.org/I86501945"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen Siegel","raw_affiliation_strings":["University of Delaware, Newark, DE, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Delaware, Newark, DE, USA","institution_ids":["https://openalex.org/I86501945"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086757331","display_name":"Matthew B. Dwyer","orcid":"https://orcid.org/0000-0002-1937-1544"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Dwyer","raw_affiliation_strings":["University of Nebraska, Lincoln, NE, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nebraska, Lincoln, NE, USA","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067040957","display_name":"Paul Hovland","orcid":"https://orcid.org/0000-0002-0907-2567"},"institutions":[{"id":"https://openalex.org/I1282105669","display_name":"Argonne National Laboratory","ror":"https://ror.org/05gvnxz63","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282105669","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paul Hovland","raw_affiliation_strings":["Argonne National Laboratory, Lemont, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Argonne National Laboratory, Lemont, IL, USA","institution_ids":["https://openalex.org/I1282105669"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5018679209"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.3535,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66375719,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"42","last_page":"49"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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.998199999332428,"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.8261997103691101},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.8057652711868286},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.683281421661377},{"id":"https://openalex.org/keywords/dead-code","display_name":"Dead code","score":0.6572574377059937},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6512966156005859},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6419810652732849},{"id":"https://openalex.org/keywords/redundant-code","display_name":"Redundant code","score":0.5842639803886414},{"id":"https://openalex.org/keywords/unreachable-code","display_name":"Unreachable code","score":0.5785574316978455},{"id":"https://openalex.org/keywords/dead-code-elimination","display_name":"Dead code elimination","score":0.4982764720916748},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4783734381198883},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.46149763464927673},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.44143784046173096},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.43530598282814026},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42988836765289307},{"id":"https://openalex.org/keywords/kpi-driven-code-analysis","display_name":"KPI-driven code analysis","score":0.4142382740974426},{"id":"https://openalex.org/keywords/stencil","display_name":"Stencil","score":0.410245805978775},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3942968547344208},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.38855594396591187},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.19266512989997864},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.19069737195968628},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.17140251398086548},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.11854663491249084},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08759918808937073}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8261997103691101},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.8057652711868286},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.683281421661377},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.6572574377059937},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6512966156005859},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6419810652732849},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.5842639803886414},{"id":"https://openalex.org/C50951305","wikidata":"https://www.wikidata.org/wiki/Q2482534","display_name":"Unreachable code","level":5,"score":0.5785574316978455},{"id":"https://openalex.org/C2144512","wikidata":"https://www.wikidata.org/wiki/Q1143090","display_name":"Dead code elimination","level":5,"score":0.4982764720916748},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4783734381198883},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.46149763464927673},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.44143784046173096},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.43530598282814026},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42988836765289307},{"id":"https://openalex.org/C121957198","wikidata":"https://www.wikidata.org/wiki/Q14365593","display_name":"KPI-driven code analysis","level":5,"score":0.4142382740974426},{"id":"https://openalex.org/C76752949","wikidata":"https://www.wikidata.org/wiki/Q7607499","display_name":"Stencil","level":2,"score":0.410245805978775},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3942968547344208},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.38855594396591187},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.19266512989997864},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.19069737195968628},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.17140251398086548},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.11854663491249084},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08759918808937073},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3145344.3145488","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3145344.3145488","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3145488&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the First International Workshop on Software Correctness for HPC Applications","raw_type":"proceedings-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/51686","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/51686","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SC17","raw_type":"Conference Paper"}],"best_oa_location":{"id":"doi:10.1145/3145344.3145488","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3145344.3145488","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3145488&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the First International Workshop on Software Correctness for HPC Applications","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1278550217","display_name":"Platform: Underpinning Technologies for Finite Element Simulation","funder_award_id":"EP/L000407/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2777053550","display_name":null,"funder_award_id":"AC02-06CH11357","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G3251398503","display_name":null,"funder_award_id":"DE-SC0012566","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G4050908721","display_name":"SHF: Small: Contracts for Message-Passing Parallel Programs","funder_award_id":"1319571","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G498139845","display_name":null,"funder_award_id":"DE-AC02","funder_id":"https://openalex.org/F4320332359","funder_display_name":"Office of Science"},{"id":"https://openalex.org/G5904151224","display_name":null,"funder_award_id":"DE-AC02-06CH11357","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6558272803","display_name":null,"funder_award_id":"DE-AC02","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G6848031779","display_name":null,"funder_award_id":"06CH11357","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G6918803902","display_name":null,"funder_award_id":"06CH11357","funder_id":"https://openalex.org/F4320332359","funder_display_name":"Office of Science"},{"id":"https://openalex.org/G7351994996","display_name":null,"funder_award_id":"DE-AC02-06CH11357","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7554227835","display_name":null,"funder_award_id":"EP/L000407/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8143874970","display_name":null,"funder_award_id":"AC02-06CH11357","funder_id":"https://openalex.org/F4320332359","funder_display_name":"Office of Science"},{"id":"https://openalex.org/G878601127","display_name":null,"funder_award_id":"DE-AC02-06CH11357","funder_id":"https://openalex.org/F4320337506","funder_display_name":"Advanced Scientific Computing Research"},{"id":"https://openalex.org/G969889393","display_name":null,"funder_award_id":"DE-AC02-","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320320283","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10"},{"id":"https://openalex.org/F4320332359","display_name":"Office of Science","ror":"https://ror.org/00mmn6b08"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320337506","display_name":"Advanced Scientific Computing Research","ror":"https://ror.org/0012c7r22"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2766166175.pdf","grobid_xml":"https://content.openalex.org/works/W2766166175.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W61606928","https://openalex.org/W73123583","https://openalex.org/W121297392","https://openalex.org/W165943180","https://openalex.org/W177306140","https://openalex.org/W210983291","https://openalex.org/W1491178396","https://openalex.org/W1519745724","https://openalex.org/W1568729458","https://openalex.org/W1575350781","https://openalex.org/W1606177908","https://openalex.org/W1616824231","https://openalex.org/W1710734607","https://openalex.org/W1895387792","https://openalex.org/W1982177633","https://openalex.org/W1985462363","https://openalex.org/W1997375049","https://openalex.org/W2013562423","https://openalex.org/W2016638303","https://openalex.org/W2028499920","https://openalex.org/W2047694629","https://openalex.org/W2063362342","https://openalex.org/W2064051034","https://openalex.org/W2076960126","https://openalex.org/W2093709900","https://openalex.org/W2098220211","https://openalex.org/W2142467886","https://openalex.org/W2168522485","https://openalex.org/W2234512370","https://openalex.org/W2296019735","https://openalex.org/W2296669295","https://openalex.org/W2412440871","https://openalex.org/W2417863416","https://openalex.org/W2510992263","https://openalex.org/W2564856016","https://openalex.org/W2620503297","https://openalex.org/W2963430904","https://openalex.org/W3100990548","https://openalex.org/W3104566386","https://openalex.org/W3138798301","https://openalex.org/W4231970275","https://openalex.org/W4232598138","https://openalex.org/W4245654886","https://openalex.org/W4249477244"],"related_works":["https://openalex.org/W2161969548","https://openalex.org/W4244016640","https://openalex.org/W3008325674","https://openalex.org/W2036000779","https://openalex.org/W2112669344","https://openalex.org/W1539844444","https://openalex.org/W2240848044","https://openalex.org/W2123574549","https://openalex.org/W4387674316","https://openalex.org/W4253804737"],"abstract_inverted_index":{"Code":[0],"generation":[1,100,152,168],"from":[2,129],"domain-specific":[3],"languages":[4],"is":[5,36,49,113],"becoming":[6],"increasingly":[7],"popular":[8],"as":[9,51],"a":[10,21,26,87,104,134,160],"method":[11],"to":[12,60,158],"obtain":[13],"optimised":[14,123],"low-level":[15],"code":[16,48,54,65,80,99,125,141,151,167],"that":[17,121,142],"performs":[18],"well":[19],"on":[20,69],"given":[22,27],"platform":[23],"and":[24,58,147],"for":[25,126],"problem":[28,71],"instance.":[29],"Ensuring":[30],"the":[31,39,47,52,63,70,91,98,109,116,139,150,165],"correctness":[32],"of":[33,46,93,136,138],"generated":[34,53,64,140],"codes":[35],"crucial.":[37],"At":[38],"same":[40],"time,":[41],"testing":[42,83],"or":[43,75,82],"manual":[44],"inspection":[45],"problematic,":[50],"can":[55,143],"be":[56,144],"complex":[57],"hard":[59],"read.":[61],"Moreover,":[62],"may":[66],"change":[67],"depending":[68],"type,":[72],"domain":[73],"size,":[74],"target":[76],"platform,":[77],"making":[78],"conventional":[79],"review":[81],"methods":[84],"impractical.":[85],"As":[86],"solution,":[88],"we":[89],"propose":[90],"integration":[92],"formal":[94],"verification":[95,111],"tools":[96],"into":[97],"process.":[101,153],"We":[102,132],"present":[103],"case":[105],"study":[106],"in":[107,164],"which":[108],"CIVL":[110],"tool":[112],"combined":[114],"with":[115],"Devito":[117,166],"finite":[118],"difference":[119],"framework":[120],"generates":[122],"stencil":[124],"PDE":[127],"solvers":[128],"symbolic":[130],"equations.":[131],"show":[133],"selection":[135],"properties":[137],"automatically":[145],"specified":[146],"verified":[148],"during":[149],"Our":[154],"approach":[155],"allowed":[156],"us":[157],"detect":[159],"previously":[161],"unknown":[162],"bug":[163],"tool.":[169]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-05-20T08:49:12.498775","created_date":"2025-10-10T00:00:00"}