Publications

Export 12 results:
Filters: Author is Sriram Aananthakrishnan  [Clear All Filters]
2010
Vo, A., S. Aananthakrishnan, G. Gopalakrishnan, B. R. de Supinski, M. Schulz, and G. Bronevetsky, "A Scalable and Distributed Dynamic Formal Verifier for MPI Programs", Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis SC '10: IEEE Computer Society Washington, DC, pp. 1-10, nov, 2010.