dblp.uni-trier.dewww.uni-trier.de

Robert Palmer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EERobert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: An Approach to Formalization and Analysis of Message Passing Libraries. FMICS 2007: 164-181
6EERobert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby: Semantics driven dynamic partial-order reduction of MPI-based parallel programs. PADTAD 2007: 43-53
5EESalman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp: Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI 2007: 344-353
2006
4EEIgor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125
3EERobert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby: Gauss: A Framework for Verifying Scientific Computing Software. Electr. Notes Theor. Comput. Sci. 144(3): 95-106 (2006)
2005
2EEVladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani: Sound Transaction-Based Reduction Without Cycle Detection. SPIN 2005: 106-122
2002
1EERobert Palmer, Ganesh Gopalakrishnan: A Distributed Partial Order Reduction Algorithm. FORTE 2002: 370

Coauthor Index

1Steve Barrus [3]
2Michael Delisi [7]
3Ganesh Gopalakrishnan [1] [3] [4] [5] [6] [7]
4William Gropp (William D. Gropp, Bill Gropp) [5]
5Robert M. Kirby (Mike Kirby) [3] [4] [5] [6] [7]
6Vladimir Levin [2]
7Igor Melatti [4]
8Salman Pervez [5]
9Shaz Qadeer [2]
10Sriram K. Rajamani [2]
11Geoffrey Sawaya [4]
12Rajeev Thakur [5]
13Yu Yang [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)