{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:11:43Z","timestamp":1725624703197},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642246494"},{"type":"electronic","value":"9783642246500"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24650-0_7","type":"book-chapter","created":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T14:08:55Z","timestamp":1319292535000},"page":"66-79","source":"Crossref","is-referenced-by-count":3,"title":["Redflag: A Framework for Analysis of Kernel-Level Concurrency"],"prefix":"10.1007","author":[{"given":"Justin","family":"Seyster","sequence":"first","affiliation":[]},{"given":"Prabakar","family":"Radhakrishnan","sequence":"additional","affiliation":[]},{"given":"Samriti","family":"Katoch","sequence":"additional","affiliation":[]},{"given":"Abhinav","family":"Duggal","sequence":"additional","affiliation":[]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[]},{"given":"Erez","family":"Zadok","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Bacik, J.: Possible race in btrfs (2010), http:\/\/article.gmane.org\/gmane.comp.file-systems.btrfs\/5243\/"},{"key":"7_CR2","unstructured":"Callanan, S., Dean, D.J., Zadok, E.: Extending GCC with modular GIMPLE optimizations. In: Proceedings of the 2007 GCC Developers\u2019 Summit, Ottawa, Canada (July 2007)"},{"key":"7_CR3","unstructured":"Corbet, J. write(), thread safety, and POSIX, http:\/\/lwn.net\/Articles\/180387\/"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/945445.945468","volume-title":"Proceedings of the 19th ACM Symposium on Operating Systems Principles","author":"D. Engler","year":"2003","unstructured":"Engler, D., Ashcraft, K.: RacerX: effective, static detection of race conditions and deadlocks. In: Proceedings of the 19th ACM Symposium on Operating Systems Principles, pp. 237\u2013252. ACM Press, New York (2003)"},{"key":"7_CR5","volume-title":"9th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"J. Erickson","year":"2010","unstructured":"Erickson, J., Musuvathi, M., Burckhardt, S., Olynyk, K.: Effective data-race detection for the kernel. In: 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association, Berkeley (2010)"},{"key":"7_CR6","first-page":"256","volume-title":"POPL 2004: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: A dynamic atomicity checker for multithreaded programs. In: POPL 2004: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 256\u2013267. ACM, New York (2004)"},{"key":"7_CR7","first-page":"338","volume-title":"Proc. ACM SIGPLAN Conference on Programming Language Design and IMPLEMENTATION (PLDI)","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Proc. ACM SIGPLAN Conference on Programming Language Design and IMPLEMENTATION (PLDI), pp. 338\u2013349. ACM Press, New York (2003)"},{"issue":"7","key":"7_CR8","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"issue":"12","key":"7_CR9","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R.J. Lipton","year":"1975","unstructured":"Lipton, R.J.: Reduction: A method of proving properties of parallel programs. Commun. ACM\u00a018(12), 717\u2013721 (1975)","journal-title":"Commun. ACM"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1168857.1168864","volume-title":"ASPLOS-XII: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"S. Lu","year":"2006","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: Detecting atomicity violations via access interleaving invariants. In: ASPLOS-XII: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 37\u201348. ACM, New York (2006)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/1542476.1542491","volume-title":"PLDI 2009: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"D. Marino","year":"2009","unstructured":"Marino, D., Musuvathi, M., Narayanasamy, S.: LiteRace: Effective sampling for lightweight data-race detection. In: PLDI 2009: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 134\u2013143. ACM, New York (2009)"},{"key":"7_CR12","unstructured":"McKenney, P.E.: What is RCU? (2005), http:\/\/git.kernel.org\/?p=linux\/kernel\/git\/stable\/linux-2.6.33.y.git;a=blob;f=Documentation\/RCU\/whatisRCU.txt ."},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1508244.1508249","volume-title":"Proc. 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"S. Park","year":"2009","unstructured":"Park, S., Lu, S., Zhou, Y.: Ctrigger: exposing atomicity violation bugs from their hiding places. In: Proc. 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 25\u201336. ACM, New York (2009)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Sasturkar, A., Agarwal, R., Wang, L., Stoller, S.D.: Automated type-based analaysis of data races and atomicity. In: Proceedings of the Tenth ACM\/SIGPLAN Symposium on Principles and Practice of Parallel Programming (June 2005)","DOI":"10.1145\/1065944.1065956"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: ERASER: A Dynamic Data Race Detector for Multithreaded Programs. ACM Transactions on Computer Systems\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Transactions on Computer Systems"},{"key":"7_CR16","unstructured":"Modak, S.: Linux Test Project, LTP (2009), http:\/\/ltp.sourceforge.net\/"},{"key":"7_CR17","first-page":"205","volume-title":"FSE 2007: Proceedings of the 6th ESEC\/SIGSOFT International Symposium on Foundations of Software Engineering","author":"J.W. Voung","year":"2007","unstructured":"Voung, J.W., Jhala, R., Lerner, S.: RELAY: static race detection on millions of lines of code. In: FSE 2007: Proceedings of the 6th ESEC\/SIGSOFT International Symposium on Foundations of Software Engineering, pp. 205\u2013214. ACM, New York (2007)"},{"key":"7_CR18","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the Third Workshop on Runtime Verification (RV)","author":"L. Wang","year":"2003","unstructured":"Wang, L., Stoller, S.D.: Run-time analysis for atomicity. In: Proceedings of the Third Workshop on Runtime Verification (RV). Electronic Notes in Theoretical Computer Science, vol.\u00a089(2), Elsevier, Amsterdam (2003)"},{"issue":"2","key":"7_CR19","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/TSE.2006.1599419","volume":"32","author":"L. Wang","year":"2006","unstructured":"Wang, L., Stoller, S.D.: Runtime analysis of atomicity for multithreaded programs. IEEE Trans. Softw. Eng.\u00a032(2), 93\u2013110 (2006)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Algorithms and Architectures for Parallel Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24650-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,12]],"date-time":"2021-12-12T08:34:52Z","timestamp":1639298092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24650-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642246494","9783642246500"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24650-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}