{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:25Z","timestamp":1750307965121,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,9]],"date-time":"2007-07-09T00:00:00Z","timestamp":1183939200000},"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":[[2007,7,9]]},"DOI":"10.1145\/1273647.1273654","type":"proceedings-article","created":{"date-parts":[[2012,6,15]],"date-time":"2012-06-15T15:32:03Z","timestamp":1339774323000},"page":"27-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Techniques for specifying bug patterns"],"prefix":"10.1145","author":[{"given":"Daniel J.","family":"Quinlan","sequence":"first","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA"}]},{"given":"Richard W.","family":"Vuduc","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA"}]},{"given":"Ghassan","family":"Misherghi","sequence":"additional","affiliation":[{"name":"University of California, Davis, Davis, CA"}]}],"member":"320","published-online":{"date-parts":[[2007,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Coverity - Source Code Analysis http:\/\/www.coverity.com.  Coverity - Source Code Analysis http:\/\/www.coverity.com."},{"key":"e_1_3_2_1_2_1","unstructured":"Fortify - Source Code Analysis http:\/\/www.fortifysoftware.com.  Fortify - Source Code Analysis http:\/\/www.fortifysoftware.com."},{"key":"e_1_3_2_1_3_1","unstructured":"GrammaTech - Source Code Analysis http:\/\/www.grammatech.com.  GrammaTech - Source Code Analysis http:\/\/www.grammatech.com."},{"key":"e_1_3_2_1_4_1","unstructured":"Klockwork - Source Code Analysis http:\/\/www.klockwork.com.  Klockwork - Source Code Analysis http:\/\/www.klockwork.com."},{"key":"e_1_3_2_1_5_1","unstructured":"Open64 http:\/\/www.open64.net.  Open64 http:\/\/www.open64.net."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. SIAM Conference on Parallel Processing for Scientific Computing","author":"Amarasinghe S. P.","year":"1995","unstructured":"S. P. Amarasinghe , J. M. Anderson , M. S. Lam , and C. W. Tseng . The SUIF compiler for scalable parallel machines . In Proc. SIAM Conference on Parallel Processing for Scientific Computing , Feb 1995 . S. P. Amarasinghe, J. M. Anderson, M. S. Lam, and C. W. Tseng. The SUIF compiler for scalable parallel machines. In Proc. SIAM Conference on Parallel Processing for Scientific Computing, Feb 1995."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1177\/109434209100500306"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. Network and Distributed System Security Symposium","author":"Chen H.","year":"2004","unstructured":"H. Chen , D. Dean , and D. Wagner . Model checking one million lines of C code . In Proc. Network and Distributed System Security Symposium , San Diego, CA, USA , February 2004 . H. Chen, D. Dean, and D. Wagner. Model checking one million lines of C code. In Proc. Network and Distributed System Security Symposium, San Diego, CA, USA, February 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/832253.832789"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145319.1145342"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_17"},{"key":"e_1_3_2_1_13_1","volume-title":"et. al. MPI-The Complete Reference","author":"M.","year":"1996","unstructured":"M. S. et. al. MPI-The Complete Reference . MIT Press , 1996 . M. S. et. al. MPI-The Complete Reference. MIT Press, 1996."},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. IBM Verification Conference","author":"Farchi E.","year":"2005","unstructured":"E. Farchi and B. R. Harrington . Assisting the code review process using simple pattern recognition . In Proc. IBM Verification Conference , Haifa, Israel , November 2005 . E. Farchi and B. R. Harrington. Assisting the code review process using simple pattern recognition. In Proc. IBM Verification Conference, Haifa, Israel, November 2005."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v36:3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028717"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251537"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108798"},{"key":"e_1_3_2_1_19_1","first-page":"493","volume-title":"Proc. Parallel Computing: Software Technology, Algorithms, Architectures, and Applications","author":"Krammer B.","year":"2004","unstructured":"B. Krammer , K. Bidmon , M. S. Muller , and M. M. Resch . MARMOT: An MPI analysis and checking tool . In Proc. Parallel Computing: Software Technology, Algorithms, Architectures, and Applications , pages 493 -- 500 . Elsevier , 2004 . B. Krammer, K. Bidmon, M. S. Muller, and M. M. Resch. MARMOT: An MPI analysis and checking tool. In Proc. Parallel Computing: Software Technology, Algorithms, Architectures, and Applications, pages 493--500. Elsevier, 2004."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065169"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.705"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24723-4_6"},{"key":"e_1_3_2_1_25_1","unstructured":"NIST. SAMATE - Software Assurance Metrics And Tool Evaluation http:\/\/samate.nist.gov\/index.php.  NIST. SAMATE - Software Assurance Metrics And Tool Evaluation http:\/\/samate.nist.gov\/index.php."},{"key":"e_1_3_2_1_26_1","series-title":"Parallel Processing Letters","volume-title":"Proceedings of Conference on Parallel Compilers (CPC2000)","author":"Quinlan D.","year":"2000","unstructured":"D. Quinlan . Rose: Compiler support for object-oriented frameworks . In Proceedings of Conference on Parallel Compilers (CPC2000) , Aussois, France , volume 10 of Parallel Processing Letters . Springer Verlag , 2000 . D. Quinlan. Rose: Compiler support for object-oriented frameworks. In Proceedings of Conference on Parallel Compilers (CPC2000), Aussois, France, volume 10 of Parallel Processing Letters. Springer Verlag, 2000."},{"key":"e_1_3_2_1_27_1","series-title":"Lecture Notes in Computer Science","first-page":"570","volume-title":"Languages and Compilers for Parallel Computing, 14th International Workshop, LCPC","author":"Quinlan D.","year":"2001","unstructured":"D. Quinlan , M. Schordan , B. Philip , and M. Kowarschik . The specification of source-to-source transformations for the compile-time optimization of parallel object-oriented scientific applications . In H. G. Dietz, editor, Languages and Compilers for Parallel Computing, 14th International Workshop, LCPC 2001 , Revised Papers, volume 2624 of Lecture Notes in Computer Science , pages 570 -- 578 . Springer Verlag , 2003. D. Quinlan, M. Schordan, B. Philip, and M. Kowarschik. The specification of source-to-source transformations for the compile-time optimization of parallel object-oriented scientific applications. In H. G. Dietz, editor, Languages and Compilers for Parallel Computing, 14th International Workshop, LCPC 2001, Revised Papers, volume 2624 of Lecture Notes in Computer Science, pages 570--578. Springer Verlag, 2003."},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. Static Analysis Summit","author":"Quinlan D.","year":"2006","unstructured":"D. Quinlan , R. Vuduc , T. Panas , J. Hardtlein , and A. Sabjornsen . Support for whole-program analysis and verification of the One-Definition Rule in C++ . In Proc. Static Analysis Summit , Gaithersburg, MD, USA , June 2006 . National Institute of Standards and Technology Special Publication. D. Quinlan, R. Vuduc, T. Panas, J. Hardtlein, and A. Sabjornsen. Support for whole-program analysis and verification of the One-Definition Rule in C++. In Proc. Static Analysis Summit, Gaithersburg, MD, USA, June 2006. National Institute of Standards and Technology Special Publication."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45213-3_27"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763048.1763053"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69330-7_33"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/370049.370462"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147403.1147409"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_35_1","volume-title":"OINK: A collection of composable C++ static analysis tools","author":"Wilkerson D.","year":"2005","unstructured":"D. Wilkerson . OINK: A collection of composable C++ static analysis tools , 2005 . http:\/\/freshmeat.net\/projects\/oink. D. Wilkerson. OINK: A collection of composable C++ static analysis tools, 2005. http:\/\/freshmeat.net\/projects\/oink."}],"event":{"name":"ISSTA07: International Symposium on Software Testing and Analysis","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"London United Kingdom","acronym":"ISSTA07"},"container-title":["Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273647.1273654","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273647.1273654","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:09Z","timestamp":1750258689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273647.1273654"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,9]]},"references-count":32,"alternative-id":["10.1145\/1273647.1273654","10.1145\/1273647"],"URL":"https:\/\/doi.org\/10.1145\/1273647.1273654","relation":{},"subject":[],"published":{"date-parts":[[2007,7,9]]},"assertion":[{"value":"2007-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}