乐胖代购免代理版

{"id":"https://openalex.org/W2945870702","doi":"https://doi.org/10.1145/3316781.3317799","title":"DHOOM","display_name":"DHOOM","publication_year":2019,"publication_date":"2019-05-23","ids":{"openalex":"https://openalex.org/W2945870702","doi":"https://doi.org/10.1145/3316781.3317799","mag":"2945870702"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3316781.3317799","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5028482465","display_name":"Neetu Jindal","orcid":"https://orcid.org/0000-0001-8398-476X"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Neetu Jindal","raw_affiliation_strings":["IIT Delhi"],"affiliations":[{"raw_affiliation_string":"IIT Delhi","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029123373","display_name":"Sandeep Chandran","orcid":"https://orcid.org/0000-0001-7110-5668"},"institutions":[{"id":"https://openalex.org/I4210113248","display_name":"Indian Institute of Technology Palakkad","ror":"https://ror.org/0264cg909","country_code":"IN","type":"facility","lineage":["https://openalex.org/I4210113248"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sandeep Chandran","raw_affiliation_strings":["IIT Palakkad"],"affiliations":[{"raw_affiliation_string":"IIT Palakkad","institution_ids":["https://openalex.org/I4210113248"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027215692","display_name":"Preeti Ranjan Panda","orcid":"https://orcid.org/0000-0002-2508-7531"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Preeti Ranjan Panda","raw_affiliation_strings":["IIT Delhi"],"affiliations":[{"raw_affiliation_string":"IIT Delhi","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101840190","display_name":"Sanjiva Prasad","orcid":"https://orcid.org/0000-0001-5887-1237"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sanjiva Prasad","raw_affiliation_strings":["IIT Delhi"],"affiliations":[{"raw_affiliation_string":"IIT Delhi","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087030607","display_name":"Abhay Mitra","orcid":null},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Abhay Mitra","raw_affiliation_strings":["IIT Delhi"],"affiliations":[{"raw_affiliation_string":"IIT Delhi","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007004660","display_name":"Kunal Singhal","orcid":"https://orcid.org/0000-0001-8991-7357"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Kunal Singhal","raw_affiliation_strings":["IIT Delhi"],"affiliations":[{"raw_affiliation_string":"IIT Delhi","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044311646","display_name":"Shubham Gupta","orcid":"https://orcid.org/0000-0002-4710-3686"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Shubham Gupta","raw_affiliation_strings":["IIT Delhi"],"affiliations":[{"raw_affiliation_string":"IIT Delhi","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011008635","display_name":"Shikhar Tuli","orcid":"https://orcid.org/0000-0002-9230-5877"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Shikhar Tuli","raw_affiliation_strings":["IIT Delhi"],"affiliations":[{"raw_affiliation_string":"IIT Delhi","institution_ids":["https://openalex.org/I68891433"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.492,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":8,"citation_normalized_percentile":{"value":0.842408,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":84,"max":85},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Language-based Information Flow Security","score":0.9997,"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":"Language-based Information Flow Security","score":0.9997,"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/T11005","display_name":"Fault Tolerance in Electronic Systems","score":0.9995,"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/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9994,"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/runtime-verification","display_name":"Runtime Verification","score":0.636255},{"id":"https://openalex.org/keywords/software-diversity","display_name":"Software Diversity","score":0.525357},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model Checking","score":0.516334},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.5127071},{"id":"https://openalex.org/keywords/error-detection","display_name":"Error Detection","score":0.510887}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.816996},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6849419},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6224721},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.59595674},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5632973},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5191859},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.5127071},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.48116884},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3340593},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32046857},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.26130885},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.25043988},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1599415},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3316781.3317799","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.52}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":19,"referenced_works":["https://openalex.org/W1976401811","https://openalex.org/W1980360906","https://openalex.org/W2019381311","https://openalex.org/W2097306889","https://openalex.org/W2108274189","https://openalex.org/W2120126802","https://openalex.org/W2151607777","https://openalex.org/W2153543246","https://openalex.org/W2154014790","https://openalex.org/W2165099691","https://openalex.org/W2166915430","https://openalex.org/W2182828685","https://openalex.org/W2403062295","https://openalex.org/W2464018720","https://openalex.org/W2590124858","https://openalex.org/W2613999959","https://openalex.org/W2767243782","https://openalex.org/W2800714639","https://openalex.org/W4255793837"],"related_works":["https://openalex.org/W4295166216","https://openalex.org/W4293645884","https://openalex.org/W4230849338","https://openalex.org/W313395762","https://openalex.org/W2898636368","https://openalex.org/W2382023983","https://openalex.org/W2242847901","https://openalex.org/W2177044681","https://openalex.org/W17155033","https://openalex.org/W1498103021"],"abstract_inverted_index":{"Runtime":[0],"verification":[1,139],"employs":[2],"dedicated":[3],"hardware":[4,33,73],"or":[5,34],"software":[6],"monitors":[7,18,106],"to":[8,77,89,142],"check":[9],"whether":[10,28],"program":[11,49],"properties":[12],"hold":[13],"at":[14],"runtime.":[15],"However,":[16],"these":[17],"often":[19],"incur":[20],"high":[21],"area":[22,92,131],"and":[23],"performance":[24,81,135],"overheads":[25],"depending":[26],"on":[27],"they":[29],"are":[30],"implemented":[31],"in":[32,111,121],"software.":[35,122],"In":[36],"this":[37],"work,":[38],"we":[39],"propose":[40],"DHOOM,":[41],"an":[42,96,101],"architectural":[43],"framework":[44],"for":[45,98],"runtime":[46,84,138],"monitoring":[47],"of":[48,55,72,83,104,137,149],"assertions,":[50],"which":[51],"exploits":[52],"the":[53,65,79,112,118,134],"combination":[54,71],"a":[56,61,90,147],"reconfigurable":[57],"fabric":[58],"present":[59,95],"alongside":[60],"processor":[62],"core":[63],"with":[64,146],"vestigial":[66],"on-chip":[67],"Design-for-Debug":[68],"hardware.":[69],"This":[70],"features":[74],"allows":[75],"DHOOM":[76],"minimize":[78],"overall":[80],"overhead":[82,136],"verification,":[85],"even":[86],"when":[87,144],"subject":[88],"given":[91],"constraint.":[93],"We":[94,123],"algorithm":[97],"dynamically":[99],"selecting":[100],"effective":[102],"subset":[103],"assertion":[105],"that":[107,125],"can":[108],"be":[109],"accommodated":[110],"available":[113],"programmable":[114],"fabric,":[115],"while":[116,129],"instrumenting":[117],"remaining":[119],"assertions":[120],"show":[124],"our":[126],"proposed":[127],"strategy,":[128],"respecting":[130],"constraints,":[132],"reduces":[133],"by":[140],"up":[141],"32%":[143],"compared":[145],"baseline":[148],"software-only":[150],"monitors.":[151]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2945870702","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2024-11-18T06:45:40.316750","created_date":"2019-05-29"}