2009

A. Vo, S. Vakkalanka, M. Delisi, G. Gopalakrishnan, R.M. Kirby, R. Thakur. “Formal Verification of Practical MPI Programs,” In Proceedings of 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Raleigh, NC, February 14-18, 2009.

H.T. Vo, D.K. Osmari, B. Summa, J.L.D. Comba, V. Pascucci, C.T. Silva. “Parallel Dataflow Scheme for Streaming (Un)Structured Data,” SCI Technical Report, No. UUSCI-2009-004, SCI Institute, University of Utah, 2009.

Huy T. Vo, Clàudio T. Silva. “Multi-Threaded Streaming Pipeline For VTK,” SCI Technical Report, No. UUSCI-2009-005, SCI Institute, University of Utah, 2009.

Y. Wan, H. Otsuna, C.-B. Chien, C.D. Hansen. “An Interactive Visualization Tool for Multi-channel Confocal Microscopy Data in Neurobiology Research,” SCI Technical Report, No. UUSCI-2009-001, SCI Institute, University of Utah, 2009.

Y. Wan, H. Otsuna, C.-B. Chien, C.D. Hansen. “An Interactive Visualization Tool for Multi-Channel Confocal Microscopy Data in Neurobiology Research,” In IEEE Transactions on Visualization and Computer Graphics, Proceedings of the 2009 IEEE Visualization Conference, pp. (accepted). Sept/Oct, 2009.