Search the dblp DataBase

Publications of Author

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