Skip to main content
Jump to: navigation, search

Difference between revisions of "PTP/articles"

< PTP
(Articles and Papers)
(Articles and Papers)
Line 3: Line 3:
 
=== Articles and Papers ===
 
=== Articles and Papers ===
  
* [http://www.cs.utah.edu/news/GEM.pdf A Parallel Tools Platfrom Integration of MPI Formal Analysis] - article in [http://www.cs.utah.edu/news/teapot/Spring2010.pdf The Utah Teapot] newsletter of the School of Computing, University of Utah, by Chris Derrick, Alan Humphrey and Ganesh Gopalakrishnan, Spring 2010
+
* [http://www.cs.utah.edu/formal_verification/GEM/web/papers/GEM_PSTI_2010.pdf GEM: Graphical Explorer of MPI Programs] - [http://www.eecs.berkeley.edu/~fuerling/psti/docs/gem-psti-2010.pdf slides PDF], Proceedings of the First International Workshop on Parallel Software Tools and Tool Infrastructures, Sept. 2010
 +
* [http://www.cs.utah.edu/news/GEM.pdf A Parallel Tools Platform Integration of MPI Formal Analysis] - article in [http://www.cs.utah.edu/news/teapot/Spring2010.pdf The Utah Teapot] newsletter of the School of Computing, University of Utah, by Chris Derrick, Alan Humphrey and Ganesh Gopalakrishnan, Spring 2010
 
* Technical Report: [http://www.cs.utah.edu/research/techreports/2009/pdf/UUCS-09-007.pdf  "GEM: Graphical Explorer for MPI Programs"] by Alan Humphrey, Chris Derrick,  Ganesh Gopalakrishnan and Beth Tibbitts
 
* Technical Report: [http://www.cs.utah.edu/research/techreports/2009/pdf/UUCS-09-007.pdf  "GEM: Graphical Explorer for MPI Programs"] by Alan Humphrey, Chris Derrick,  Ganesh Gopalakrishnan and Beth Tibbitts
* GEM Poster:  [http://www.cs.utah.edu/formal_verification/ISP-Eclipse/PTP/GEM_Poster.ppt An Integration of Dynamic MPI Formal Verification Within Eclipse PTP]  by Alan Humphrey, Chris Derrick, and Ganesh Gopalakrishnan, won first place in the [http://www.cs.utah.edu/news/homepage/archives/2010/03/2010_soc_poster.html 2010 University of Utah School of Computing Poster Competition.]
+
* GEM Poster:  [http://www.cs.utah.edu/formal_verification/GEM/PTP/GEM_Poster.ppt An Integration of Dynamic MPI Formal Verification Within Eclipse PTP]  by Alan Humphrey, Chris Derrick, and Ganesh Gopalakrishnan, won first place in the [http://www.cs.utah.edu/news/homepage/archives/2010/03/2010_soc_poster.html 2010 University of Utah School of Computing Poster Competition.]
 
* ''An Integrated Approach To Improving The Parallel Application Development Process'', Proceedings of the 14th International Workshop on High-Level Parallel Programming Models and Supportive Environments (to appear), May 2009
 
* ''An Integrated Approach To Improving The Parallel Application Development Process'', Proceedings of the 14th International Workshop on High-Level Parallel Programming Models and Supportive Environments (to appear), May 2009
 
* ''An Integrated Environment for the Development of Parallel Applications'', Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008
 
* ''An Integrated Environment for the Development of Parallel Applications'', Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008

Revision as of 15:56, 30 September 2010

Articles and Other Documents about PTP

Articles and Papers

Presentations

Tutorials

For tutorial materials see PTP Tutorials page.

Other sources of information

PTP help: http://www.eclipse.org/ptp/doc.php - an online version of the Help content contained within the PTP plugins ... and more

Copyright © Eclipse Foundation, Inc. All Rights Reserved.