Publications

Export 12 results:
Filters: Author is Stephen Siegel  [Clear All Filters]
2011
Gopalakrishnan, G., R. M. Kirby, S. Siegel, R. Thakur, W. Gropp, E. Lusk, B. R. de Supinski, M. Schulz, and G. Bronevetsky, "Formal analysis of MPI-based parallel programs", Communications of the ACM, vol. 54, issue 12, pp. 82-91, December, 2011.