{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:55:51Z","timestamp":1725580551850},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642209970"},{"type":"electronic","value":"9783642209987"}],"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-20998-7_21","type":"book-chapter","created":{"date-parts":[[2011,4,8]],"date-time":"2011-04-08T07:33:10Z","timestamp":1302247990000},"page":"162-169","source":"Crossref","is-referenced-by-count":0,"title":["Space-Efficient On-the-fly Race Detection Using Loop Splitting"],"prefix":"10.1007","author":[{"given":"Yong-Cheol","family":"Kim","sequence":"first","affiliation":[]},{"given":"Sang-Soo","family":"Jun","sequence":"additional","affiliation":[]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","first-page":"21","volume-title":"2nd Symposium on Principles and Practice of Parallel Programming","author":"D. Callahan","year":"1990","unstructured":"Callahan, D., Kennedy, K., Subhlok, J.: Analysis of Event Synchronization in a Parallel Programming Tool. In: 2nd Symposium on Principles and Practice of Parallel Programming, pp. 21\u201330. ACM, New York (1990)"},{"key":"21_CR2","first-page":"221","volume-title":"30th International Conference on Software Engineering (ICSE)","author":"F. Chen","year":"2008","unstructured":"Chen, F., Serbanuta, T.F., Rosu, G.: jPredictor: A Predictive Runtime Analysis Tool for Java. In: 30th International Conference on Software Engineering (ICSE), pp. 221\u2013230. ACM, New York (2008)"},{"issue":"1","key":"21_CR3","first-page":"46","volume":"5","author":"L. Dagum","year":"1998","unstructured":"Dagum, L., Menon, R.: OpenMP: An Industry-Standard API for Shared-Memory Programming. Computational Science and Engineering\u00a05(1), 46\u201355 (1998)","journal-title":"Computational Science and Engineering"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-03359-9_16","volume-title":"Theorem Proving in Higher Order Logics","author":"F. Dabrowski","year":"2009","unstructured":"Dabrowski, F., Pichardie, D.: A Certified Data Race Analysis for a Java-like Language. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol.\u00a05674, pp. 212\u2013227. Springer, Heidelberg (2009)"},{"key":"21_CR5","first-page":"1","volume-title":"2nd Symp. on Principles and Practice of Parallel Programming","author":"A. Dinning","year":"1990","unstructured":"Dinning, A., Schonberg, E.: An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection. In: 2nd Symp. on Principles and Practice of Parallel Programming, pp. 1\u201310. ACM, New York (1990)"},{"key":"21_CR6","first-page":"602","volume-title":"6th Workshop on Languages and Compilers for Parallel Computing","author":"D. Grunwald","year":"1993","unstructured":"Grunwald, D., Srinivasan, H.: Efficient Computation of Precedence Information in Parallel Programs. In: 6th Workshop on Languages and Compilers for Parallel Computing, pp. 602\u2013616. Springer, Heidelberg (1993)"},{"key":"21_CR7","first-page":"75","volume-title":"Workshop on State-of-the-Art in Scientific Computing (PARA)","author":"K. Ha","year":"2004","unstructured":"Ha, K., Jun, Y., Yoo, K.: Efficient On-the-fly Detection of First Races in Nested Parallel Programs. In: Workshop on State-of-the-Art in Scientific Computing (PARA), Copenhagen, Denmark, pp. 75\u201384. Springer, Heidelberg (2004)"},{"key":"21_CR8","first-page":"1549","volume-title":"2nd International Conference on Parallel and Distributed Processing Techniques and Applications","author":"Y. Jun","year":"1996","unstructured":"Jun, Y., McDowell, C.E.: On-the-fly Detection of the First Races in Programs with Nested Parallelism. In: 2nd International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 1549\u20131560. CSREA, USA (1996)"},{"key":"21_CR9","first-page":"117","volume-title":"3rd International Conference on Parallel and Distributed Processing Techniques and Applications","author":"D. Kim","year":"1997","unstructured":"Kim, D., Jun, Y.: An Effective Tool for Debugging Races in Parallel Programs. In: 3rd International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 117\u2013126. CSREA, USA (1997)"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/3-540-48387-X_46","volume-title":"5th International Conference Parallel Computing Technologies","author":"Y. Kim","year":"1999","unstructured":"Kim, Y., Jun, Y.: Restructuring Parallel Programs for On-the-fly Race Detection. In: 5th International Conference Parallel Computing Technologies, pp. 446\u2013452. Russian Academy of Science, Russia (1999)"},{"issue":"7","key":"21_CR11","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"},{"key":"21_CR12","volume-title":"ACM Sigplan Confernece on Programming Language Design and Implementation (PLDI)","author":"D. Marino","year":"2009","unstructured":"Marino, D., Musuvathi, M., Narayanasamy, S.: LiteRace: Effective Sampling for Lightweight Data-Race Detection. In: ACM Sigplan Confernece on Programming Language Design and Implementation (PLDI), Dublin, Ireland. ACM, New York (2009)"},{"key":"21_CR13","first-page":"242","volume-title":"International Conference on Parallel Processing","author":"R.H.B. Netzer","year":"1992","unstructured":"Netzer, R.H.B., Ghosh, S.: Efficient Race Condition Detection for Shared-Memory Programs with Post\/Wait Synchronization. In: International Conference on Parallel Processing, pp. 242\u2013246. Pennsylvannia State University, USA (1992)"},{"key":"21_CR14","first-page":"133","volume-title":"3rd Symp. on Principles and Practice of Parallel Programming","author":"R.H.B. Netzer","year":"1991","unstructured":"Netzer, R.H.B., Miller, B.P.: Improving the Accuracy of Data Race Detection. In: 3rd Symp. on Principles and Practice of Parallel Programming, pp. 133\u2013144. ACM, New York (1991)"},{"key":"21_CR15","first-page":"201","volume-title":"6th International Conference on Parallel and Distributed Systems","author":"H. Park","year":"1998","unstructured":"Park, H., Jun, Y.: Detecting the First Races in Parallel Programs with Ordered Synchronization. In: 6th International Conference on Parallel and Distributed Systems, pp. 201\u2013208. IEEE, Alamitos (1998)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Parallel Computing Forum: PCF Parallel Fortran Extensions. Fortran Forum 10(3) (1991)","DOI":"10.1145\/122391.122392"},{"key":"21_CR17","volume-title":"Sigplan Conference on Programming Language Design and Implementation (PLDI)","author":"S. Qadeer","year":"2004","unstructured":"Qadeer, S., Wu, D.: KISS: Keep It Simple and Sequential. In: Sigplan Conference on Programming Language Design and Implementation (PLDI). ACM, New York (2004); Washington D.C. Sigplan Notices 39(6), 14\u201324 (2004)"},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1181309.1181315","volume-title":"1st Workshop on Architectural and System Support for Improving Software Dependability (ASID)","author":"P. Sack","year":"2006","unstructured":"Sack, P., Bliss, B.E., Ma, Z., Petersen, P., Torrellas, J.: Accurate and Efficient Filtering for the Intel Thread Checker Race Detector. In: 1st Workshop on Architectural and System Support for Improving Software Dependability (ASID), San Jose, California, pp. 34\u201341. ACM, New York (2006)"}],"container-title":["Communications in Computer and Information Science","Ubiquitous Computing and Multimedia Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20998-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T19:16:07Z","timestamp":1558552567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20998-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642209970","9783642209987"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20998-7_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}