{"id":"https://openalex.org/W2110792065","doi":"https://doi.org/10.1109/micro.2008.4771784","title":"Testudo: Heavyweight security analysis via statistical sampling","display_name":"Testudo: Heavyweight security analysis via statistical sampling","publication_year":2008,"publication_date":"2008-11-01","ids":{"openalex":"https://openalex.org/W2110792065","doi":"https://doi.org/10.1109/micro.2008.4771784","mag":"2110792065"},"language":"en","primary_location":{"id":"doi:10.1109/micro.2008.4771784","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2008.4771784","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 41st IEEE/ACM International Symposium on Microarchitecture","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/A5034110574","display_name":"Joseph L. Greathouse","orcid":"https://orcid.org/0000-0003-0181-5511"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joseph L. Greathouse","raw_affiliation_strings":["Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035843813","display_name":"Ilya Wagner","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ilya Wagner","raw_affiliation_strings":["Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088267090","display_name":"David A. Ramos","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David A. Ramos","raw_affiliation_strings":["Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021987387","display_name":"Gautam Bhatnagar","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gautam Bhatnagar","raw_affiliation_strings":["Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113456715","display_name":"Todd Austin","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Todd Austin","raw_affiliation_strings":["Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030335506","display_name":"Valeria Bertacco","orcid":"https://orcid.org/0000-0002-0319-3368"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Valeria Bertacco","raw_affiliation_strings":["Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076564426","display_name":"Seth Pettie","orcid":"https://orcid.org/0000-0002-0495-3904"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Seth Pettie","raw_affiliation_strings":["Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Advanced Computer Architecture Lab, University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":1.1756,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.84806997,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"3 a","issue":null,"first_page":"117","last_page":"128"},"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.9998999834060669,"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.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9962999820709229,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.7958827018737793},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5685547590255737},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.5576909780502319},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.5429056286811829},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5324614644050598},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5131710171699524},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42819324135780334},{"id":"https://openalex.org/keywords/population","display_name":"Population","score":0.4108414649963379},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.37061482667922974},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34373360872268677}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7958827018737793},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5685547590255737},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.5576909780502319},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.5429056286811829},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5324614644050598},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5131710171699524},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42819324135780334},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.4108414649963379},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.37061482667922974},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34373360872268677},{"id":"https://openalex.org/C149923435","wikidata":"https://www.wikidata.org/wiki/Q37732","display_name":"Demography","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/micro.2008.4771784","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2008.4771784","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 41st IEEE/ACM International Symposium on Microarchitecture","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.143.6515","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.6515","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.eecs.umich.edu/~taustin/papers/MICRO41-Testudo-final.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1502691374","https://openalex.org/W1565952674","https://openalex.org/W1582331515","https://openalex.org/W1595368737","https://openalex.org/W2006419855","https://openalex.org/W2031235329","https://openalex.org/W2038053930","https://openalex.org/W2080780071","https://openalex.org/W2098683983","https://openalex.org/W2100666033","https://openalex.org/W2102674270","https://openalex.org/W2102970979","https://openalex.org/W2103919170","https://openalex.org/W2112262250","https://openalex.org/W2120635877","https://openalex.org/W2128769765","https://openalex.org/W2129482816","https://openalex.org/W2132461047","https://openalex.org/W2144789413","https://openalex.org/W2155479707","https://openalex.org/W2156858199","https://openalex.org/W2162376048","https://openalex.org/W2168264487","https://openalex.org/W2242837385","https://openalex.org/W4233319527","https://openalex.org/W4245569013","https://openalex.org/W4254296432","https://openalex.org/W6674934125","https://openalex.org/W6675416627"],"related_works":["https://openalex.org/W2293118914","https://openalex.org/W2998381397","https://openalex.org/W4236419692","https://openalex.org/W3167919718","https://openalex.org/W4251718783","https://openalex.org/W2171015181","https://openalex.org/W4239447582","https://openalex.org/W1484403103","https://openalex.org/W2132173263","https://openalex.org/W2081416538"],"abstract_inverted_index":{"Heavyweight":[0],"security":[1,18,85,109,270],"analysis":[2,7,86,110,175,180,212,271],"systems,":[3],"such":[4],"as":[5,89],"taint":[6],"and":[8,20,33,59,71,79,168],"dynamic":[9,122],"type":[10],"checking,":[11],"are":[12],"powerful":[13],"technologies":[14],"used":[15],"to":[16,76,93,107,129,142,164,173,189,231,256,265],"detect":[17],"vulnerabilities":[19],"software":[21,24],"bugs.":[22],"Traditional":[23],"implementations":[25],"of":[26,67,83,90,117,148,187,198,223,251,269],"these":[27,41,52,77],"systems":[28,70],"have":[29,47],"high":[30,179,210],"instrumentation":[31],"overhead":[32,58,128],"suffer":[34],"from":[35],"significant":[36],"performance":[37,216],"impacts.":[38],"To":[39,177],"mitigate":[40],"slowdowns,":[42],"a":[43,55,103,118,130,138,160,185,194,220,266],"few":[44,139],"hardware-assisted":[45],"techniques":[46,234],"been":[48],"recently":[49],"proposed.":[50],"However,":[51],"solutions":[53,87],"incur":[54],"large":[56,261],"memory":[57,69,127],"require":[60],"hardware":[61,105,156,249],"platform":[62],"support":[63],"in":[64],"the":[65,81,94,126,149,165,170,191,247],"form":[66],"tagged":[68,140],"extended":[72],"bus":[73],"designs.":[74],"Due":[75],"costs":[78],"limitations,":[80],"deployment":[82],"heavyweight":[84,108,232],"is,":[88],"today,":[91],"limited":[92],"research":[95],"lab.":[96],"In":[97,225],"this":[98],"paper,":[99],"we":[100,182,207],"describe":[101],"Testudo,":[102],"novel":[104],"approach":[106,228],"that":[111,206],"is":[112],"based":[113],"on":[114,184],"statistical":[115],"sampling":[116,136,193],"programpsilas":[119],"dataflow.":[120],"Our":[121,151],"distributed":[123,259],"debugging":[124,233],"reduces":[125],"small":[131,155,161],"storage":[132],"space":[133],"by":[134,235],"selectively":[135],"only":[137,154],"variables":[141,199],"analyze":[143],"during":[144,200],"any":[145],"particular":[146],"execution":[147],"program.":[150],"system":[152],"requires":[153],"modifications:":[157],"it":[158,255],"adds":[159],"sample":[162],"cache":[163],"main":[166],"processor":[167],"extends":[169],"pipeline":[171],"registers":[172],"propagate":[174],"tags.":[176],"gain":[178],"coverage,":[181],"rely":[183],"population":[186,222],"users":[188],"run":[190],"program,":[192],"different":[195],"random":[196],"set":[197],"each":[201],"new":[202],"run.":[203],"We":[204],"show":[205],"can":[208],"achieve":[209],"coverage":[211,272],"at":[213],"virtually":[214],"no":[215],"impact,":[217],"even":[218,229],"with":[219],"reasonably-sized":[221],"users.":[224],"addition,":[226],"our":[227,252],"scales":[230],"keeping":[236],"per-user":[237],"runtime":[238],"overheads":[239],"low":[240,248],"despite":[241],"performing":[242],"traditionally":[243],"costly":[244],"analyses.":[245],"Moreover,":[246],"cost":[250],"implementation":[253],"allows":[254],"be":[257],"easily":[258],"across":[260],"user":[262],"populations,":[263],"leading":[264],"higher":[267],"level":[268],"than":[273],"previously.":[274]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}