{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T18:11:40Z","timestamp":1759428700799,"version":"build-2065373602"},"reference-count":52,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1109\/ase51524.2021.9678838","type":"proceedings-article","created":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T15:33:49Z","timestamp":1642692829000},"page":"679-691","source":"Crossref","is-referenced-by-count":5,"title":["Nekara: Generalized Concurrency Testing"],"prefix":"10.1109","author":[{"given":"Udit","family":"Agarwal","sequence":"first","affiliation":[{"name":"IIIT Delhi"}]},{"given":"Pantazis","family":"Deligiannis","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Cheng","family":"Huang","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Kumseok","family":"Jung","sequence":"additional","affiliation":[{"name":"University of British Columbia"}]},{"given":"Akash","family":"Lal","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Immad","family":"Naseer","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Matthew","family":"Parkinson","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Arun","family":"Thangamani","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Jyothi","family":"Vedurada","sequence":"additional","affiliation":[{"name":"IIT Hyderabad"}]},{"given":"Yunpeng","family":"Xiao","sequence":"additional","affiliation":[{"name":"Microsoft"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_42"},{"key":"ref33","article-title":"Building reliable cloud services using P# (experience report)","volume":"abs 2002 4903","author":"deligiannis","year":"2020","journal-title":"CoRR"},{"year":"2020","key":"ref32","article-title":"Queue Storage: Durable queues for large-volume cloud services"},{"journal-title":"Cosmos DB Fast NoSQL database with open APIs for any scale","year":"2020","key":"ref31"},{"year":"2020","key":"ref30","article-title":"Kubernetes"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2011","author":"holzmann","key":"ref37"},{"key":"ref36","first-page":"485502","article-title":"Maple: A coverage-driven testing tool for multithreaded programs","author":"yu","year":"0"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359638"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737996"},{"year":"2020","key":"ref28","article-title":"Asynchronous programming with async and await"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640106"},{"year":"2020","key":"ref29","article-title":"ASP.NET: A framework for building web apps and services with .NET and C#"},{"key":"ref2","first-page":"267","article-title":"Finding and reproducing heisenbugs in concurrent programs","author":"musuvathi","year":"2008","journal-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation"},{"key":"ref1","first-page":"3","article-title":"Why do computers stop and what can be done about it?","author":"gray","year":"1986","journal-title":"Proc Symp Reliability Distributed Software Database Syst"},{"year":"2020","key":"ref20","article-title":"Fearless coding for reliable asynchronous software"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462162"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926432"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254128"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_18"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"ref25","first-page":"2","article-title":"RADBench: A concurrency bug benchmark suite","volume":"11","author":"jalbert","year":"2011","journal-title":"HotPar"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346273"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/281035.281041"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-1489-x"},{"key":"ref11","first-page":"249","article-title":"Uncovering bugs in distributed storage systems during testing (not in production!)","author":"deligiannis","year":"2016","journal-title":"14th USENIX Conference on File and Storage Technologies FAST 2016"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786861"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2858651"},{"year":"0","key":"ref13","article-title":"Azure Service Fabric"},{"year":"0","key":"ref14","article-title":"An event notification library"},{"year":"0","key":"ref15","article-title":"A friendly Python library for async concurrency and I\/O"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361234"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509514"},{"year":"2020","key":"ref18","article-title":"An in-memory key-value store"},{"year":"2021","key":"ref19","article-title":"Verona: Research programming language for con-current ownership"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375625"},{"key":"ref6","first-page":"213","article-title":"MODIST: transparent model checking of unmodified distributed systems","author":"yang","year":"2009","journal-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22306-8_14"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303986"},{"key":"ref7","first-page":"399","article-title":"SAMC: semantic-aware model checking for fast discovery of deep bugs in cloud systems","author":"leesatapornwongsa","year":"2014","journal-title":"Proc USENIX Symp on Operating System Design and Implementation"},{"key":"ref49","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/844128.844148","article-title":"Revirt: Enabling intrusion analysis through virtual-machine logging and replay","volume":"36","author":"dunlap","year":"2003","journal-title":"SIGOPS Oper Syst Rev"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3276530"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1220164"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266641"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060297"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737975"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"}],"event":{"name":"2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2021,11,15]]},"location":"Melbourne, Australia","end":{"date-parts":[[2021,11,19]]}},"container-title":["2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9678507\/9678392\/09678838.pdf?arnumber=9678838","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T17:38:23Z","timestamp":1759426703000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9678838\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/ase51524.2021.9678838","relation":{},"subject":[],"published":{"date-parts":[[2021,11]]}}}