{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:16:36Z","timestamp":1725520596516},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/iccp.2018.8516602","type":"proceedings-article","created":{"date-parts":[[2018,11,19]],"date-time":"2018-11-19T20:18:32Z","timestamp":1542658712000},"page":"435-441","source":"Crossref","is-referenced-by-count":0,"title":["Atomic invariants verification and deadlock detection at compile-time"],"prefix":"10.1109","author":[{"given":"Ionut","family":"Tamas","sequence":"first","affiliation":[]},{"given":"Ioan","family":"Salomie","sequence":"additional","affiliation":[]},{"given":"Marcel","family":"Antal","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"“Framework for testing multi-threaded Java programs Concurrency and Computation Practice and Experience”","year":"2003","author":"edelstein","key":"ref10"},{"year":"0","author":"jcarder","key":"ref11"},{"year":"0","key":"ref12"},{"year":"0","key":"ref13"},{"journal-title":"Proc International SPIN Workshop on Model Checking of Software","first-page":"245","article-title":"Using runtime analysis to guide model checking of Java programs","year":"2000","key":"ref14"},{"year":"0","key":"ref15"},{"year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199906)29:7<577::AID-SPE246>3.0.CO;2-V"},{"year":"0","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-005-0071-z"},{"journal-title":"International Conference on Software Engineering ICSE","article-title":"acomment: Mining annotations from comments and code to detect interrupt related concurrency bugs","year":"2011","author":"tan","key":"ref4"},{"journal-title":"International Conference on Software Engineering ICSE","article-title":"Detecting deadlock in programs with data-centric synchronization","year":"2013","author":"marino","key":"ref3"},{"journal-title":"“A Static Analysis for Automatic Detection of Atomicity Violations in Java Programs”","year":"2010","author":"roberson","key":"ref6"},{"journal-title":"Proceedings of OSDI’08 8th USENIX Symposium on Operating Systems Design and Implementation","article-title":"Dynamic deadlock avoidance for multithreaded programs","year":"2008","author":"wang","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635918"},{"journal-title":"Symposium on Foundations of Software Engineering ACM","article-title":"An e ective dynamic analysis for detecting generalized deadlocks","year":"2010","author":"joshi","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"ref22","first-page":"602","article-title":"Static deadlock detection for java libraries","author":"thies","year":"0","journal-title":"Proceedings of European Conference of Object-Oriented Programming"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"journal-title":"Operating System Design and Implementation","article-title":"Effective DataRace Detection for the Kernel","year":"2010","author":"erickson","key":"ref23"}],"event":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","start":{"date-parts":[[2018,9,6]]},"location":"Cluj-Napoca","end":{"date-parts":[[2018,9,8]]}},"container-title":["2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8500076\/8516425\/08516602.pdf?arnumber=8516602","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T18:56:43Z","timestamp":1598209003000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8516602\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iccp.2018.8516602","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}