1. Pervez S, Gopalakrishnan G, Kirby RM, Thakur R, Gropp W. Formal verification of programs that use MPI one-sided communication. Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM/MPI), Bonn, Germany (Lecture Notes in Computer Science, vol. 4192), 2006; 30â39. Outstanding Paper.
2. Godefroid P, Nagappan N. Concurrency at Microsoft: An exploratory survey. EC2: Workshop on Exploiting Concurrency Efficiently and Correctly. Available at: http://www.cs.utah.edu/ec2/papers/ec2-pp1.pdf [15 December 2009].
3. MPI Forum. MPI: A message-passing interface standard, version 2.1, June 2008. Available at: http://www.mpi-forum.org [15 December 2009].
4. Rushby J. Model checking and other ways of automating formal methods, panel on model checking for concurrent programs software quality week, 1995. Available at: http://www.csl.sri.com/reports/postscript/sqw95.ps.gz [15 December 2009].
5. Clarke E, Emerson EA, Sifakis J. The 2007 ACM Turing Award given to the original proponents and developers of Model Checking for their pioneering work that began in 1981. Available at: http://awards.acm.org/homepage.cfm?awd=140 [15 December 2009].