@article{gorter_floatzone_2023,
	title = {{FloatZone}: {How} {Floating} {Point} {Additions} can {Detect} {Memory} {Errors}},
	url = {https://www.usenix.org/publications/loginonline/floatzone-how-floating-point-additions-can-detect-memory-errors},
	journal = {;login:},
	author = {Gorter, Floris and Barberis, Enrico and Isemann, Raphael and van der Kouwe, Erik and Giuffrida, Cristiano and Bos, Herbert},
	month = nov,
	year = {2023},
	keywords = {class\_sanitizer, proj\_allocamelus, proj\_intersect, proj\_memo, proj\_theseus, proj\_tropics, type\_mag, type\_paper},
}

{"_id":"aymZkAGKPca7t8m9k","bibbaseid":"gorter-barberis-isemann-vanderkouwe-giuffrida-bos-floatzonehowfloatingpointadditionscandetectmemoryerrors-2023","author_short":["Gorter, F.","Barberis, E.","Isemann, R.","van der Kouwe, E.","Giuffrida, C.","Bos, H."],"bibdata":{"bibtype":"article","type":"article","title":"FloatZone: How Floating Point Additions can Detect Memory Errors","url":"https://www.usenix.org/publications/loginonline/floatzone-how-floating-point-additions-can-detect-memory-errors","journal":";login:","author":[{"propositions":[],"lastnames":["Gorter"],"firstnames":["Floris"],"suffixes":[]},{"propositions":[],"lastnames":["Barberis"],"firstnames":["Enrico"],"suffixes":[]},{"propositions":[],"lastnames":["Isemann"],"firstnames":["Raphael"],"suffixes":[]},{"propositions":["van","der"],"lastnames":["Kouwe"],"firstnames":["Erik"],"suffixes":[]},{"propositions":[],"lastnames":["Giuffrida"],"firstnames":["Cristiano"],"suffixes":[]},{"propositions":[],"lastnames":["Bos"],"firstnames":["Herbert"],"suffixes":[]}],"month":"November","year":"2023","keywords":"class_sanitizer, proj_allocamelus, proj_intersect, proj_memo, proj_theseus, proj_tropics, type_mag, type_paper","bibtex":"@article{gorter_floatzone_2023,\n\ttitle = {{FloatZone}: {How} {Floating} {Point} {Additions} can {Detect} {Memory} {Errors}},\n\turl = {https://www.usenix.org/publications/loginonline/floatzone-how-floating-point-additions-can-detect-memory-errors},\n\tjournal = {;login:},\n\tauthor = {Gorter, Floris and Barberis, Enrico and Isemann, Raphael and van der Kouwe, Erik and Giuffrida, Cristiano and Bos, Herbert},\n\tmonth = nov,\n\tyear = {2023},\n\tkeywords = {class\\_sanitizer, proj\\_allocamelus, proj\\_intersect, proj\\_memo, proj\\_theseus, proj\\_tropics, type\\_mag, type\\_paper},\n}\n\n","author_short":["Gorter, F.","Barberis, E.","Isemann, R.","van der Kouwe, E.","Giuffrida, C.","Bos, H."],"key":"gorter_floatzone_2023","id":"gorter_floatzone_2023","bibbaseid":"gorter-barberis-isemann-vanderkouwe-giuffrida-bos-floatzonehowfloatingpointadditionscandetectmemoryerrors-2023","role":"author","urls":{"Paper":"https://www.usenix.org/publications/loginonline/floatzone-how-floating-point-additions-can-detect-memory-errors"},"keyword":["class_sanitizer","proj_allocamelus","proj_intersect","proj_memo","proj_theseus","proj_tropics","type_mag","type_paper"],"metadata":{"authorlinks":{}},"downloads":37},"bibtype":"article","biburl":"https://download.vusec.net/papers/zotero.php?q=Giuffrida&full=&format=bibtex&sort=date","dataSources":["8hbkfk9WWWjcsroig","uFHHx7fmesErCKr9Q","LY5xkJFgS2sBQ9umB","JLGtnQqjNvhKfC2ff","LkcLuv5ivzocAyTSt","7jKWLcMEQyj34TAfx","32KKWtGJu7SSzB64u","8GeQ3zBcj4zMoYBFT","D6rhQnvbR2KMTgMY7","JWcaY4xDbjG3msjWc","EkDQznmWECGiHjLjt","eCpiGao5EnGQ4DAae","hLN7y23EHpXeje6YX","btYqZTmPX4zrDSAMu","hSAiLoReyH5vQZbuo","Mv6ehSigpWNeEseEd","RxMwrZc9fA5syBGDG","iLMsrq6FJma6GoJv6","9zydu8NRG7zLArnkx"],"keywords":["class_sanitizer","proj_allocamelus","proj_intersect","proj_memo","proj_theseus","proj_tropics","type_mag","type_paper"],"search_terms":["floatzone","floating","point","additions","detect","memory","errors","gorter","barberis","isemann","van der kouwe","giuffrida","bos"],"title":"FloatZone: How Floating Point Additions can Detect Memory Errors","year":2023,"downloads":37}