{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:40:36Z","timestamp":1725759636090},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/secse.2013.6615102","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T22:31:19Z","timestamp":1380753079000},"page":"75-83","source":"Crossref","is-referenced-by-count":3,"title":["Practical formal correctness checking of million-core problem solving environments for HPC"],"prefix":"10.1109","author":[{"given":"Diego Caminha B.","family":"de Oliveira","sequence":"first","affiliation":[]},{"given":"Zvonimir","family":"Rakamaric","sequence":"additional","affiliation":[]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Humphrey","sequence":"additional","affiliation":[]},{"given":"Qingyu","family":"Meng","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Berzins","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1553"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2011.10.003"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2007.370254"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"33"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348256"},{"journal-title":"Fuzzing Brute Force Vulnerability Discovery","year":"2007","author":"sutton","key":"34"},{"key":"16","doi-asserted-by":"crossref","first-page":"175","DOI":"10.7551\/mitpress\/5241.003.0009","article-title":"Charm++: Parallel programming with message-driven objects","author":"kale","year":"1996","journal-title":"Parallel Programming Using C++"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2063384.2063452"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69738-1_3"},{"key":"37","article-title":"A comparison of load balancing algorithms for AMR in Uintah","author":"meng","year":"2008","journal-title":"Scientific Computing and Imaging Institute"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.64"},{"journal-title":"Dealing with MPI Bugs at Scale Best Practices Automatic Detection Debugging and Formal Verification","year":"2011","author":"mu?ller","key":"12"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.1145\/1854039.1858330","article-title":"Photoshop scalability: Keeping it simple","author":"cole","year":"2010","journal-title":"ACM Queue"},{"key":"20","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1109\/DSN.2010.5544927","article-title":"AutomaDeD: Automata-based debugging for dissimilar parallel tasks","author":"bronevetsky","year":"2010","journal-title":"Proceedings of the IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.compstruc.2007.01.031"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1115\/1.2372490"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbiomech.2005.06.017"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1115\/IMECE2005-81095"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmps.2005.07.007"},{"key":"27","first-page":"421","article-title":"Programming petascale applications with Charm++ and AMPI","author":"kale","year":"2008","journal-title":"Petascale Computing Algorithms and Applications"},{"key":"28","article-title":"The Uintah framework: A unified heterogeneous task scheduling and runtime system","author":"meng","year":"2012","journal-title":"Proceedings of the International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing (WOLFHPC)"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362663"},{"key":"3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/HPDC.2000.868632","article-title":"Uintah: A massively parallel problem solving environment","author":"germain","year":"2000","journal-title":"Proceedings of the IEEE International Symposium on High Performance Distributed Computing (HPDC)"},{"journal-title":"Scientific Grand Challenges Crosscutting Technologies for Computing at the Exascale","year":"2010","author":"brown","key":"2"},{"key":"10","article-title":"Formal analysis of message passing","author":"siegel","year":"2007","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"1","article-title":"Past, present, and future scalability of the uintah software","author":"berzins","year":"2013","journal-title":"Proceedings of the Blue Waters Workshop"},{"year":"0","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2335755.2335791"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MTAGS.2010.5699431"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2010.5470437"},{"key":"31","first-page":"675","article-title":"CalFuzzer: An extensible active testing framework for concurrent programs","author":"joshi","year":"2009","journal-title":"Proceedings of the International Conference on Computer Aided Verification (CAV)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1838574.1838577"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926432"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043194"}],"event":{"name":"2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,18]]}},"container-title":["2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596023\/6615089\/06615102.pdf?arnumber=6615102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,18]],"date-time":"2024-05-18T11:17:38Z","timestamp":1716031058000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6615102\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/secse.2013.6615102","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}