Publications

Export 12 results:
Filters: First Letter Of Last Name is V  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
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.
Vetter, J.., S.. Lee, D.. Li, G.. Marin, C.. McCurdy, J.. Meredith, P.. Roth, and K.. Spafford, "Quantifying Architectural Requirements of Contemporary Extreme-Scale Scientific Applications", 4th International Workshop on Performance Modeling, Benchmarking and Simulation of HPC Systems (PMBS13), Denver, Colorado, November, 2013.
Vetter, J., A. Malony, W. - M. Hwui, and R. Vuduc, Vancouver: Designing a Next-Generation Software Infrastructure for Productive Heterogeneous Exascale Computing, , 2011.
Venkat, A., M. Shantharam, M. Hall, and M. Strout, "Non-affine Extensions to Polyhedral Code Generation", IEEE/ACM International Symposium on Code Generation and Optimization (CGO): ACM, pp. 185, 02/2014.
Venkat, A., M. W. Hall, and M. Strout, "Loop and data transformations for sparse matrix code", Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, 2015.