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., A. Malony, W. - M. Hwui, and R. Vuduc, Vancouver: Designing a Next-Generation Software Infrastructure for Productive Heterogeneous Exascale Computing, , 2011.
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.
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.
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.