{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:04:20Z","timestamp":1776305060536,"version":"3.50.1"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T00:00:00Z","timestamp":1138752000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1109\/tse.2006.1599419","type":"journal-article","created":{"date-parts":[[2006,3,15]],"date-time":"2006-03-15T21:13:13Z","timestamp":1142457193000},"page":"93-110","source":"Crossref","is-referenced-by-count":127,"title":["Runtime analysis of atomicity for multithreaded programs"],"prefix":"10.1109","volume":"32","author":[{"given":"L.","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.D.","family":"Stoller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.1145\/1065944.1065953","article-title":"Static Analysis for Programs with Non-Blocking Synchronization","author":"wang","year":"2005","journal-title":"Proc ACM SIGPLAN 2005 Symp Principles and Practice of Parallel Programming (PPoPP)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81049-1"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2004.3.6.a5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-27864-1_11","article-title":"Type Inference against Races","author":"flanagan","year":"2004","journal-title":"Static Analysis Symp (SAS)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1040294.1040299"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.47"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781169"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604176"},{"key":"ref16","article-title":"verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking","author":"robby","year":"2004","journal-title":"Proc Fifth Int'l Conf Verification Model Checking and Abstract Interpretation (VMCAI)"},{"key":"ref17","article-title":"Using Runtime Analysis to Guide Model Checking of Java Programs","author":"havelund","year":"2000","journal-title":"Proc Seventh Int'l SPIN Workshop Model Checking of Software"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"ref19","year":"2001","journal-title":"Java Grande Multithreaded Benchmark Suite"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349327"},{"key":"ref3","author":"bernstein","year":"1987","journal-title":"Concurrency Control and Recovery in Database Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"ref29","article-title":"Object Race Detection","author":"von praun","year":"2001","journal-title":"Proc 16th ACM Conf Object-Oriented Programming Systems Languages and Applications (OOPSLA)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504287"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24732-6_18","article-title":"Verifying Commit-Atomicity Using Model-Checking","author":"flanagan","year":"2004","journal-title":"Proc 11th Int'l SPIN Workshop Model Checking of Software"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040028.49845.67"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.281"},{"key":"ref1","article-title":"Detecting Potential Deadlocks with Static Analysis and Runtime Monitoring","author":"agarwal","year":"2005","journal-title":"Proc Parallel and Distributed Systems Testing and Debugging (PADTAD) Track of the 2005 IBM Verification Conf"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"ref20","year":"2004","journal-title":"Jigsaw"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361234"},{"key":"ref21","year":"2002","journal-title":"Kopi compiler"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/781527.781528"},{"key":"ref23","first-page":"120","article-title":"Virtual Time and Global States of Distributed Systems","author":"mattern","year":"1989","journal-title":"Proc Int'l Workshop Parallel and Distributed Algorithms"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/304065.304106"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/33632\/01599419.pdf?arnumber=1599419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T01:30:08Z","timestamp":1736299808000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1599419\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":32,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2006.1599419","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}