Mary W. Hall
Orcid: 0000-0002-3058-7573Affiliations:
- University of Utah, Salt Lake City, Utah, USA
According to our database1,
Mary W. Hall
authored at least 150 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.utah.edu
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Archit. Code Optim., March, 2024
Bricks: A high-performance portability layer for computations on block-structured grids.
Int. J. High Perform. Comput. Appl., 2024
Proceedings of the 53rd International Conference on Parallel Processing, 2024
2023
Polyhedral Specification and Code Generation of Sparse Tensor Contraction with Co-iteration.
ACM Trans. Archit. Code Optim., March, 2023
CoRR, 2023
Departmental BPC Plans 2 - Finalizing your Plan: Context, Style, Formatting, and Verification on BPCnet.org.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023
Departmental BPC Plans 1 - Getting Started: Selecting Goals and Activities for Broadening Participation in Computing.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023
An NSF REU Site Based on Trust and Reproducibility of Intelligent Computation: Experience Report.
Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023
Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023
Proceedings of the 37th International Conference on Supercomputing, 2023
Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization, 2023
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023
2022
Autotuning PolyBench benchmarks with LLVM Clang/Polly loop optimization pragmas using Bayesian optimization.
Concurr. Comput. Pract. Exp., 2022
Proceedings of the Languages and Compilers for Parallel Computing, 2022
2021
Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization (extended version).
CoRR, 2021
Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021
Customized Monte Carlo Tree Search for LLVM/Polly's Composable Loop Optimization Transformations.
Proceedings of the 2021 International Workshop on Performance Modeling, 2021
Proceedings of the MAPS@PLDI 2021: Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming, 2021
A Roadmap to Robust Science for High-throughput Applications: The Scientists' Perspective.
Proceedings of the 17th IEEE International Conference on eScience, 2021
A Roadmap to Robust Science for High-throughput Applications: The Developers' Perspective.
Proceedings of the IEEE International Conference on Cluster Computing, 2021
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021
2020
ACM Trans. Archit. Code Optim., 2020
Proceedings of the 10th IEEE/ACM Workshop on Irregular Applications: Architectures and Algorithms, 2020
Proceedings of the Languages and Compilers for Parallel Computing, 2020
Proceedings of the Languages and Compilers for Parallel Computing, 2020
Proceedings of the HPDC '20: The 29th International Symposium on High-Performance Parallel and Distributed Computing, 2020
2019
Int. J. High Perform. Comput. Appl., 2019
Proceedings of the International Conference for High Performance Computing, 2019
Sparse computation data dependence simplification for efficient compiler-generated inspectors.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
SWIRL++ : Evaluating Performance Models to Guide Code Transformation in Convolutional Neural Networks.
Proceedings of the Languages and Compilers for Parallel Computing, 2019
Proceedings of the OpenMP: Conquering the Full Hardware Spectrum, 2019
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019
2018
The Sparse Polyhedral Framework: Composing Compiler-Generated Inspector-Executor Code.
Proc. IEEE, 2018
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018
2017
ACM Trans. Parallel Comput., 2017
Compiler-based code generation and autotuning for geometric multigrid on GPU-accelerated supercomputers.
Parallel Comput., 2017
Inroads, 2017
Proceedings of the Languages and Compilers for Parallel Computing, 2017
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017
2016
ACM Trans. Archit. Code Optim., 2016
Proceedings of the 6th Workshop on Irregular Applications: Architecture and Algorithms, 2016
Proceedings of the International Conference for High Performance Computing, 2016
Polyhedral Compiler Technology in Collaboration with Autotuning Important to Domain-Specific Frameworks for HPC.
Proceedings of the Languages and Compilers for Parallel Computing, 2016
Proceedings of the Languages and Compilers for Parallel Computing, 2016
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016
2015
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015
Proceedings of the 44th International Conference on Parallel Processing, 2015
2014
Proceedings of the High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation, 2014
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014
2013
ACM Trans. Archit. Code Optim., 2013
Compiler generation and autotuning of communication-avoiding operators for geometric multigrid.
Proceedings of the 20th Annual International Conference on High Performance Computing, 2013
2012
Hierarchical parallelization and optimization of high-order stencil computations on multicore clusters.
J. Supercomput., 2012
Improving High-Performance Sparse Libraries Using Compiler-Assisted Specialization: A PETSc Case Study.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012
2011
ACM Trans. Reconfigurable Technol. Syst., 2011
Int. J. High Perform. Comput. Appl., 2011
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the 2011 IEEE International Symposium on Workload Characterization, 2011
Understanding the Behavior of Pthread Applications on Non-Uniform Cache Architectures.
Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011
2010
Parameterized specification, configuration and execution of data-intensive scientific workflows.
Clust. Comput., 2010
Proceedings of the Languages and Compilers for Parallel Computing, 2010
Proceedings of the 24th International Conference on Supercomputing, 2010
Autotuning and Specialization: Speeding up Matrix Multiply for Small Matrices with Compiler Technology.
Proceedings of the Software Automatic Tuning, From Concepts to State-of-the-Art Results, 2010
2009
Evaluating compiler technology for control-flow optimizations for multimedia extension architectures.
Microprocess. Microsystems, 2009
Int. J. High Perform. Comput. Appl., 2009
Proceedings of the Languages and Compilers for Parallel Computing, 2009
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009
Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing, 2009
Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing, 2009
Proceedings of the ACM/SIGDA 17th International Symposium on Field Programmable Gate Arrays, 2009
2008
Self-Configuring Applications for Heterogeneous Systems: Program Composition and Optimization Using Cognitive Techniques.
Proc. IEEE, 2008
Model-guided performance tuning of parameter values: A case study with molecular dynamics visualization.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
Designing and parameterizing a workflow for optimization: A case study in biomedical imaging.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
The potential of computation reuse in high-level optimization of a signal recognition system.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
2007
Model-Guided Empirical Optimization for Multimedia Extension Architectures: A Case Study.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
A Combined Hardware/Software Optimization Framework for Signal Representation and Recognition.
Proceedings of the Computational Science, 2007
2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the Workshop on Data Management on New Hardware, 2006
2005
ACM Trans. Program. Lang. Syst., 2005
Microprocess. Microsystems, 2005
Int. J. Parallel Program., 2005
A Systematic Approach to Model-Guided Empirical Search for Memory Hierarchy Optimization.
Proceedings of the Languages and Compilers for Parallel Computing, 2005
Proceedings of the ACM/SIGDA 13th International Symposium on Field Programmable Gate Arrays, 2005
Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005
Combining Models and Guided Empirical Search to Optimize for Multiple Levels of the Memory Hierarchy.
Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005
2004
Proceedings of the Languages and Compilers for High Performance Computing, 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004
Proceedings of the Compiler Construction, 13th International Conference, 2004
2003
J. Instr. Level Parallelism, 2003
Proceedings of the Languages and Compilers for Parallel Computing, 2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of the 40th Design Automation Conference, 2003
Using estimates from behavioral synthesis tools in compiler-directed design space exploration.
Proceedings of the 40th Design Automation Conference, 2003
2002
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002
Proceedings of the 16th international conference on Supercomputing, 2002
Proceedings of the 10th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2002), 2002
Compiler-Controlled Caching in Superword Register Files for Multimedia Extension Architectures.
Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT 2002), 2002
2001
Proceedings of the Languages and Compilers for Parallel Computing, 2001
2000
IEEE Trans. Parallel Distributed Syst., 2000
Proceedings of the Intelligent Memory Systems, Second International Workshop, 2000
1999
Proceedings of the ACM/IEEE Conference on Supercomputing, 1999
Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999
Proceedings of the Parallel and Distributed Processing, 1999
1998
Proceedings of the Languages, 1998
Proceedings of the 12th international conference on Supercomputing, 1998
Proceedings of the 12th international conference on Supercomputing, 1998
1996
IEEE Trans. Parallel Distributed Syst., 1996
Int. J. Parallel Program., 1996
1995
Detecting Coarse - Grain Parallelism Using an Interprocedural Parallelizing Compiler.
Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995
Interprocedural Parallelization Analysis: A Case Study.
Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995
Proceedings of the Languages and Compilers for Parallel Computing, 1995
Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, 1995
1994
ACM SIGPLAN Notices, 1994
1993
Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993
Proceedings of the Languages and Compilers for Parallel Computing, 1993
1992
Proceedings of the Proceedings Supercomputing '92, 1992
1991
Proceedings of the Proceedings Supercomputing '91, 1991
1990