{"id":"https://openalex.org/W3140543042","doi":"https://doi.org/10.1109/date.2009.5090747","title":"Architectural support for low overhead detection of memory violations","display_name":"Architectural support for low overhead detection of memory violations","publication_year":2009,"publication_date":"2009-04-01","ids":{"openalex":"https://openalex.org/W3140543042","doi":"https://doi.org/10.1109/date.2009.5090747","mag":"3140543042"},"language":"en","primary_location":{"id":"doi:10.1109/date.2009.5090747","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2009.5090747","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 Design, Automation & Test in Europe Conference & Exhibition","raw_type":"proceedings-article"},"type":"conference-paper","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/A5036666743","display_name":"Saugata Ghose","orcid":"https://orcid.org/0000-0002-9138-0613"},"institutions":[{"id":"https://openalex.org/I123946342","display_name":"Binghamton University","ror":"https://ror.org/008rmbt77","country_code":"US","type":"education","lineage":["https://openalex.org/I123946342"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Ghose","raw_affiliation_strings":["State University of New York, Binghamton, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State University of New York, Binghamton, NY, USA","institution_ids":["https://openalex.org/I123946342"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045858815","display_name":"Latoya Gilgeous","orcid":null},"institutions":[{"id":"https://openalex.org/I123946342","display_name":"Binghamton University","ror":"https://ror.org/008rmbt77","country_code":"US","type":"education","lineage":["https://openalex.org/I123946342"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L. Gilgeous","raw_affiliation_strings":["State University of New York, Binghamton, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State University of New York, Binghamton, NY, USA","institution_ids":["https://openalex.org/I123946342"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016034826","display_name":"Polina Dudnik","orcid":null},"institutions":[{"id":"https://openalex.org/I123946342","display_name":"Binghamton University","ror":"https://ror.org/008rmbt77","country_code":"US","type":"education","lineage":["https://openalex.org/I123946342"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Dudnik","raw_affiliation_strings":["State University of New York, Binghamton, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State University of New York, Binghamton, NY, USA","institution_ids":["https://openalex.org/I123946342"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032279752","display_name":"Aneesh Aggarwal","orcid":"https://orcid.org/0000-0002-2493-1956"},"institutions":[{"id":"https://openalex.org/I123946342","display_name":"Binghamton University","ror":"https://ror.org/008rmbt77","country_code":"US","type":"education","lineage":["https://openalex.org/I123946342"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Aggarwal","raw_affiliation_strings":["State University of New York, Binghamton, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State University of New York, Binghamton, NY, USA","institution_ids":["https://openalex.org/I123946342"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036629974","display_name":"Corey Waxman","orcid":null},"institutions":[{"id":"https://openalex.org/I123946342","display_name":"Binghamton University","ror":"https://ror.org/008rmbt77","country_code":"US","type":"education","lineage":["https://openalex.org/I123946342"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C. Waxman","raw_affiliation_strings":["State University of New York, Binghamton, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State University of New York, Binghamton, NY, USA","institution_ids":["https://openalex.org/I123946342"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I123946342"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"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/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987000226974487,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9973000288009644,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8354418277740479},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.749305248260498},{"id":"https://openalex.org/keywords/microarchitecture","display_name":"Microarchitecture","score":0.6404950618743896},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.6365715265274048},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.570223331451416},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5428637266159058},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5100863575935364},{"id":"https://openalex.org/keywords/memory-protection","display_name":"Memory protection","score":0.5055098533630371},{"id":"https://openalex.org/keywords/memory-errors","display_name":"Memory errors","score":0.477077841758728},{"id":"https://openalex.org/keywords/spec#","display_name":"Spec#","score":0.42020130157470703},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.41159144043922424},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.39274343848228455},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.3534393310546875},{"id":"https://openalex.org/keywords/overlay","display_name":"Overlay","score":0.15679749846458435},{"id":"https://openalex.org/keywords/uniform-memory-access","display_name":"Uniform memory access","score":0.1326429545879364},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10536441206932068},{"id":"https://openalex.org/keywords/recall","display_name":"Recall","score":0.08344173431396484}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8354418277740479},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.749305248260498},{"id":"https://openalex.org/C107598950","wikidata":"https://www.wikidata.org/wiki/Q259864","display_name":"Microarchitecture","level":2,"score":0.6404950618743896},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.6365715265274048},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.570223331451416},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5428637266159058},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5100863575935364},{"id":"https://openalex.org/C18131444","wikidata":"https://www.wikidata.org/wiki/Q163585","display_name":"Memory protection","level":5,"score":0.5055098533630371},{"id":"https://openalex.org/C119907115","wikidata":"https://www.wikidata.org/wiki/Q6815725","display_name":"Memory errors","level":3,"score":0.477077841758728},{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.42020130157470703},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.41159144043922424},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.39274343848228455},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.3534393310546875},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.15679749846458435},{"id":"https://openalex.org/C51290061","wikidata":"https://www.wikidata.org/wiki/Q1936765","display_name":"Uniform memory access","level":4,"score":0.1326429545879364},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10536441206932068},{"id":"https://openalex.org/C100660578","wikidata":"https://www.wikidata.org/wiki/Q18733","display_name":"Recall","level":2,"score":0.08344173431396484},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/date.2009.5090747","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2009.5090747","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 Design, Automation & Test in Europe Conference & Exhibition","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.47999998927116394,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1499241274","https://openalex.org/W1499992849","https://openalex.org/W1535713556","https://openalex.org/W1539430313","https://openalex.org/W1556616930","https://openalex.org/W1655226010","https://openalex.org/W1973326708","https://openalex.org/W2079289292","https://openalex.org/W2096267728","https://openalex.org/W2103919170","https://openalex.org/W2119029078","https://openalex.org/W2121218648","https://openalex.org/W2130711572","https://openalex.org/W2132461047","https://openalex.org/W2141365240","https://openalex.org/W2160668141","https://openalex.org/W2164926445","https://openalex.org/W4234020632","https://openalex.org/W4242009960","https://openalex.org/W6629716660","https://openalex.org/W6629885503","https://openalex.org/W6632050797","https://openalex.org/W6632220093","https://openalex.org/W6636991409","https://openalex.org/W6638583435","https://openalex.org/W6674288191","https://openalex.org/W6679777845"],"related_works":["https://openalex.org/W2603630878","https://openalex.org/W2981711724","https://openalex.org/W2197267935","https://openalex.org/W3094581855","https://openalex.org/W4315631944","https://openalex.org/W2128891167","https://openalex.org/W2780727410","https://openalex.org/W3140543042","https://openalex.org/W2901854230","https://openalex.org/W2965270941"],"abstract_inverted_index":{"Violations":[0],"in":[1,47,115],"memory":[2,24,44],"references":[3],"cause":[4],"tremendous":[5],"loss":[6,12],"of":[7,13,96],"productivity,":[8],"catastrophic":[9],"mission":[10],"failures,":[11],"privacy":[14],"and":[15,17,30,54,73,93,112],"security,":[16],"much":[18],"more.":[19],"Software":[20],"mechanisms":[21],"to":[22,42,63,79,99],"detect":[23,43],"violations":[25,46],"have":[26],"high":[27],"false":[28],"positive":[29],"negative":[31],"rates":[32],"or":[33],"huge":[34],"performance":[35,102,123],"overhead.":[36,103],"This":[37],"paper":[38],"proposes":[39],"architectural":[40],"support":[41],"reference":[45],"inherently":[48],"unsafe":[49],"languages":[50],"such":[51,88],"as":[52,89],"C":[53],"C++.":[55],"In":[56],"this":[57,116],"approach,":[58],"the":[59,82,101,108,134],"ISA":[60],"is":[61,77],"extended":[62,78],"include":[64],"ldquosafetyrdquo":[65],"instructions":[66],"that":[67,107],"provide":[68],"compile-time":[69],"information":[70],"on":[71],"pointers":[72],"objects.":[74],"The":[75],"microarchitecture":[76],"efficiently":[80],"execute":[81],"safety":[83],"instructions.":[84],"We":[85],"explore":[86],"optimizations,":[87],"delayed":[90],"violation":[91],"detection":[92],"stack-based":[94],"handling":[95],"local":[97],"pointers,":[98],"reduce":[100],"Our":[104],"experiments":[105],"show":[106],"synergy":[109],"between":[110],"hardware":[111],"software":[113,128],"results":[114],"approach":[117],"having":[118],"less":[119],"than":[120],"5%":[121],"average":[122],"overhead,":[124],"while":[125],"an":[126],"exclusively":[127],"mechanism":[129],"incurs":[130],"480%":[131],"impact":[132],"for":[133],"same":[135],"benchmarks.":[136]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}