{"id":"https://openalex.org/W3037859627","doi":"https://doi.org/10.1145/3369583.3392673","title":"Spying on the Floating Point Behavior of Existing, Unmodified Scientific Applications","display_name":"Spying on the Floating Point Behavior of Existing, Unmodified Scientific Applications","publication_year":2020,"publication_date":"2020-06-22","ids":{"openalex":"https://openalex.org/W3037859627","doi":"https://doi.org/10.1145/3369583.3392673","mag":"3037859627"},"language":"en","primary_location":{"id":"doi:10.1145/3369583.3392673","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3369583.3392673","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th International Symposium on High-Performance Parallel and Distributed Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077304920","display_name":"Peter A. Dinda","orcid":"https://orcid.org/0000-0001-5315-5987"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter Dinda","raw_affiliation_strings":["Northwestern University, Evanston, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, IL, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041910009","display_name":"A. P. Bernat","orcid":"https://orcid.org/0000-0002-5955-9015"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alex Bernat","raw_affiliation_strings":["Northwestern University, Evanston, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, IL, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043297864","display_name":"Conor Hetland","orcid":null},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Conor Hetland","raw_affiliation_strings":["Northwestern University, Evanston, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, IL, USA","institution_ids":["https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I111979921"],"apc_list":null,"apc_paid":null,"fwci":2.3604,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.88604029,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"5","last_page":"16"},"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.9995999932289124,"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.9995999932289124,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9969000220298767,"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.8239638805389404},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.696919858455658},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5938531160354614},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5864319801330566},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5786044597625732},{"id":"https://openalex.org/keywords/parsec","display_name":"Parsec","score":0.49916744232177734},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47660937905311584},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4605289101600647},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.42921626567840576},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.40207844972610474},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3716634511947632},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3276025652885437},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.17978155612945557},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15445753931999207}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8239638805389404},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.696919858455658},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5938531160354614},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5864319801330566},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5786044597625732},{"id":"https://openalex.org/C44060867","wikidata":"https://www.wikidata.org/wiki/Q12129","display_name":"Parsec","level":3,"score":0.49916744232177734},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47660937905311584},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4605289101600647},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.42921626567840576},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40207844972610474},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3716634511947632},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3276025652885437},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.17978155612945557},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15445753931999207},{"id":"https://openalex.org/C150846664","wikidata":"https://www.wikidata.org/wiki/Q7602306","display_name":"Stars","level":2,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3369583.3392673","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3369583.3392673","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th International Symposium on High-Performance Parallel and Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W35708471","https://openalex.org/W57462620","https://openalex.org/W1031578623","https://openalex.org/W1510263988","https://openalex.org/W1525132831","https://openalex.org/W1969213662","https://openalex.org/W1986969990","https://openalex.org/W1987822482","https://openalex.org/W1993266153","https://openalex.org/W1999858616","https://openalex.org/W2008626182","https://openalex.org/W2019465613","https://openalex.org/W2021344963","https://openalex.org/W2021893249","https://openalex.org/W2031934506","https://openalex.org/W2061091230","https://openalex.org/W2067673417","https://openalex.org/W2070232376","https://openalex.org/W2070676355","https://openalex.org/W2078794610","https://openalex.org/W2081368694","https://openalex.org/W2095954861","https://openalex.org/W2102852529","https://openalex.org/W2112121929","https://openalex.org/W2134633067","https://openalex.org/W2156858199","https://openalex.org/W2204310803","https://openalex.org/W2207050309","https://openalex.org/W2503235041","https://openalex.org/W2560471521","https://openalex.org/W2569758175","https://openalex.org/W2774309575","https://openalex.org/W2783425555","https://openalex.org/W2798954527","https://openalex.org/W2806644482","https://openalex.org/W2886981100","https://openalex.org/W2915783575","https://openalex.org/W2963238344","https://openalex.org/W3000238554","https://openalex.org/W3004086051","https://openalex.org/W3009233884","https://openalex.org/W3016205154","https://openalex.org/W3099333333","https://openalex.org/W4239813889","https://openalex.org/W6606521517","https://openalex.org/W6675354200"],"related_works":["https://openalex.org/W2152436418","https://openalex.org/W2038229768","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W2169875292","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W4252501555","https://openalex.org/W2003848320","https://openalex.org/W2772436979"],"abstract_inverted_index":{"Scientific":[0],"(and":[1],"other)":[2],"applications":[3,26,290],"are":[4,189,228],"critically":[5],"dependent":[6],"on":[7,104],"calculations":[8],"done":[9],"using":[10,108,212],"IEEE":[11,32],"floating":[12,61,283],"point":[13,62,203,284],"arithmetic.":[14],"A":[15],"number":[16],"of":[17,42,133,146,153,164,223,226,251,258,276,295,307],"concerns":[18],"have":[19,87],"been":[20],"raised":[21],"about":[22,247],"correctness":[23],"in":[24,82,229,254,287,300],"such":[25],"given":[27],"the":[28,31,40,46,122,140,154,157,165,194,198,201,230,237,289,292,296,305],"numerous":[29],"gotchas":[30],"standard":[33,52],"presents":[34],"for":[35,59,274],"developers,":[36],"as":[37,39,64,131,234,236],"well":[38,235],"complexity":[41],"its":[43,54],"implementation":[44],"at":[45],"hardware":[47,168],"and":[48,53,72,110,126,143,184,193,239,260,265,291],"compiler":[49],"levels.":[50],"The":[51,278],"implementations":[55],"do":[56],"provide":[57],"mechanisms":[58],"analyzing":[60],"arithmetic":[63],"it":[65,68,213],"executes,":[66],"making":[67],"possible":[69],"to":[70,161,190,214,270,310],"find":[71],"track":[73],"problematic":[74,282],"operations.":[75],"However,":[76],"this":[77,94],"capability":[78,95],"is":[79],"seldom":[80],"used":[81],"practice.":[83],"In":[84],"response,":[85],"we":[86],"developed":[88],"FPSpy,":[89],"a":[90,134,180,221,255],"tool":[91],"that":[92,170,281],"provides":[93],"when":[96],"operating":[97],"underneath":[98,314],"existing,":[99,315],"unmodified":[100,316],"x64":[101],"application":[102,116,123,158],"binaries":[103],"Linux,":[105],"including":[106],"those":[107],"thread-":[109],"process-level":[111],"parallelism.":[112],"FPSpy":[113,148,171,210,267],"can":[114,127,176],"observe":[115],"behavior":[117,298],"without":[118],"any":[119,163],"cooperation":[120],"from":[121,220],"or":[124,167],"developer,":[125],"potentially":[128],"be":[129,177,191],"deployed":[130],"part":[132],"job":[135],"launch":[136],"process.":[137],"We":[138,208],"present":[139],"design,":[141],"implementation,":[142],"performance":[144],"evaluation":[145],"FPSpy.":[147],"operates":[149],"conservatively,":[150],"getting":[151],"out":[152],"way":[155],"if":[156],"itself":[159],"begins":[160],"use":[162],"OS":[166],"features":[169],"depends":[172],"on.":[173],"Its":[174],"overhead":[175],"throttled,":[178],"allowing":[179],"tradeoff":[181],"between":[182],"which":[183,227],"how":[185],"many":[186],"unusual":[187],"events":[188,285],"captured,":[192],"slowdown":[195],"incurred":[196],"by":[197,211],"application,":[199],"with":[200],"low":[202],"providing":[204],"virtually":[205],"zero":[206],"slowdown.":[207],"evaluated":[209],"methodically":[215],"study":[216],"seven":[217],"widely-used":[218],"applications/frameworks":[219],"range":[222,257],"domains":[224],"(five":[225],"NSF":[231],"XSEDE":[232],"top-20),":[233],"NAS":[238],"PARSEC":[240],"benchmark":[241],"suites.":[242],"All":[243],"told,":[244],"these":[245],"comprise":[246],"7.5":[248],"million":[249],"lines":[250],"source":[252],"code":[253],"wide":[256],"languages,":[259],"parallelism":[261],"models":[262],"(including":[263],"OpenMP":[264],"MPI).":[266],"was":[268],"able":[269],"produce":[271],"trace":[272],"information":[273],"all":[275],"them.":[277],"traces":[279,302],"show":[280],"occur":[286],"both":[288],"benchmarks.":[293],"Analysis":[294],"rounding":[297],"captured":[299],"our":[301],"also":[303],"suggests":[304],"feasibility":[306],"an":[308],"approach":[309],"adding":[311],"adaptive":[312],"precision":[313],"binaries.":[317]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":2}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}