Formal methods for surviving the jungle of heterogeneous parallelism

Update item information
Publication Type pre-print
School or College College of Engineering
Department Computing, School of
Creator Gopalakrishnan, Ganesh
Title Formal methods for surviving the jungle of heterogeneous parallelism
Date 2012-01-01
Description 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.
Type Text
Publisher Institute of Electrical and Electronics Engineers (IEEE)
Volume 2012
First Page 1321
Last Page 1324
Dissertation Institution University of Utah
Language eng
Bibliographic Citation Gopalakrishnan, G. (2012). Formal methods for surviving the jungle of heterogeneous parallelism. Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012, 6270796, 1321-4.
Rights Management (c) 2012 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Format Medium application/pdf
Format Extent 289,215 bytes
Identifier uspace,18015
Permissions Reference URL https://collections.lib.utah.edu/details?id=1277666
ARK ark:/87278/s6891qnp
Setname ir_uspace
Date Created 2012-11-13
Date Modified 2017-10-19
ID 708211
Reference URL https://collections.lib.utah.edu/ark:/87278/s6891qnp
Back to Search Results