{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T07:41:40Z","timestamp":1751096500087},"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":1,"title":["Atomic invariants verification and deadlock detection at compile-time"],"prefix":"10.1109","author":[{"given":"Ionut","family":"Tamas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioan","family":"Salomie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Antal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"&#x201C;Framework for testing multi-threaded Java programs Concurrency and Computation Practice and Experience&#x201D;","year":"2003","author":"edelstein","key":"ref10"},{"year":"0","author":"jcarder","key":"ref11"},{"year":"0","key":"ref12"},{"year":"0","key":"ref13"},{"key":"ref14","first-page":"245","article-title":"Using runtime analysis to guide model checking of Java programs","year":"2000","journal-title":"Proc International SPIN Workshop on Model Checking of Software"},{"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"},{"key":"ref4","article-title":"acomment: Mining annotations from comments and code to detect interrupt related concurrency bugs","author":"tan","year":"2011","journal-title":"International Conference on Software Engineering ICSE"},{"key":"ref3","article-title":"Detecting deadlock in programs with data-centric synchronization","author":"marino","year":"2013","journal-title":"International Conference on Software Engineering ICSE"},{"journal-title":"&#x201C;A Static Analysis for Automatic Detection of Atomicity Violations in Java Programs&#x201D;","year":"2010","author":"roberson","key":"ref6"},{"key":"ref5","article-title":"Dynamic deadlock avoidance for multithreaded programs","author":"wang","year":"2008","journal-title":"Proceedings of OSDI&#x2019;08 8th USENIX Symposium on Operating Systems Design and Implementation"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635918"},{"key":"ref2","article-title":"An e ective dynamic analysis for detecting generalized deadlocks","author":"joshi","year":"2010","journal-title":"Symposium on Foundations of Software Engineering ACM"},{"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"},{"key":"ref23","article-title":"Effective DataRace Detection for the Kernel","author":"erickson","year":"2010","journal-title":"Operating System Design and Implementation"}],"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]]}}}