{"id":"https://openalex.org/W2990621183","doi":"https://doi.org/10.1109/tc.2019.2953846","title":"Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures","display_name":"Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures","publication_year":2019,"publication_date":"2019-11-25","ids":{"openalex":"https://openalex.org/W2990621183","doi":"https://doi.org/10.1109/tc.2019.2953846","mag":"2990621183"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2019.2953846","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2019.2953846","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-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/A5088231786","display_name":"Nicola Bombieri","orcid":"https://orcid.org/0000-0003-3256-5885"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Nicola Bombieri","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053217543","display_name":"Federico Busato","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Federico Busato","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005931685","display_name":"Alessandro Danese","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Danese","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041117548","display_name":"Luca Piccolboni","orcid":"https://orcid.org/0000-0003-0094-4960"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luca Piccolboni","raw_affiliation_strings":["Department of Computer Science, Columbia University, New York, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Columbia University, New York, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025088388","display_name":"Graziano Pravadelli","orcid":"https://orcid.org/0000-0002-7833-1673"},"institutions":[{"id":"https://openalex.org/I4210136015","display_name":"EDALab (Italy)","ror":"https://ror.org/041ad9g51","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210136015"]},{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Graziano Pravadelli","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy","EDALab s.r.l., Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"EDALab s.r.l., Verona, Italy","institution_ids":["https://openalex.org/I4210136015"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5088231786"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":0.9595,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78630978,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"69","issue":"4","first_page":"606","last_page":"620"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9955999851226807,"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.6581697463989258},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.610094428062439},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.4999661445617676},{"id":"https://openalex.org/keywords/general-purpose-computing-on-graphics-processing-units","display_name":"General-purpose computing on graphics processing units","score":0.4534979462623596},{"id":"https://openalex.org/keywords/cuda","display_name":"CUDA","score":0.43280279636383057},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.41317975521087646},{"id":"https://openalex.org/keywords/mangrove","display_name":"Mangrove","score":0.4122636914253235},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31314587593078613},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.2580299377441406},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16199928522109985},{"id":"https://openalex.org/keywords/ecology","display_name":"Ecology","score":0.12840166687965393},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.11605197191238403}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6581697463989258},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.610094428062439},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4999661445617676},{"id":"https://openalex.org/C50630238","wikidata":"https://www.wikidata.org/wiki/Q971505","display_name":"General-purpose computing on graphics processing units","level":3,"score":0.4534979462623596},{"id":"https://openalex.org/C2778119891","wikidata":"https://www.wikidata.org/wiki/Q477690","display_name":"CUDA","level":2,"score":0.43280279636383057},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.41317975521087646},{"id":"https://openalex.org/C68874143","wikidata":"https://www.wikidata.org/wiki/Q19756","display_name":"Mangrove","level":2,"score":0.4122636914253235},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31314587593078613},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.2580299377441406},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16199928522109985},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.12840166687965393},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.11605197191238403},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2019.2953846","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2019.2953846","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1964704819","https://openalex.org/W1972544179","https://openalex.org/W1979345835","https://openalex.org/W1997712902","https://openalex.org/W2011958337","https://openalex.org/W2042751794","https://openalex.org/W2071144673","https://openalex.org/W2105383959","https://openalex.org/W2110908283","https://openalex.org/W2116409384","https://openalex.org/W2123331260","https://openalex.org/W2146641295","https://openalex.org/W2154550022","https://openalex.org/W2156118771","https://openalex.org/W2156844766","https://openalex.org/W2160892751","https://openalex.org/W2221331103","https://openalex.org/W2626078224","https://openalex.org/W4229487081","https://openalex.org/W4248149126","https://openalex.org/W4249914973"],"related_works":["https://openalex.org/W3013976982","https://openalex.org/W2306641587","https://openalex.org/W2982613029","https://openalex.org/W2137218050","https://openalex.org/W3214851784","https://openalex.org/W2080914619","https://openalex.org/W2161462353","https://openalex.org/W1997955449","https://openalex.org/W2622990325","https://openalex.org/W4250047567"],"abstract_inverted_index":{"Likely":[0],"invariants":[1,16,48,80,151],"model":[2],"properties":[3,24],"that":[4,49,59,77],"hold":[5,50],"in":[6,51,63,83],"operating":[7],"conditions":[8],"of":[9,15,37,94,104,120,130,194,210],"a":[10,71,131],"computing":[11],"system.":[12],"Dynamic":[13],"mining":[14,86,102,134,183],"aims":[17],"at":[18,146,207],"extracting":[19],"logic":[20],"formulas":[21,45],"representing":[22],"such":[23],"from":[25,152,172],"the":[26,43,52,66,75,78,100,112,117,153,161,190,192,201,208,211],"system":[27,67],"execution":[28,96,154],"traces,":[29,54],"and":[30,115,181,197,204],"it":[31,175],"is":[32,56],"widely":[33],"used":[34],"for":[35,65,136,179],"verification":[36],"intellectual":[38],"property":[39],"(IP)":[40],"blocks.":[41],"Although":[42],"extracted":[44],"represent":[46],"likely":[47],"considered":[53],"there":[55],"no":[57],"guarantee":[58],"they":[60],"are":[61,81,144],"true":[62,82],"general":[64],"under":[68],"verification.":[69],"As":[70],"consequence,":[72],"to":[73,88,91,111,116,149,158,167],"increase":[74],"probability":[76],"mined":[79],"general,":[84],"dynamic":[85,132],"has":[87],"be":[89],"performed":[90],"large":[92,118],"sets":[93,119],"representative":[95],"traces.":[97],"This":[98,123],"makes":[99],"execution-based":[101],"process":[103],"actual":[105],"IP":[106],"blocks":[107],"very":[108],"time-consuming":[109],"due":[110],"trace":[113],"lengths":[114],"monitored":[121],"signals.":[122],"article":[124,188],"presents":[125,189],"Mangrove,":[126],"an":[127],"efficient":[128,182],"implementation":[129],"invariant":[133,169],"algorithm":[135],"GPU":[137,185],"architectures.":[138,186],"Mangrove":[139,164],"exploits":[140],"inference":[141],"rules,":[142],"which":[143],"applied":[145],"run":[147],"time":[148],"filter":[150],"traces":[155],"and,":[156,171],"thus,":[157],"sensibly":[159],"reduce":[160],"problem":[162],"complexity.":[163],"allows":[165],"users":[166],"define":[168],"templates":[170],"these":[173],"templates,":[174],"automatically":[176],"generates":[177],"kernels":[178],"parallel":[180,205],"on":[184],"The":[187],"tool,":[191],"analysis":[193],"its":[195,198],"performance,":[196],"comparison":[199],"with":[200],"best":[202],"sequential":[203],"implementations":[206],"state":[209],"art.":[212]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}