{"id":"https://openalex.org/W3077206599","doi":"https://doi.org/10.1145/3402451","title":"FPD <scp>etect</scp>","display_name":"FPD <scp>etect</scp>","publication_year":2020,"publication_date":"2020-08-17","ids":{"openalex":"https://openalex.org/W3077206599","doi":"https://doi.org/10.1145/3402451","mag":"3077206599"},"language":"en","primary_location":{"id":"doi:10.1145/3402451","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3402451","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3402451","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3402451","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101411436","display_name":"Arnab Das","orcid":"https://orcid.org/0000-0002-8421-4641"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Arnab Das","raw_affiliation_strings":["University of Utah, Salt Lake City, UT"],"raw_orcid":"https://orcid.org/0000-0002-8421-4641","affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, UT","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006650430","display_name":"Sriram Krishnamoorthy","orcid":"https://orcid.org/0000-0002-4682-1002"},"institutions":[{"id":"https://openalex.org/I142606810","display_name":"Pacific Northwest National Laboratory","ror":"https://ror.org/05h992307","country_code":"US","type":"facility","lineage":["https://openalex.org/I1325736334","https://openalex.org/I1330989302","https://openalex.org/I142606810","https://openalex.org/I39565521"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sriram Krishnamoorthy","raw_affiliation_strings":["Pacific Northwest National Laboratory, Richland, WA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pacific Northwest National Laboratory, Richland, WA","institution_ids":["https://openalex.org/I142606810"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011013917","display_name":"Ian Briggs","orcid":"https://orcid.org/0000-0003-2454-2317"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ian Briggs","raw_affiliation_strings":["University of Utah, Salt Lake City, UT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, UT","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069846379","display_name":"Ganesh Gopalakrishnan","orcid":"https://orcid.org/0000-0002-3705-0031"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ganesh Gopalakrishnan","raw_affiliation_strings":["University of Utah, Salt Lake City, UT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, UT","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071744829","display_name":"Ramakrishna Tipireddy","orcid":"https://orcid.org/0000-0003-2196-2164"},"institutions":[{"id":"https://openalex.org/I142606810","display_name":"Pacific Northwest National Laboratory","ror":"https://ror.org/05h992307","country_code":"US","type":"facility","lineage":["https://openalex.org/I1325736334","https://openalex.org/I1330989302","https://openalex.org/I142606810","https://openalex.org/I39565521"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ramakrishna Tipireddy","raw_affiliation_strings":["Pacific Northwest National Laboratory, Richland, WA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pacific Northwest National Laboratory, Richland, WA","institution_ids":["https://openalex.org/I142606810"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101411436"],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":0.312,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.57355467,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"17","issue":"3","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9993000030517578,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/stencil","display_name":"Stencil","score":0.9108084440231323},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8007954359054565},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.7008473873138428},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.6777864694595337},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6738027334213257},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5818403363227844},{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.5817980766296387},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5375409126281738},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4266773462295532},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.35740235447883606},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.33208003640174866},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.21930500864982605},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12846824526786804},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1161203384399414}],"concepts":[{"id":"https://openalex.org/C76752949","wikidata":"https://www.wikidata.org/wiki/Q7607499","display_name":"Stencil","level":2,"score":0.9108084440231323},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8007954359054565},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.7008473873138428},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.6777864694595337},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6738027334213257},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5818403363227844},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.5817980766296387},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5375409126281738},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4266773462295532},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35740235447883606},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.33208003640174866},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.21930500864982605},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12846824526786804},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1161203384399414},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3402451","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3402451","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3402451","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},{"id":"pmh:oai:osti.gov:1673584","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/1673584","pdf_url":null,"source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1145/3402451","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3402451","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3402451","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5600000023841858,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1159014390","display_name":null,"funder_award_id":"1704715","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1899721271","display_name":null,"funder_award_id":"AC05-76RL01830","funder_id":"https://openalex.org/F4320306250","funder_display_name":"Battelle"},{"id":"https://openalex.org/G1967746503","display_name":null,"funder_award_id":"DE-AC05-76RL01830","funder_id":"https://openalex.org/F4320338354","funder_display_name":"Pacific Northwest National Laboratory"},{"id":"https://openalex.org/G2506945562","display_name":null,"funder_award_id":"76RL01830","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G2510423872","display_name":null,"funder_award_id":"AC05-76RL01830","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G2865512842","display_name":null,"funder_award_id":"DE-AC05-76RL01830","funder_id":"https://openalex.org/F4320337506","funder_display_name":"Advanced Scientific Computing Research"},{"id":"https://openalex.org/G3289159562","display_name":null,"funder_award_id":"No. DE-AC05-76RL01830","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G389587649","display_name":"SHF: Small: Indy: Toward Safe and Fast Compiler Flags","funder_award_id":"1817073","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4089265958","display_name":"FMiTF: Track II: Rigorous and Versatile Float-Point Precision Analysis and Tuning","funder_award_id":"1918497","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5200347334","display_name":null,"funder_award_id":"DE-AC05-76RL01830","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G5321382714","display_name":null,"funder_award_id":"76RL01830","funder_id":"https://openalex.org/F4320338354","funder_display_name":"Pacific Northwest National Laboratory"},{"id":"https://openalex.org/G5726405315","display_name":null,"funder_award_id":"DE-AC05","funder_id":"https://openalex.org/F4320306250","funder_display_name":"Battelle"},{"id":"https://openalex.org/G6664334341","display_name":null,"funder_award_id":"DE-AC05-76RL01830","funder_id":"https://openalex.org/F4320306250","funder_display_name":"Battelle"},{"id":"https://openalex.org/G7125981805","display_name":null,"funder_award_id":"DE-AC05-76RL01830","funder_id":"https://openalex.org/F4320332359","funder_display_name":"Office of Science"},{"id":"https://openalex.org/G7200503492","display_name":null,"funder_award_id":"DE-AC05-76RL01830","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7560550554","display_name":null,"funder_award_id":"76RL01830","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7995982022","display_name":null,"funder_award_id":"DE-AC05","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/F4320306250","display_name":"Battelle","ror":"https://ror.org/01h5tnr73"},{"id":"https://openalex.org/F4320332359","display_name":"Office of Science","ror":"https://ror.org/00mmn6b08"},{"id":"https://openalex.org/F4320337506","display_name":"Advanced Scientific Computing Research","ror":"https://ror.org/0012c7r22"},{"id":"https://openalex.org/F4320338354","display_name":"Pacific Northwest National Laboratory","ror":"https://ror.org/05h992307"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3077206599.pdf","grobid_xml":"https://content.openalex.org/works/W3077206599.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W210983291","https://openalex.org/W1966243865","https://openalex.org/W1972865626","https://openalex.org/W1982985563","https://openalex.org/W1995746640","https://openalex.org/W1997645449","https://openalex.org/W2005319504","https://openalex.org/W2020804487","https://openalex.org/W2035448730","https://openalex.org/W2046877387","https://openalex.org/W2083613288","https://openalex.org/W2087031469","https://openalex.org/W2103953062","https://openalex.org/W2107863479","https://openalex.org/W2131798279","https://openalex.org/W2147500333","https://openalex.org/W2150118230","https://openalex.org/W2152652532","https://openalex.org/W2169004268","https://openalex.org/W2204310803","https://openalex.org/W2207050309","https://openalex.org/W2227234579","https://openalex.org/W2299696796","https://openalex.org/W2336044659","https://openalex.org/W2343351966","https://openalex.org/W2418331349","https://openalex.org/W2479757519","https://openalex.org/W2566629575","https://openalex.org/W2580243656","https://openalex.org/W2747220212","https://openalex.org/W2754509885","https://openalex.org/W2758423835","https://openalex.org/W2759877897","https://openalex.org/W2884447601","https://openalex.org/W2887397219","https://openalex.org/W2904117297","https://openalex.org/W2912012512","https://openalex.org/W3016055042","https://openalex.org/W3101575975","https://openalex.org/W4229822017","https://openalex.org/W4249693612","https://openalex.org/W4298267719","https://openalex.org/W6646916258"],"related_works":["https://openalex.org/W3105129168","https://openalex.org/W2804920739","https://openalex.org/W4316371992","https://openalex.org/W2186216222","https://openalex.org/W2392765154","https://openalex.org/W2564509292","https://openalex.org/W2008005532","https://openalex.org/W1971603802","https://openalex.org/W1795008753","https://openalex.org/W2336044659"],"abstract_inverted_index":{"We":[0,22],"present":[1],"FPD":[2,64,78],"etect":[3,65,79],",":[4],"a":[5],"low-overhead":[6],"approach":[7],"for":[8,71],"detecting":[9],"logical":[10],"errors":[11,14],"and":[12,76,93],"soft":[13],"affecting":[15],"stencil":[16,37],"computations":[17],"without":[18],"generating":[19],"false":[20],"positives.":[21],"develop":[23],"an":[24],"offline":[25],"analysis":[26],"that":[27],"tightly":[28],"estimates":[29],"the":[30,43,47,51,98],"number":[31],"of":[32,50,54,74,100],"floating-point":[33],"bits":[34],"preserved":[35],"across":[36],"applications.":[38],"This":[39],"estimate":[40],"rigorously":[41],"bounds":[42],"values":[44],"expected":[45],"in":[46,91],"data":[48],"space":[49,92],"computation.":[52],"Violations":[53],"this":[55],"bound":[56],"can":[57],"be":[58],"attributed":[59],"with":[60],"certainty":[61],"to":[62],"errors.":[63],"helps":[66],"synthesize":[67],"error":[68],"detectors":[69,89],"customized":[70],"user-specified":[72],"levels":[73],"accuracy":[75],"coverage.":[77],"also":[80],"enables":[81],"overhead":[82],"reduction":[83],"techniques":[84],"based":[85],"on":[86],"deploying":[87],"these":[88],"coarsely":[90],"time.":[94],"Experimental":[95],"evaluations":[96],"demonstrate":[97],"practicality":[99],"our":[101],"approach.":[102]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2020-08-24T00:00:00"}