{"id":"https://openalex.org/W2015929257","doi":"https://doi.org/10.1145/1866210.1866213","title":"Detection of Transactional Memory anomalies using static analysis","display_name":"Detection of Transactional Memory anomalies using static analysis","publication_year":2010,"publication_date":"2010-07-13","ids":{"openalex":"https://openalex.org/W2015929257","doi":"https://doi.org/10.1145/1866210.1866213","mag":"2015929257"},"language":"en","primary_location":{"id":"doi:10.1145/1866210.1866213","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1866210.1866213","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging","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/A5020597826","display_name":"Bruno Teixeira","orcid":null},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Bruno Teixeira","raw_affiliation_strings":["FCT / Univ. Nova de Lisboa, Caparica, Portugal"],"affiliations":[{"raw_affiliation_string":"FCT / Univ. Nova de Lisboa, Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090925729","display_name":"Jo\u00e3o Louren\u00e7o","orcid":"https://orcid.org/0000-0002-8495-6442"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jo\u00e3o Louren\u00e7o","raw_affiliation_strings":["FCT / Univ. Nova de Lisboa, Caparica, Portugal"],"affiliations":[{"raw_affiliation_string":"FCT / Univ. Nova de Lisboa, Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064288943","display_name":"Eitan Farchi","orcid":"https://orcid.org/0000-0002-3021-1488"},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Eitan Farchi","raw_affiliation_strings":["IBM HRL, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM HRL, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051981940","display_name":"Ricardo J. Dias","orcid":"https://orcid.org/0000-0002-6887-2361"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Ricardo Dias","raw_affiliation_strings":["FCT / Univ. Nova de Lisboa, Caparica, Portugal"],"affiliations":[{"raw_affiliation_string":"FCT / Univ. Nova de Lisboa, Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025833966","display_name":"Diogo Sousa","orcid":"https://orcid.org/0000-0002-6169-8591"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Diogo Sousa","raw_affiliation_strings":["FCT / Univ. Nova de Lisboa, Caparica, Portugal"],"affiliations":[{"raw_affiliation_string":"FCT / Univ. Nova de Lisboa, Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5020597826"],"corresponding_institution_ids":["https://openalex.org/I83558840"],"apc_list":null,"apc_paid":null,"fwci":3.5612,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.92864529,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"26","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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.9943000078201294,"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/T11424","display_name":"Security and Verification in Computing","score":0.982699990272522,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8763792514801025},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6328983306884766},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.608501136302948},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.5871096849441528},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.5797675848007202},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.5758756995201111},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5367172360420227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48963719606399536},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.4876507520675659},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.41851890087127686},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.4180508553981781},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34985676407814026},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.340629518032074},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11766448616981506}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8763792514801025},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6328983306884766},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.608501136302948},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.5871096849441528},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.5797675848007202},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.5758756995201111},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5367172360420227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48963719606399536},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.4876507520675659},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.41851890087127686},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.4180508553981781},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34985676407814026},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.340629518032074},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11766448616981506},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1866210.1866213","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1866210.1866213","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6000000238418579,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1384990031","display_name":null,"funder_award_id":"SFRH/BD/41765/2007","funder_id":"https://openalex.org/F4320323642","funder_display_name":"Minist\u00e9rio da Ci\u00eancia, Tecnologia e Ensino Superior"},{"id":"https://openalex.org/G6422757281","display_name":null,"funder_award_id":"SFRH/BD/41765/2007","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320323642","display_name":"Minist\u00e9rio da Ci\u00eancia, Tecnologia e Ensino Superior","ror":"https://ror.org/045b9pr88"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W75086091","https://openalex.org/W1532324212","https://openalex.org/W1812582761","https://openalex.org/W1965462925","https://openalex.org/W1989293671","https://openalex.org/W1994878611","https://openalex.org/W2039350582","https://openalex.org/W2072062729","https://openalex.org/W2082766667","https://openalex.org/W2092911542","https://openalex.org/W2105055683","https://openalex.org/W2125533170","https://openalex.org/W2149237601","https://openalex.org/W4253208645","https://openalex.org/W6641601336"],"related_works":["https://openalex.org/W4252722439","https://openalex.org/W2172064476","https://openalex.org/W2103847662","https://openalex.org/W3155619820","https://openalex.org/W2783561925","https://openalex.org/W4300145204","https://openalex.org/W2963373502","https://openalex.org/W2912336518","https://openalex.org/W2063050381","https://openalex.org/W999441564"],"abstract_inverted_index":{"Transactional":[0,51],"Memory":[1,52],"allows":[2],"programmers":[3],"to":[4,30,44,60,61,63,122,150,168],"reduce":[5],"the":[6,31,70,87,92,101,145,153,173,177],"number":[7,160],"of":[8,34,67,128,133,161,176],"synchronization":[9],"errors":[10],"introduced":[11],"in":[12,100,144],"concurrent":[13],"programs,":[14,170],"but":[15],"does":[16],"not":[17],"ensures":[18],"its":[19],"complete":[20],"elimination.":[21],"This":[22],"paper":[23],"proposes":[24],"a":[25,39,80,97,112,123,126,158],"pattern":[26],"matching":[27],"based":[28,37],"approach":[29],"static":[32],"detection":[33],"atomicity":[35],"violation,":[36],"on":[38],"path-sensitive":[40],"symbolic":[41],"execution":[42],"method":[43],"model":[45],"four":[46],"anomalies":[47],"that":[48,69,152],"may":[49,57],"affect":[50],"programs.":[53],"The":[54,83,108],"proposed":[55,154],"technique":[56],"be":[58,165],"used":[59],"bring":[62],"programmer's":[64],"attention":[65],"pairs":[66],"transactions":[68,140],"programmer":[71],"has":[72],"mis-specified,":[73],"and":[74,95],"should":[75],"have":[76],"been":[77],"combined":[78],"into":[79],"single":[81],"transaction.":[82],"algorithm":[84],"first":[85],"traverses":[86],"AST":[88],"tree,":[89],"removing":[90],"all":[91],"non-transactional":[93],"blocks":[94],"generating":[96],"trace":[98,109,146],"tree":[99,110],"path":[102,119],"sensitive":[103],"manner":[104],"for":[105],"each":[106,118,131],"thread.":[107],"is":[111,125],"Trie":[113],"like":[114],"data":[115],"structure,":[116],"where":[117],"from":[120],"root":[121],"leaf":[124],"list":[127],"transactions.":[129],"For":[130],"pair":[132],"threads,":[134],"erroneous":[135,179],"patterns":[136],"involving":[137],"two":[138],"consecutive":[139],"are":[141],"then":[142],"checked":[143],"tree.":[147],"Results":[148],"allow":[149],"conclude":[151],"technique,":[155],"although":[156],"triggering":[157],"moderate":[159],"false":[162],"positives,":[163],"can":[164],"successfully":[166],"applied":[167],"Java":[169],"correctly":[171],"identifying":[172],"vast":[174],"majority":[175],"relevant":[178],"patterns.":[180]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}