MARY W HALL

Curriculum Vitae

MARY W HALL portrait
  • Professor, School Of Computing
  • Professor, School Of Computing

Publications

Publications

  • M. Hall and P. Basu, "Polyhedral Compiler Technology in Collaboration with Autotuning Important to Domain-Specific Frameworks for HPC," Lecture Notes in Computer Science, 2017, Volume 10136, Languages and Compilers for Parallel Computing, Springer Verlag. Published, 02/2017.
  • "Optimizing LOBPCG: Sparse Matrix Loop and Data Transformations in Action," K. Ahmad, A. Venkat and M. Hall, Lecture Notes in Computer Science, 2017, Volume 10136, Languages and Compilers for Parallel Computing, Springer Verlag, Pages 221-231. Published, 02/2017.
  • Designing a Tunable Nested Data-Parallel Programming System, S. Muralidharan, M. Garland, A. Sidelnik, M. Hall, ACM Transactions on Architecture and Code Optimization, 13(4), December 2016. Published, 12/2016.
  • Compiler Transformation to Generate Hybrid Sparse Computations, H. Zhang, A. Venkat and M. Hall, Proceedings of the Sixth Workshop on Irregular Applications: Architectures and Algorithms (IA3 2016), held in conjunction with SC16, November 2016. Published, 11/2016.
  • "A Novel Variable-Blocking Representation for Efficient Sparse Matrix-Vector Multiply on GPUs," T. Zhao, T. Rusira, K. Ahmad, and M. Hall, Poster, SC16, November, 2016. Published, 11/2016.
  • "Automating Wavefront Parallelization for Sparse Matrix Codes," A. Venkat, M. Mohamadi, J. Park, R. Barik, H. Rong, M. Strout, M. Hall, International Conference on Supercomputing, Networking, Storage and Analysis (SC), Nov. 2016, Best Paper Finalist. Published, 11/2016.
  • "Synchronization Tradeoffs in GPU Implementations of Graph Algorithms,'' R. Kaleem, A. Venkat, S. Pai, M. Hall, K. Pingali, Proceedings of the IEEE International Parallel and Distributed Processing Symposum, May, 2016. Published, 05/2016.
  • "Architecture-Adaptive Code Variant Tuning," S. Muralidharan, A. Roy, M. Hall, M. Garland, and P. Rai, Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April 2016. Published, 04/2016.
  • "Combining Polyhedral and AST Transformations in CHiLL,'' H. Zhang, A. Venkat, P. Basu, and M. Hall, in Proceedings of the International Workshop on Polyhedral Compilation Techniques at HiPEAC, Jan. 2016. Published, 01/19/2016.
  • "Generating Efficient Tensor Contractions for GPUs," T. Nelson, A. Rivera, P. Balaprakash, M. Hall, P.D. Hovland, E. Jessup, B. Norris, Proceedings of the IEEE International Conference on Parallel Processing, Sept. 2015. Published, 09/01/2015.
  • "Loop and Data Transformations for Sparse Matrix Code," A. Venkat, M. Hall, M. Strout, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2015. Published, 06/10/2015.
  • "Compiler-Directed Transformations for Higher-Order Stencils," P. Basu, M. Hall, S. Williams, B. van Straalen, L. Oliker, P. Collela, Proceedings of the International Parallel and Distributed Processing Symposum, May, 2015. Published, 05/2015.
  • "A Collection-Oriented Programming Model for Performance Portability," S. Muralidharan, M. Garland, B. Catanzaro, A. Sidelnik, M. Hall, (poster paper) In Proceedings of the 21st ACM symposium on Principles and practice of parallel programming (PPoPP '15), Feb. 2015. Published, 02/2015.
  • "Roofline Model Toolkit: A Practical Tool for Architectural and Program Analysis,'' Y. J. Lo, S. Williams, B. van Straalen, T.J. Ligocki, M.J. Cordery, N.J. Wright, M.W. Hall, L. Oliker, Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems at SC2014, Nov. 2014. Published, 11/2014.
  • "Converting Stencils to Accumulations for Communication-Avoiding Optimization in Geometric Multigrid", P. Basu, S. Williams, B. van Straalen, L. Oliker, M. Hall, Workshop on Optimizing Stencil Computations (WOSC) at SPLASH 2014, Oct. 2014. Published, 10/2014.
  • "Nitro: A Framework for Adaptive Code Variant Tuning," S. Muralidharan , M. Shantharam, M. Hall, M. Garland, B. Catanzaro, Proceedings of the International Parallel and Distributed Processing Symposium, May, 2014. Published, 05/2014.
  • "Non-affine Extensions to Polyhedral Code Generation," A. Venkat, M. Shantharam, M. Hall, M. M. Strout, Proceedings of the International Conference on Code Generation and Optimization, Feb. 2014. Published, 02/2014.
  • "Compiler Generation and Autotuning of Communication-Avoiding Operators for Geometric Multigrid,'' P. Basu, S. Williams, B. Van Straalen, A. Venkat, L. Oliker, M. Hall, Workshop on Optimizing Stencil Computations, January 2014. Published, 01/2014.
  • "Compiler Generation and Autotuning of Communication-Avoiding Operators for Geometric Multigrid," P. Basu, S. Williams, B. Van Straalen, A. Venkat, L. Oliker, M. Hall, IEEE International Conference on High Performance Computing (HiPC), December 2013. Published, 12/2013.
  • "Towards Making Autotuning Mainstream," P. Basu, M. Hall, M. Khan, S. Maindola, S. Muralidharan, S. Ramalingam, A. Rivera, M. Shantharam, A. Venkat, International Journal of High Performance Computing Applications, 27(4), November 2013. Published, 11/2013.
  • "Rethinking Abstractions for Big Data: Why, Where, How, and What,"Mary Hall, Robert M. Kirby, Feifei Li, Miriah Meyer, Valerio Pascucci, Jeff M. Phillips, Rob Ricci, Jacobus Van der Merwe, Suresh Venkatasubramanian, ArXIV eprint arXiv:1306.3295, June 2013. Published, 06/2013.
  • Malik Khan, Protonu Basu, Gabe Rudy, Mary Hall, Chun Chen, and Jacqueline Chame. 2013. A script-based autotuning compiler system to generate high-performance CUDA code. ACM Trans. Archit. Code Optim. 9, 4, Article 31 (January 2013). Published, 01/01/2013.
  • "Hierarchical parallelization and optimization of high-order stencil computations on multicore clusters," H. Dursun, M. Kunaseth, K. Nomura, J. Chame, R.F. Lucas, C. Chen, M. Hall, R.K. Kalia, A. Nakano, P. Vashishta, The Journal of Supercomputing, 62(2):946-966, December 2012. Published, 12/2012.
  • "Understanding ACM's Past," M. Hall, Communications of the ACM}, 55(12), December 2012. Published, 12/2012.
  • Improving High-Performance Sparse Libraries using Compiler-Assisted Specialization : A PETSc Case Study,'' Shreyas Ramalingam, M. Hall and C. Chen, Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS), held in conjunction with International Parallel and Distributed Processing Symposium, May 2012. Published, 05/2012.
  • "Analyzing the eff ect of compiler optimizations on application reliability," M. Demertzi, M. Annavaram and M. Hall, Proceedings of the IEEE International Symposium on Workload Characterization, Nov., 2011. Published, 11/2011.
  • "Understanding the Behavior of Pthread Applications on Non-Uniform Cache Architectures," G. S. Sachdev, K. Sudan, M. W. Hall, and R. Balasubramonian, (poster paper), In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, Oct. 2011. Published, 10/2011.
  • "Exascale Programming Challenges Report of the 2011 Workshop on Exascale Programming Challenges Marina del Rey, July 27-29, 2011", Saman Amarasinghe (MIT), Mary Hall (U. Utah), Richard Lethin (Reservoir Labs), Keshav Pingali (U. Texas-Austin), Dan Quinlan (LLNL), Vivek Sarkar (Rice U.), John Shalf (LBNL), Robert Lucas (USC/ISI), Katherine Yelick (LBNL), Pavan Balaji (ANL), Pedro C. Diniz (USC/ISI), Alice Koniges (LBNL), Marc Snir (ANL), Sonia R. Sachs (ASCR), October 2011. Released, 10/2011.
    http://science.energy.gov/~/media/ascr/pdf/program...
  • "Generating High Performance Libraries using CHiLL and Autotuning," S. Ramalingam and M. Hall, (poster), InternationalWorkshop on Languages and Compilers for Parallel Computing, Sept. 2011. Received Best Poster award. Published, 09/2011.
  • "Auto-tuning Full Applications: A Case Study", A. Tiwari, C. Chen, C. Liao, J. Chame, J. Hollingsworth, M. Hall and D. Quinlan, International Journal of High Performance Computing Applications, 25(3):286-294, Aug. 2011. Published, 08/2011.
  • "Domain-Speci c Optimization of Signal Recognition Targeting FPGAs," M. Demertzi, P.C. Diniz, M.W. Hall, A.C. Gilbert and Y.Wang, ACM Transactions on Recon gurable Technology and Systems, 4(2), May, 2011. Published, 05/2011.
  • "Evaluating graph coloring on GPUs," P. Grosset, P. Zhu, S. Liu, S. Venkatasubramanian, and M. Hall. In Proceedings of the 16th ACM symposium on Principles and practice of parallel programming (PPoPP '11), Feb. 2011. Received runner-up for Best Student Poster. Published, 02/2011.
  • "EigenCFA: Accelerating Flow Analysis with GPUs," T. Prabhu, S. Ramalingam , M. Might, M. Hall, In ACM SIGPLAN Principles of Programming Languages, Jan. 2011. Published, 01/2011.
  • “A Programming Language Interface to Describe Transformations and Code Generation,” G. Rudy, M. Khan, M. Hall, C. Chen, and J. Chame, Lecture Notes in Computer Science, 2011, Volume 6548, Languages and Compilers for Parallel Computing, Springer Verlag, Pages 136- 150. Published, 01/2011.
  • ``Languages and Compilers for Autotuning,'' M.W. Hall and J. Chame, In Performance Tuning of Scientific Applications, edited by David Bailey and Robert F. Lucas. Taylor and Francis publishers, Nov. 2010. Published, 11/2010.
    http://www.taylorandfrancis.com/books/details/9781...
  • B. Peterson, M. Datar, M. Hall and R. Whitaker, "GPU Accelerated Particle System for Triangulated Surface Meshes," (poster paper) Symposium on Application Accelerators for High Performance Computing. Published, 07/2010.
  • Gagandeep S. Sachdev, Vishay Vanjani and Mary W. Hall, "Takagi Factorization on GPU using CUDA," (poster paper), Symposium on Application Accelerators for High Performance Computing. Published, 07/2010.
  • "Autotuning and Specialization: Speeding up Nek5000 with Compiler Technology,'' Jaewook Shin, Mary W. Hall, Jacqueline Chame, Chun Chen, Paul Fischer, Paul D. Hovland, International Conference on Supercomputing, June, 2010. Published, 06/2010.
  • "Parameterized specification, configuration and execution of data-intensive scientific workflows,'' V.S. Kumar, T. Kurc, V. Ratnakar, J. Kim, G. Mehta, K. Vahi, Y.L. Nelson, P. Sadayappan, E. Deelman, Y. Gil, M. Hall and J. Saltz, Cluster Computing, April 2010. Published, 04/2010.
  • "Autotuning and Specialization: Speeding up Matrix Multiply for Small Matrices with Compiler Technology,''Jaewook Shin, Mary W. Hall, Jacqueline Chame, Chun Chen, Paul D. Hovland, In Software Automatic Tuning: from concepts to state-of-the-art results, edited by Keita Teranishi, John Cavazos, Ken Naono and Reiji Suda, Springer-Verlag Publishers, 2010. Published, 01/2010.
    http://www.springer.com/engineering/circuits+%26+s...
  • "Loop Transformation Recipes for Code Generation and Auto-Tuning," Mary Hall, Jacqueline Chame, Chun Chen, Jaewook Shin and Gabe Rudy, Lecture Notes in Computer Science, 2010, Volume 5898, Languages and Compilers for Parallel Computing, Pages 50-64. Published, 01/2010.
    http://www.springerlink.com/content/e484w874271343...
  • Compiler Research: The Next Fifty Years, M. Hall, D. Padua and K. Pingali, Communications of the ACM, Feb. 2009. Published, 2009.
    http://mags.acm.org/communications/200902/
  • "Model-Guided Autotuning of High-Productivity Languages for Petascale Computing,'' H. Zima M. Hall, C. Chen, J. Chame, invited paper for Zima keynote, Proceedings of the International Symposium on High Performance Distributed Computing, June, 2009. Published, 2009.
  • "An Integrated Framework for Parameter-based Optimization of Scientific Workflows,'' V. S. Kumar, P. Sadayappan, G. Mehta, K. Vahi, E. Deelman, V. Ratnakar, J. Kim, Y. Gil, M. Hall, T. Kurc, J. Saltz, Proceedings of the International Symposium on High Performance Distributed Computing, June, 2009. Published, 2009.
  • "Self-Configuring Applications for Heterogeneous Systems: Program Composition and Optimization Using Cognitive Techniques,'' M. Hall, Y. Gil and R. Lucas. Proceedings of the IEEE, Special Issue on Cutting-Edge Computing, Vol. 96(5), May 2008. Published, 05/01/2008.
    http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arn...
  • "Model-Guided Performance Tuning of Parameter Values: A Case Study with Molecular Dynamics Visualization,'' Y. Nelson, B. Bansal, M. Hall, A. Nakano, and K. Lerman, Proceedings of the Workshop on High-Level Parallel Programming Models and Supportive Environments, held in conjunction with IPDPS '08, April, 2008. Published, 04/01/2008.
    http://www.informatik.uni-trier.de/~ley/db/conf/ip...
  • "Designing and Parameterizing a Workflow for Optimization: A Case Study in Biomedical Imaging,'' V. Kumar, M. Hall, J. Kim, V. Ratnakar, T. Kurc, E. Deelman, J. Saltz, Proceedings of the Workshop on Next Generation Software, held with IPDPS '08, April, 2008. Published, 04/01/2008.
    http://www.informatik.uni-trier.de/~ley/db/conf/ip...
  • "The Potential of Computation Reuse in High-Level Optimization of a Signal Recognition System,'' M. Demertzi, P. C. Diniz, M. W. Hall, A. C. Gilbert and Y. Wang, Proceedings of the Workshop on Next Generation Software, held in with IPDPS '08, April, 2008. Published, 04/01/2008.
    http://www.informatik.uni-trier.de/~ley/db/conf/ip...
  • "PERI Auto-Tuning," David H. Bailey, Jacqueline Chame, Chun Chen, Jack Dongarra, Mary Hall, Jeffrey K. Hollingsworth, Paul Hovland, Shirley Moore, Keith Seymour, Jaewook Shin, Ananta Tiwari, Sam Williams, Haihang You, Journal of Physics: Conference Series, Vol. 125, 2008. Published, 2008.
    http://www.iop.org/EJ/article/1742-6596/125/1/0120...