{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T20:57:51Z","timestamp":1725397071306},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/espt.2016.008","type":"proceedings-article","created":{"date-parts":[[2017,1,26]],"date-time":"2017-01-26T18:03:08Z","timestamp":1485453788000},"page":"26-33","source":"Crossref","is-referenced-by-count":0,"title":["Runtime Verification of Scientific Computing: Towards an Extreme Scale"],"prefix":"10.1109","author":[{"given":"Minh Ngoc","family":"Dinh","sequence":"first","affiliation":[]},{"given":"Chao","family":"Jin","sequence":"additional","affiliation":[]},{"given":"David","family":"Abramson","sequence":"additional","affiliation":[]},{"given":"Clinton L.","family":"Jeffery","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Allinea Software","year":"2016","key":"ref10"},{"first-page":"387","article-title":"Collective Assertions","year":"0","author":"siegel","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2007.370254"},{"first-page":"231","article-title":"AutomaDeD: Automata-Based Debugging for Dissimilar Parallel Tasks","year":"0","author":"bronevetsky","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.27"},{"first-page":"269","article-title":"AccMon: Automatically Detecting Memoryrelated Bugs via Program Counterbased Invariants","year":"0","author":"zhou","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/581376.581377"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362643"},{"article-title":"Statistical Debugging of Sampled Programs","year":"0","author":"zheng","key":"ref19"},{"article-title":"Exascale and Beyond: Configuring, Reasoning, Scaling","year":"0","author":"booth","key":"ref4"},{"journal-title":"Statistical Physics","year":"1969","author":"landau","key":"ref27"},{"journal-title":"US Department of Energy","article-title":"ASCAC Subcommittee. The Top Ten Exascale Research Challenges","year":"2014","author":"ang","key":"ref3"},{"article-title":"Tools for Exascale Computing: Challenges and Strategies","year":"0","author":"daly","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2172\/1149042"},{"journal-title":"IEEE Transactions on Parallel and Distributed Systems","article-title":"Scalable Relative Debugging","year":"2013","author":"dinh","key":"ref8"},{"article-title":"Relative debugging and its application to the development of large numerical models","year":"0","author":"abramson","key":"ref7"},{"journal-title":"DARPA Report","article-title":"Exascale Software Study: Software Challenges in Extreme Scale Systems","year":"2009","author":"amarasinghe","key":"ref2"},{"journal-title":"Proc Cray User Group Conf","article-title":"Automation Assisted Debugging on the Cray with TotalView","year":"2011","author":"gottbrath","key":"ref9"},{"journal-title":"DARPA Report","article-title":"ExaScale Computing Study: Technology Challenges in Achieving Exascale Systems","year":"2008","author":"kogge","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2807591.2807605"},{"journal-title":"CACS","year":"2011","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocs.2013.12.002"},{"journal-title":"Understanding Molecular Simulation From Algorithms to Applications","year":"2002","author":"frenkel","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1080\/00268977900101051"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511780066"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2010.5470432"}],"event":{"name":"2016 5th Workshop on Extreme-Scale Programming Tools (ESPT)","start":{"date-parts":[[2016,11,13]]},"location":"Salt Lake City, UT, USA","end":{"date-parts":[[2016,11,13]]}},"container-title":["2016 5th Workshop on Extreme-Scale Programming Tools (ESPT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7829187\/7830456\/07830464.pdf?arnumber=7830464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T15:04:16Z","timestamp":1513177456000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7830464\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/espt.2016.008","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}