Paper Info
Title
Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development
Abstract
Many disruptive changes are happening in the arena of parallel computing, including the use of multiple compute element types (CPUs and GPUs), memory and interconnect types, as well as multiple concurrency models. In the face of these changes, cybersoftware development and debugging will become increasingly hard, requiring principled (formal) debugging approaches that are focused on anticipated classes of bugs. Academic research groups must play a central role in the creation of formal debugging solutions that are to become part of the nation's cyberinfrastructure. These solutions must be scalable and prove effective for debugging the parallel and distributed systems being planned for the coming decade. However, at present, there isn't a critical mass of academic groups engaged in designing such debugging solutions for HPC. In this paper, we summarize some of our own experiences in creating verification tools based on formal principles, pointing out the few instances in which we managed to impact practice. Our key observation is that our successes went hand-in-hand with collaborative tool development with practitioners. Seeking creative ways to facilitate such collaborations should therefore be high priority in our cyberinfrastructure roadmap.
Year
DOI
Venue
2015
10.1145/2753524.2753531
SCREAM@HPDC
Field
DocType
Citations 
Code coverage,Critical mass (software engineering),Software engineering,Computer science,Concurrency,Cyberinfrastructure,Debugging,Algorithmic program debugging,Scalability,Distributed computing
Conference
0
PageRank 
References 
Authors
0.34
24
2
Name
Order
Citations
PageRank
Ganesh Gopalakrishnan11619130.11
Jeffrey Sawaya200.34