Paper Info
Title
Formal Methods for Surviving the Jungle of Heterogeneous Parallelism
Abstract
The parallel programming community will soon be entering the `jungle' of heterogeneous hardware and software. Unfortunately, we are not adequately preparing future programmers (today's students) to cope with the many challenges of heterogeneous concurrency, especially in their ability to rigorously specify and verify concurrent systems. Concerted action is urgently needed to create a body of education material supplemented by effective software tools that help gain working knowledge of specification and verification techniques. We suggest funding models and incentives that can help create this material and put them into wide practice.
Year
DOI
Venue
2012
10.1109/IPDPSW.2012.164
IPDPS Workshops
Keywords
Field
DocType
education material,concurrent system,concerted action,help gain,future programmer,formal methods,heterogeneous hardware,heterogeneous parallelism,heterogeneous concurrency,effective software tool,verification technique,parallel programming community,programming,materials,parallel programming,concurrent computing,formal specification,formal verification
Incentive,Computer science,Concurrency,Parallel computing,Formal specification,Software,Concurrent computing,Jungle,Formal methods,Formal verification,Distributed computing
Conference
ISSN
Citations 
PageRank 
2164-7062
0
0.34
References 
Authors
5
1
Name
Order
Citations
PageRank
Ganesh Gopalakrishnan11619130.11