{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:46:22Z","timestamp":1729662382088,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/ipdps.2006.1639579","type":"proceedings-article","created":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T19:59:56Z","timestamp":1152561596000},"page":"8 pp.","source":"Crossref","is-referenced-by-count":0,"title":["Compiler-assisted software verification using plug-ins"],"prefix":"10.1109","author":[{"given":"S.","family":"Callanan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xiaowan Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Zadok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"15","article-title":"Dynamic Instrumentation of Production Systems","author":"cantrill","year":"2004","journal-title":"Proceedings of the Annual USENIX Technical Conference"},{"key":"2","first-page":"271","article-title":"Lockmeter: Highly-informative instrumentation for spin locks in the Linux kernel","author":"bryant","year":"2000","journal-title":"Proceedings of the 4th Annual Linux Showcase and Conference"},{"year":"0","key":"10"},{"key":"1","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/3-540-44585-4_25","article-title":"The SLAM toolkit","author":"ball","year":"2001","journal-title":"CAV '01 Proceedings of the 23th International Conference on Computer Aided Verification"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.01.003"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/800230.806987"},{"journal-title":"GCC Online Documentation","year":"2005","key":"5"},{"year":"0","key":"4"},{"key":"9","article-title":"TreeSSA: A New Optimization Infrastructure for GCC","author":"novillo","year":"2003","journal-title":"Proc GCC Developers Summit"},{"key":"8","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","article-title":"An Overview of AspectJ","volume":"2072","author":"kiczales","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"11","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1145\/989393.989446","article-title":"ATOM: A system for building customized program analysis tools","volume":"39","author":"srivastava","year":"2004","journal-title":"SIGPLAN Not"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.189"}],"event":{"name":"Proceedings 20th IEEE International Parallel & Distributed Processing Symposium","start":{"date-parts":[[2006,4,25]]},"location":"Rhodes Island, Greece","end":{"date-parts":[[2006,4,29]]}},"container-title":["Proceedings 20th IEEE International Parallel & Distributed Processing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10917\/34366\/01639579.pdf?arnumber=1639579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T23:22:38Z","timestamp":1555716158000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1639579\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2006.1639579","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}