{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:16:17Z","timestamp":1742379377563},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/dsn.2010.5544927","type":"proceedings-article","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T16:44:07Z","timestamp":1281458647000},"page":"231-240","source":"Crossref","is-referenced-by-count":23,"title":["AutomaDeD: Automata-based debugging for dissimilar parallel tasks"],"prefix":"10.1109","author":[{"given":"Greg","family":"Bronevetsky","sequence":"first","affiliation":[]},{"given":"Ignacio","family":"Laguna","sequence":"additional","affiliation":[]},{"given":"Saurabh","family":"Bagchi","sequence":"additional","affiliation":[]},{"given":"Bronis R.","family":"de Supinski","sequence":"additional","affiliation":[]},{"given":"Dong H.","family":"Ahn","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Schulz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2006.50"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0457-9","author":"mirkin","year":"1996","journal-title":"Mathematical Classification and Clustering"},{"journal-title":"MVAPICH Project Mvapich Discussion List","year":"0","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362663"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-3324-9"},{"journal-title":"TotalView Debugger","year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/4434.895105"},{"journal-title":"The NAS Parallel Benchmarks RNR-91-002","year":"1991","author":"bailey","key":"ref4"},{"key":"ref3","article-title":"Statistical Debugging Using Latent Topic Models","author":"andrzejewski","year":"2007","journal-title":"18th European Conference on Machine Learning"},{"key":"ref6","article-title":"Lawrence Livermore Prepares for 20 Petaflop Blue Gene\/Q","author":"feldman","year":"2009","journal-title":"HPCwire"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070506"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/581376.581377"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362643"},{"journal-title":"Allinea Distributed Debugging Tool","year":"0","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/240455.240475"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/331499.331504"}],"event":{"name":"Networks (DSN)","start":{"date-parts":[[2010,6,28]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2010,7,1]]}},"container-title":["2010 IEEE\/IFIP International Conference on Dependable Systems & Networks (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5532324\/5544245\/05544927.pdf?arnumber=5544927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T08:24:18Z","timestamp":1497860658000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5544927\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/dsn.2010.5544927","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}