{"id":"https://openalex.org/W2899214041","doi":"https://doi.org/10.1109/iccp.2018.8516602","title":"Atomic invariants verification and deadlock detection at compile-time","display_name":"Atomic invariants verification and deadlock detection at compile-time","publication_year":2018,"publication_date":"2018-09-01","ids":{"openalex":"https://openalex.org/W2899214041","doi":"https://doi.org/10.1109/iccp.2018.8516602","mag":"2899214041"},"language":"en","primary_location":{"id":"doi:10.1109/iccp.2018.8516602","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccp.2018.8516602","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","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/A5025922851","display_name":"Ionut Tamas","orcid":null},"institutions":[{"id":"https://openalex.org/I158333966","display_name":"Technical University of Cluj-Napoca","ror":"https://ror.org/03r8nwp71","country_code":"RO","type":"education","lineage":["https://openalex.org/I158333966"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Ionut Tamas","raw_affiliation_strings":["Computer Science Department, Technical University of Cluj-Napoca, Cluj-Napoca, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Technical University of Cluj-Napoca, Cluj-Napoca, Romania","institution_ids":["https://openalex.org/I158333966"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052747708","display_name":"Ioan Salomie","orcid":"https://orcid.org/0000-0002-7437-8300"},"institutions":[{"id":"https://openalex.org/I158333966","display_name":"Technical University of Cluj-Napoca","ror":"https://ror.org/03r8nwp71","country_code":"RO","type":"education","lineage":["https://openalex.org/I158333966"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Ioan Salomie","raw_affiliation_strings":["Computer Science Department, Technical University of Cluj-Napoca, Cluj-Napoca, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Technical University of Cluj-Napoca, Cluj-Napoca, Romania","institution_ids":["https://openalex.org/I158333966"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043139072","display_name":"Marcel Antal","orcid":"https://orcid.org/0000-0002-2998-4176"},"institutions":[{"id":"https://openalex.org/I158333966","display_name":"Technical University of Cluj-Napoca","ror":"https://ror.org/03r8nwp71","country_code":"RO","type":"education","lineage":["https://openalex.org/I158333966"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Marcel Antal","raw_affiliation_strings":["Computer Science Department, Technical University of Cluj-Napoca, Cluj-Napoca, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Technical University of Cluj-Napoca, Cluj-Napoca, Romania","institution_ids":["https://openalex.org/I158333966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I158333966"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"435","last_page":"441"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9991999864578247,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"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/T11424","display_name":"Security and Verification in Computing","score":0.9979000091552734,"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.9134126305580139},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.82517409324646},{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.7914136648178101},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6524479389190674},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5646489858627319},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5272989273071289},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.48818260431289673},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4388112723827362},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4367358386516571},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35855725407600403},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3256114423274994},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.22581234574317932},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.08531922101974487}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9134126305580139},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.82517409324646},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.7914136648178101},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6524479389190674},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5646489858627319},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5272989273071289},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.48818260431289673},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4388112723827362},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4367358386516571},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35855725407600403},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3256114423274994},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.22581234574317932},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.08531922101974487}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccp.2018.8516602","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccp.2018.8516602","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.6000000238418579}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W113310232","https://openalex.org/W1541313361","https://openalex.org/W1862182621","https://openalex.org/W2059224852","https://openalex.org/W2065675749","https://openalex.org/W2118437239","https://openalex.org/W2119494620","https://openalex.org/W2127825616","https://openalex.org/W2132613390","https://openalex.org/W2132800423","https://openalex.org/W2149984854","https://openalex.org/W2156428492","https://openalex.org/W2159031014","https://openalex.org/W2170196926","https://openalex.org/W2398231325","https://openalex.org/W4256028745","https://openalex.org/W6600049303","https://openalex.org/W6646145503"],"related_works":["https://openalex.org/W1591836442","https://openalex.org/W2357517130","https://openalex.org/W1990697576","https://openalex.org/W1520405624","https://openalex.org/W1582361381","https://openalex.org/W2115269980","https://openalex.org/W1600422503","https://openalex.org/W4303183859","https://openalex.org/W2001866549","https://openalex.org/W2150253789"],"abstract_inverted_index":{"Modern":[0],"systems":[1],"must":[2],"take":[3],"full":[4],"advantage":[5],"of":[6,23,62,87,97,203,266,281,299,309],"the":[7,25,65,98,101,111,151,170,185,190,200,204,210,224,234,252,256,263,279,287,296],"underlying":[8],"hardware":[9,26],"paradigms":[10],"in":[11,28,64,105,238],"order":[12],"to":[13,42,49,74,79,90,121,141,163,178,183,277],"yield":[14,47],"higher":[15],"throughput":[16],"and":[17,45,109,123,130,160,182,206,217,251,259,285,314],"lower":[18],"latency.":[19],"A":[20],"common":[21],"way":[22,78,152,211,276,302],"maximizing":[24],"usage":[27],"a":[29,71,76,106,115,136,145,275,301],"system":[30,131,137,186,205,235,246,253,294],"is":[31,161,177],"by":[32,44,83,188],"leveraging":[33],"multithreaded":[34,248],"techniques.":[35],"These":[36],"techniques":[37],"however":[38],"are":[39,70,158,215,219],"very":[40],"hard":[41,48],"reason":[43,124],"can":[46,269],"detect":[50,164],"bugs,":[51],"such":[52,81,94],"as":[53,114,193,221,223],"deadlocks,":[54,310],"livelocks":[55],"or":[56,156,167,195],"race":[57,165],"conditions":[58,166],"from":[59],"unwanted":[60],"interleavings":[61,100],"threads":[63,99],"system's":[66],"execution.":[67],"Atomic":[68],"locks":[69],"standard":[72],"mechanism":[73],"provide":[75],"safe":[77],"alleviate":[80],"issues":[82],"specifying":[84,189],"what":[85],"regions":[86],"code":[88,112,288],"need":[89],"be":[91],"executed":[92],"atomically":[93],"that":[95,119,138,292],"regardless":[96],"shared":[102,153,172],"memory":[103,154],"remains":[104],"consistent":[107],"state":[108],"makes":[110],"execution":[113,118],"simple":[116],"serial":[117],"easy":[120],"analyze":[122],"by,":[125],"yielding":[126],"increased":[127,304],"programmer":[128],"productivity":[129,181],"efficiency.":[132],"Our":[133],"paper":[134],"proposes":[135],"allows":[139],"user":[140],"easily":[142],"verify":[143],"if":[144],"C#":[146,249],"codebase":[147,187],"has":[148],"correctly":[149],"implemented":[150],"(field":[155],"properties)":[157],"modified":[159],"able":[162],"deadlocks":[168,218],"for":[169,303],"specified":[171],"memory.":[173],"The":[174],"main":[175],"goal":[176],"improve":[179,184],"developer":[180,305],"atomicity":[191,257],"constraints":[192],"unit":[194],"integration":[196,225],"tests.":[197],"We":[198,230,242,271],"present":[199],"overall":[201],"architecture":[202],"how":[207,233,267],"it":[208],"detects":[209],"certain":[212],"atomic":[213,311],"invariants":[214,258,312],"checked":[216],"identified,":[220],"well":[222],"with":[226],"an":[227],"existing":[228],"codebase.":[229],"also":[231,273],"describe":[232],"proves":[236],"correctness":[237],"checking":[239,313],"these":[240,268],"invariants.":[241],"have":[243,272],"verified":[244],"our":[245,293],"against":[247],"codebases":[250],"successfully":[254],"checks":[255],"deadlock":[260],"cases":[261],"outputting":[262],"correct":[264,307],"scenarios":[265],"happen.":[270],"provided":[274],"decrease":[278],"risk":[280],"concurrency":[282,315],"bugs":[283,316],"regressions":[284],"improving":[286],"quality,":[289],"thus":[290],"proving":[291],"achieves":[295],"proposed":[297],"goals":[298],"providing":[300],"productivity,":[306],"detection":[308],"mitigation.":[317]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}