{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:51Z","timestamp":1750306611723,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,13]],"date-time":"2015-04-13T00:00:00Z","timestamp":1428883200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,4,13]]},"DOI":"10.1145\/2695664.2695906","type":"proceedings-article","created":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T19:10:09Z","timestamp":1437419409000},"page":"2107-2114","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Runtime checking C programs"],"prefix":"10.1145","author":[{"given":"Reed","family":"Milewicz","sequence":"first","affiliation":[{"name":"University of Alabama at Birmingham, Birmingham, AL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Vanka","sequence":"additional","affiliation":[{"name":"Matlab, Apple Hill Dr"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Tuck","sequence":"additional","affiliation":[{"name":"North Carolina State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Quinlan","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Pirkelbauer","sequence":"additional","affiliation":[{"name":"University of Alabama at Birmingham, Birmingham, AL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178446"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993545"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765941"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.20"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346295"},{"key":"e_1_3_2_1_6_1","volume-title":"Yelick","author":"El-Ghazawi T.","year":"2003","unstructured":"El-Ghazawi , T. , Carlson , W. , Sterling , T. , Yelick , K. : UPC Distributed Shared Memory Programming. Wiley Series on Parallel and Distributed Computing, Wiley , 1 st edn. ( 2003 ) El-Ghazawi, T., Carlson, W., Sterling, T., Yelick, K.: UPC Distributed Shared Memory Programming. Wiley Series on Parallel and Distributed Computing, Wiley, 1st edn. (2003)","edition":"1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181319"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736050"},{"key":"e_1_3_2_1_9_1","unstructured":"IBM\n  : Rational PurifyPlus family. http:\/\/ibm.com\/software\/products\/en\/purifyplus\/ (2014) accessed on March 12 2014  IBM: Rational PurifyPlus family. http:\/\/ibm.com\/software\/products\/en\/purifyplus\/ (2014) accessed on March 12 2014"},{"key":"e_1_3_2_1_10_1","first-page":"275","volume-title":"Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference.","author":"Jim T.","year":"2002","unstructured":"Jim , T. , Morrisett , J. G. , Grossman , D. , Hicks , M. W. , Cheney , J. , Wang , Y. : Cyclone: A safe dialect of c . In: Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference. pp. 275 -- 288 . ATEC '02, USENIX Association, Berkeley, CA, USA ( 2002 ) Jim, T., Morrisett, J. G., Grossman, D., Hicks, M. W., Cheney, J., Wang, Y.: Cyclone: A safe dialect of c. In: Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference. pp. 275--288. ATEC '02, USENIX Association, Berkeley, CA, USA (2002)"},{"key":"e_1_3_2_1_11_1","first-page":"149","volume-title":"Grosu","author":"Kalajdzic K.","year":"2013","unstructured":"Kalajdzic , K. , Bartocci , E. , Smolka , S. A. , Stoller , S. D. , Grosu , R. : Runtime verification with particle filtering. In : Legay, A., Bensalem, S. (eds.) 4th International Conference on Runtime Verification (RV'13). Lecture Notes in Computer Science, vol. 8174 , pp. 149 -- 166 . Springer Berlin Heidelberg ( 2013 ) Kalajdzic, K., Bartocci, E., Smolka, S. A., Stoller, S. D., Grosu, R.: Runtime verification with particle filtering. In: Legay, A., Bensalem, S. (eds.) 4th International Conference on Runtime Verification (RV'13). Lecture Notes in Computer Science, vol. 8174, pp. 149--166. Springer Berlin Heidelberg (2013)"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Kosmatov N. Petiot G. Signoles J.\n  : An optimized memory monitoring for runtime assertion checking of c programs. \n  In\n  : Legay A. Bensalem S. (eds.) 4th International Conference on Runtime Verification (RV'13) Lecture Notes in Computer Science vol. \n  8174 pp. \n  167\n  --\n  182\n  . \n  Springer Berlin Heidelberg (\n  2013\n  )  Kosmatov N. Petiot G. Signoles J.: An optimized memory monitoring for runtime assertion checking of c programs. In: Legay A. Bensalem S. (eds.) 4th International Conference on Runtime Verification (RV'13) Lecture Notes in Computer Science vol. 8174 pp. 167--182. Springer Berlin Heidelberg (2013)","DOI":"10.1007\/978-3-642-40787-1_10"},{"key":"e_1_3_2_1_13_1","first-page":"145","volume-title":"Parallel Tools Workshop.","author":"Luecke G. R.","year":"2009","unstructured":"Luecke , G. R. , Coyle , J. , Hoekstra , J. , Kraeva , M. , Xu , Y. , Park , M. Y. , Kleiman , E. , Weiss , O. , Wehe , A. , Yahya , M. : The importance of run-time error detection . In: Parallel Tools Workshop. pp. 145 -- 155 ( 2009 ) Luecke, G. R., Coyle, J., Hoekstra, J., Kraeva, M., Xu, Y., Park, M. Y., Kleiman, E., Weiss, O., Wehe, A., Yahya, M.: The importance of run-time error detection. In: Parallel Tools Workshop. pp. 145--155 (2009)"},{"key":"e_1_3_2_1_14_1","first-page":"201","volume-title":"Zhai","author":"Mekkat V.","year":"2013","unstructured":"Mekkat , V. , Holey , A. , Zhai , A. : Accelerating data race detection utilizing on-chip data-parallel cores. In : Legay, A., Bensalem, S. (eds.) 4th International Conference on Runtime Verification (RV'13). Lecture Notes in Computer Science, vol. 8174 , pp. 201 -- 218 . Springer Berlin Heidelberg ( 2013 ) Mekkat, V., Holey, A., Zhai, A.: Accelerating data race detection utilizing on-chip data-parallel cores. In: Legay, A., Bensalem, S. (eds.) 4th International Conference on Runtime Verification (RV'13). Lecture Notes in Computer Science, vol. 8174, pp. 201--218. Springer Berlin Heidelberg (2013)"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555797"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544147"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065892"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1254810.1254820"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250746"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509514"},{"key":"e_1_3_2_1_22_1","unstructured":"Parasoft Inc.: Insure++. http:\/\/www.parasoft.com\/insure (2014) accessed on March 12 2014  Parasoft Inc.: Insure++. http:\/\/www.parasoft.com\/insure (2014) accessed on March 12 2014"},{"volume-title":"5th Conference on Partitioned Global Address Space Models (PGAS). Galveston, TX (2011)","author":"Pirkelbauer P.","key":"e_1_3_2_1_23_1","unstructured":"Pirkelbauer , P. , Liao , C. , Panas , T. , Quinlan , D. : Runtime detection of C-style errors in UPC code . In: 5th Conference on Partitioned Global Address Space Models (PGAS). Galveston, TX (2011) Pirkelbauer, P., Liao, C., Panas, T., Quinlan, D.: Runtime detection of C-style errors in UPC code. In: 5th Conference on Partitioned Global Address Space Models (PGAS). Galveston, TX (2011)"},{"key":"e_1_3_2_1_24_1","volume-title":"CWE\/SANS TOP 25 most dangerous software errors","author":"SANS Institute","year":"2011","unstructured":"SANS Institute : CWE\/SANS TOP 25 most dangerous software errors ( 2011 ), http:\/\/www.sans.org\/top25-software-errors SANS Institute: CWE\/SANS TOP 25 most dangerous software errors (2011), http:\/\/www.sans.org\/top25-software-errors"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2105"},{"key":"e_1_3_2_1_27_1","volume-title":"(sep","author":"Team T. C.","year":"2014","unstructured":"Team , T. C. : (sep 2014 ), http:\/\/clang.llvm.org\/docs\/AddressSanitizer.html Team, T. C.: (sep 2014), http:\/\/clang.llvm.org\/docs\/AddressSanitizer.html"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029913"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950395"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/998680.1006720"}],"event":{"name":"SAC 2015: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Salamanca Spain","acronym":"SAC 2015"},"container-title":["Proceedings of the 30th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2695664.2695906","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2695664.2695906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:17:04Z","timestamp":1750227424000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2695664.2695906"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,13]]},"references-count":29,"alternative-id":["10.1145\/2695664.2695906","10.1145\/2695664"],"URL":"https:\/\/doi.org\/10.1145\/2695664.2695906","relation":{},"subject":[],"published":{"date-parts":[[2015,4,13]]},"assertion":[{"value":"2015-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}