The University of Arizona
banner image

Michelle Mills Strout

Publications


Copyrights to the following papers are held by the publishers. The attached files are preprints. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Recent

Extreme Heterogeneity 2018: DOE ASCR Basic Research Needs Workshop on Extreme Heterogeneity, J.S. Vetter, R. Brightwell, M. Gokhale, P. McCormick, R. Ross, J. Shalf, K. Antypas, D. Donofrio, A. Dubey, T. Humble, C. Schuman, B. Van Essen, S. Yoo, A. Aiken, D. Bernholdt, S. Byna, K. Cameron, F. Cappello, B. Chapman, A. Chien, M. Hall, R. Hartman-Baker, Z. Lan, M. Lang, J. Leidel, S. Li, R. Lucas, J. Mellor-Crummey, P. Peltz, Jr., T. Peterka, M. Strout, and J. Wilke, US Department of Energy, Office of Science, Advanced Scientific Computing Research, January 2018, (pdf), (BibTEX).

The Sparse Polyhedral Framework: Composing Compiler-Generated Inspector-Executor Code, Michelle Mills Strout, Mary Hall, and Catherine Olschanowsky, Proceedings of the IEEE, November, 2018, (link to pdf), (BibTEX).

ParSy: Inspection and Transformation of Sparse Matrix Computations for Parallelism, Kazem Cheshmi, Shoaib Kamil, Michelle Mills Strout, and Maryam Mehri Dehnavi, In Supercomputing (SC), November, 2018, (pdf), (BibTEX).

Extending Index-Array Properties for Data Dependence Analysis, Mahdi Soltan Mohammadi, Kazem Cheshmi, Maryam Mehri Dehnavi, Anand Venkat, Tomofumi Yuki, and Michelle Mills Strout, Languages and Compilers for Parallel Computing, October 2018, , (BibTEX).

Sparse Matrix Code Dependence Analysis Simplification at Compile Time, Mahdi Soltan Mohammadi, Kazem Cheshmi, Ganesh Gopalakrishnan, Mary Hall, Maryam Mehri Dehnavi, Anand Venkat, Tomofumi Yuki, and Michelle Mills Strout, arXiv:1807.10852, July 2018, (pdf), (BibTEX).

Refereed Papers

The Sparse Polyhedral Framework: Composing Compiler-Generated Inspector-Executor Code, Michelle Mills Strout, Mary Hall, and Catherine Olschanowsky, Proceedings of the IEEE, November, 2018, (link to pdf), (BibTEX).

ParSy: Inspection and Transformation of Sparse Matrix Computations for Parallelism, Kazem Cheshmi, Shoaib Kamil, Michelle Mills Strout, and Maryam Mehri Dehnavi, In Supercomputing (SC), November, 2018, (pdf), (BibTEX).

Extending Index-Array Properties for Data Dependence Analysis, Mahdi Soltan Mohammadi, Kazem Cheshmi, Maryam Mehri Dehnavi, Anand Venkat, Tomofumi Yuki, and Michelle Mills Strout, Languages and Compilers for Parallel Computing, October 2018, , (BibTEX).

Sympiler: Transforming Sparse Matrix Codes by Decoupling Symbolic Analysis, Kazem Cheshmi, Maryam Mehri Dehnavi, Shoaib Kamil, and Michelle Mills Strout, In Supercomputing (SC), November, 2017, (pdf), (BibTEX).

Reverse-mode algorithmic differentiation of an OpenMP-parallel compressible flow solver, Jan Huckelheim, Paul Hovland, Michelle Mills Strout, and Jens-Dominik Muller, International Journal of High Performance Computing Applications, June 29, 2017, (link to pdf), (BibTEX).

Language-Agnostic Optimization and Parallelization for Interpreted Languages, Michelle Mills Strout, Saumya Debray, Katherine E. Isaacs, Barbara Kreaseck, Julio Cardenas-Rodriguez, Bonnie Hurwitz, Kat Volk, Sam Badger, Jesse Bartels, Ian Bertolacci, Sabin Devkota, Anthony Encinas, Ben Gaska, Brandon Neth, Theo Sackos, Jon Stephens, Sarah Willer, and Babak Yadergari, Blue Sky paper in The 30th International Workship on Languages and Compilers for Parallel Computing (LCPC), October, 2017, , (BibTEX).

Automating Wavefront Parallelization for Sparse Matrix Computations, Anand Venkat, Mahdi Soltan Mohammadi, Hongbo Rong, Rajkishore Barik, Jongsoo Park, Michelle Mills Strout, and Mary Hall, Nominated for a best paper award! In Supercomputing (SC), November, 2016, (pdf), (BibTEX).

Analyzing Parallel Programming Models for Magnetic Resonance Imaging, Forest Danford, Eric Welch, Julio Cardenas-Rodriguez, and Michelle Mills Strout, The 29th International Workship on Languages and Compilers for Parallel Computing (LCPC), September, 2016, (pdf), (BibTEX).

Identifying and Scheduling Loop Chains Using Directives, Ian J. Bertolacci, Michelle Mills Strout, Stephen Guzik, Jordan Riley, and Catherine Olschanowsky, In the Third International Workshop on Accelerator Programming Using Directives at SC, November, 2016, (pdf), (BibTEX).

An Approach for Code Generation in the Sparse Polyhedral Framework, Michelle Mills Strout, Alan LaMielle, Larry Carter, Jeanne Ferrante, Barbara Kreaseck, and Catherine Olschanowsky, Parallel Computing, vol. 53, April 2016, (pdf), (BibTEX).

Loop and Data Transformations for Sparse Matrix Code, Anand Venkat, Mary Hall, and Michelle Mills Strout, In Programming Languages Design and Implementation (PLDI), June 2015, (pdf), (BibTEX).

Parameterized Diamond Tiling for Stencil Computations with Chapel parallel iterators, Ian Bertolacci, Catherine Olschanowsky, Ben Harshbarger, Bradford L. Chamberlain, David G. Wonnacott, and Michelle Mills Strout, In the Proceedings of the 29th International Conference on Supercomputing (ICS), Summer 2015, (pdf), (BibTEX).

A Study on Balancing Parallelism, Data Locality, and Recomputation in Existing PDE Solvers, Catherine Olschanowsky, Michelle Mills Strout, Stephen Guzik, John Loffeld, and Jeffrey Hittinger, Supercomputing (SC), November 2014, (pdf), (BibTEX).

An Approach for Proving the Correctness of Inspector/Executor Transformations, Michael Norrish and Michelle Mills Strout, Languages and Compilers for Parallel Computing (LCPC), September 2014, (pdf), (BibTEX).

Generalizing Run-time Tiling with the Loop Chain Abstraction, Michelle Mills Strout, Fabio Luporini, Christopher D. Krieger, Carlo Bertolli, Gheorghe-Teodor Bercea, Catherine Olschanowsky, J. Ramanujam, and Paul H.J. Kelly, In the 28th IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 19-23, 2014, (pdf), (BibTEX).

Non-affine Extensions to Polyhedral Code Generation, Anand Venkat, Manu Shantharam, Mary Hall, and Michelle Mills Strout, In the International Symposium on Code Generation and Optimization (CGO), Feb 15-19, 2014, (pdf), (BibTEX).

An optimization-based approach to lookup table program transformations, Chris Wilcox and Michelle Mills Strout and James Bieman, Journal of Software: Evolution and Process, September 2013, (doi), (BibTEX).

Programming Abstractions to Separate Concerns in Semi-Regular Grids, Andrew Stone and Michelle Mills Strout, In Proceedings of the 27th International Conference on Supercomputing (ICS), June 10, 2013, (pdf), (BibTEX).

Loop Chaining: A Programming Abstraction For Balancing Locality and Parallelism, Christopher D. Krieger, Michelle Mills Strout, Catherine Olschanowsky, Andrew Stone, Stephen Guzik, Xinfeng Gao, Carlo Bertolli, Paul H.J. Kelly, Gihan Mudalige, Brian Van Straalen, and Sam Williams, In Proceedings of the 18th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS), May, 20, 2013, (pdf), (BibTEX).

On the Scalability of Loop Tiling Techniques, Dave G. Wonnacott and Michelle Mills Strout, Proceedings of the 3rd International Workshop on Polyhedral Compilation Techniques (IMPACT), January 21, 2013, (pdf), (BibTEX).

Executing Optimized Irregular Applications Using Task Graphs Within Existing Parallel Models, Christopher D. Krieger and Michelle Mills Strout, Proceedings of the Second Workshop on Irregular Applications: Architectures and Algorithms (IA^3) held in conjunction with SC12, November 11, 2012, (pdf), (BibTEX).

Optimizing Expression Selection for Lookup Table Program Transformation, Chris Wilcox and Michelle Mills Strout and James Bieman, Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), September 2012, (pdf), (BibTEX).

A Fast Parallel Graph Partitioner for Shared Memory Inspector/Executor Strategies, Christopher D. Krieger and Michelle Mills Strout, Proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC), September 2012, (pdf), (BibTEX).

Set and Relation Manipulation for the Sparse Polyhedral Framework, Michelle Mills Strout, Geri George, and Catherine Olschanowsky, Proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC), September 2012, (pdf), (BibTEX).

Parameterized Loop Tiling, Lakshminarayanan Renganarayana, Daegon Kim, Michelle Mills Strout, and Sanjay Rajopadhye, ACM Transactions on Programming Languages and Systems (TOPLAS), May 2012, (pdf), (BibTEX).

Tool support for software lookup table optimization, Chris Wilcox, Michelle Mills Strout, and James Bieman, Journal of Scientific Programming, December 2011, (pdf), (BibTEX).

Evaluating Coarray Fortran with the CGPOP Miniapp, Andrew I. Stone, John M. Dennis, and Michelle Mills Strout, Partitioned Global Address Space Conference, October 2011, (pdf), (BibTEX).

Mesa: Automatic Generation of Lookup Table Optimizations, Chris Wilcox, Michelle Mills Strout, and James Bieman, Proceedings of the 4th International Workshop on Multicore Software Engineering, May 2011, (pdf), (BibTEX).

Steps Toward Simplifying Sparse Matrix Data Structures, Stephanie Dinkins, Barbara Kreaseck, and Michelle Mills Strout, Proceedings of the Colorado Celebration of Women in Computing (CCWIC), Nov 4-5, 2010, (pdf), (BibTEX).

Performance Evaluation of an Irregular Application Parallelized in Java, Christopher Krieger and Michelle Mills Strout, The Proceedings of the First International Workshop on Parallel Software Tools and Tool Infrastructures (PSTI), 2010, (pdf), (BibTEX).

Qualitative Evaluation Criteria for Parallel Programming Models, Christopher Krieger, Andrew I. Stone, and Michelle Mills Strout, The Proceedings of the Fun Ideas and Thoughts Session at PLDI (FIT), 2010, (pdf), (BibTEX).

Scalable Simulation of Complex Network Routing Policies, Andrew I. Stone and Steven DiBenedetto and Michelle Mills Strout and Daniel Massey, The Proceedings of the ACM International Conference on Computing Frontiers (CF), 2010, (pdf), (BibTEX).

Mechanisms that Separate Algorithms from Implementations for Parallel Patterns, Christopher D. Krieger and Andrew Stone and Michelle Mills Strout, Workshop on Parallel Programming Patterns (ParaPLOP), March 2010, (pdf), (BibTEX).

Improving Random Walk Performance, Ilya Safro, Paul Hovland, Jaewook Shin, and Michelle Strout, The Proceedings of the International Conference on Scientific Computing (CSC), 2009, (pdf), (BibTEX).

May/Must Analysis and the DFAGen Data-flow Analysis Generator, Andrew Stone and Michelle Mills Strout and Shweta Behere, Information and Software Technology, 51(10), October 2009, (pdf), (BibTEX).

Evaluation of Hierarchical Mesh Reorderings, Michelle Mills Strout and Nissa Osheim and Dave Rostron and Paul D. Hovland and Alex Pothen, Proceedings of the International Conference on Computational Science (ICCS), LNCS 5544, May 2009, (pdf), (BibTEX).

Automatic Determination of May/Must Set Usage in Data-Flow Analysis, Andrew Stone and Michelle Mills Strout and Shweta Behere, In Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), September 2008, (pdf), (BibTEX).

Smashing: Folding Space to Tile Through Time, Nissa Osheim and Michelle Mills Strout and David Rostron and Sanjay Rajopadhye, The Proceedings of the 15th Workshop on Languages and Compilers for Parallel Computing (LCPC), 2008, (pdf), (BibTEX).

OpenAD/F: A Modular, Open-Source Tool for Automatic Differentiation of Fortran Codes, Jean Utke, Uwe Naumann, Mike Fagan, Nathan Tallent, Michelle Strout, Patrick Heimbach, Chris Hill, and Carl Wunsch, ACM Transactions on Mathematical Software, 34(4):1-36, July 2008, (pdf), (BibTEX).

Multi-level Tiling: m for the Price of One, Daegon Kim, Lakshminarayanan Renganarayana, Dave Rostron, Sanjay Rajopadhye, and Michelle Mills Strout, In the Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis (SC), 2008, (pdf), (BibTEX).

FacePerf: Benchmarks for Face Recognition Algorithms, David Bolme, Michelle Mills Strout, and Ross Beveridge, In the Proceedings of The IEEE International Symposium on Workload Characterization (IISWC), 2007, (html), (BibTEX).

Parameterized Tiled Loops for Free, Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay Rajopadhye, and Michelle Mills Strout, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2007, (pdf), (BibTEX).

Data-Flow Analysis for MPI Programs, Michelle Mills Strout, Barbara Kreaseck, and Paul D. Hovland, In the Proceedings of the International Conference on Parallel Processing (ICPP), 2006, (pdf), (BibTEX).

Linearity Analysis for Automatic Differentiation, Michelle Mills Strout and Paul D. Hovland, In Proceedings of the 3rd International Workshop on Automatic Differentiation Tools and Applications (ADTA), May 2006, (pdf), (BibTEX).

Hybrid Static/Dynamic Activity Analysis, Barbara Kreaseck, Luis Ramos, Scott Easterday, Michelle Mills Strout, and Paul Hovland, Proceedings of the 3rd International Workshop on Automatic Differentiation Tools and Applications (ADTA), May 2006, (pdf), (BibTEX).

Representation-Independent Program Analysis, Michelle Mills Strout, John Mellor-Crummey, and Paul Hovland, In Proceedings of the The Sixth ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), September 5-6, 2005, (pdf), (BibTEX).

Metrics and Models for Reordering Transformations, Michelle Mills Strout and Paul D. Hovland, In Proceedings of the The Second ACM SIGPLAN Workshop on Memory System Performance (MSP), June 8, 2004, (pdf), (BibTEX).

Sparse Tiling for Stationary Iterative Methods, Michelle Mills Strout, Larry Carter, Jeanne Ferrante, and Barbara Kreaseck, International Journal of High Performance Computing Applications, 18(1):95-114, February 2004, (pdf), (BibTEX).

Compile-time Composition of Run-time Data and Iteration Reorderings, Michelle Mills Strout, Larry Carter, and Jeanne Ferrante, In the Proceedings of Programming Language Design and Implementation (PLDI), June 2003, (pdf), (BibTEX).

Combining Performance Aspects of Irregular Gauss-Seidel via Sparse Tiling, Michelle Mills Strout, Larry Carter, Jeanne Ferrante, Jonathan Freeman, and Barbara Kreaseck, The 15th Workshop on Languages and Compilers for Parallel Computing (LCPC), July 25-27, 2002, (pdf), (BibTEX).

Rescheduling for Locality in Sparse Matrix Computations, Michelle Mills Strout, Larry Carter, and Jeanne Ferrante, The 2001 International Conference on Computational Science, May 28-30, 2001, (postscript), (BibTEX).

Using AppLeS to Schedule a Distributed Visualization Tool on the Computational Grid, Alan Su, Francine Berman, Rich Wolski, and Michelle Mills Strout, International Journal of Supercomputer and High-Performance Applications, Volume 13, Issue 3, pp. 253-262, Fall 1999, (pdf), (BibTEX).

Schedule-Independent Storage Mapping in Loops, Michelle Mills Strout, Larry Carter, Jeanne Ferrante, and Beth Simon, Architectural Support for Programming Languages and Operating Systems, October 4-7, 1998, (pdf), (BibTEX).

Book Chapters

Computations on Iteration Spaces, Gautam Gupta, Lakshminarayanan Renganarayanan, Sanjay Rajopadhye, and Michelle Strout, In The Compiler Design Handbook: Optimization and Machine Code Generation, 2nd edition, 2007,
(BibTEX).

Other

Handling Nested Parallelism, Load Imbalance, and Early Termination in an Orbital Analysis Code, Benjamin James Gaska, Neha Jothi, Mahdi Soltan Mohammadi, Kat Volk, and Michelle Mills Strout, Tech report, arXiv:1707.09668, July, 2017,
(pdf), (BibTEX).

The Chemistry Between High School Students and Computer Science, Timothy T. Lenczycki, Kelly Suto, Christina Williams, and Michelle Mills Strout, Tech report, arXiv:1406.2222, June 9, 2014, (arxiv), (BibTEX).

An Approach for Code Generation in the Sparse Polyhedral Framework, Michelle Mills Strout, Alan LaMielle, Larry Carter, Jeanne Ferrante, Barbara Kreaseck, and Catherine Olschanowsky, Colorado State University Tech Report #CS-13-109, December, 2013, (pdf), (BibTEX).

Compilers for Regular and Irregular Stencils: Some Shared Problems and Solutions, Michelle Mills Strout, Proceedings of Workshop on Optimizing Stencil Computations (WOSC), October 27, 2013, (pdf), (BibTEX).

On the Scalability of Loop Tiling Techniques, David G. Wonnacott and Michelle Mills Strout, Dept. of Computer Science, Haverford College, Haverford PA Technical report 2012-01, August 2012, (pdf), (BibTEX).

Establishing a Miniapp as a Programmability Proxy, Andrew I. Stone, John M. Dennis, and Michelle Mills Strout, Poster paper in Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), February 2012, (pdf), (BibTEX).

Evaluating the Separation of Algorithm and Implementation within Existing Programming Models, Michelle Mills Strout, Christopher Krieger, Andrew Stone, Christopher Wilcox, John Dennis, and James Bieman, Proceedings of SciDAC, July 2011, (pdf), (BibTEX).

The CGPOP Miniapp, Version 1.0, Andrew I. Stone, John M. Dennis, and Michelle Mills Strout, Technical Report CS-11-103, July 2011, (pdf), (BibTEX).

Simulating Internet Scale Topologies With Metarouting, Steven DiBenedetto and Andrew I. Stone and Michelle Mills Strout and Daniel Massey, Technical Report CS-10-103 Colorado State University, March 2010, (pdf), (BibTEX).

Enabling Code Generation within the Sparse Polyhedral Framework, Alan LaMielle and Michelle Mills Strout, Technical Report CS-10-102 Colorado State University, March 2010, (pdf), (BibTEX).

Enabling high performance computational science through combinatorial algorithms, Erik G Boman, Doruk Bozdag, Umit V Catalyurek, Karen D Devine, Assefaw H Gebremedhin, Paul D Hovland, Alex Pothen, and Michelle Mills Strout, Journal of Physics: Conference Series, Volume 78, June 2007, (abstract and pdf), (BibTEX).

Performance Transformations for Irregular Applications, Michelle Mills Strout, Ph.D. Thesis, University of California, San Diego, July 2003, (pdf), (BibTEX).

Proof of Correctness for Sparse Tiling of Gauss-Seidel, Michelle Mills Strout, Larry Carter, and Jeanne Ferrante, UCSD Department of Computer Science and Engineering, Technical Report #CS2003-0741, June 2003, (pdf), (BibTEX).

Managing Tile Size Variance in Sparse Tiling, Michelle Mills Strout, Larry Carter, and Jeanne Ferrante, Poster at SC2001: Supercomputing, Nov 10-16, 2001, (BibTEX).

Asynchronous Dynamic Load Balancing of Tiles, Tung Nguyen, Michelle Mills Strout, Larry Carter, and Jeanne Ferrante, Poster at Ninth SIAM Conference on Parallel Processing for Scientific Computing, March 22-24, 1999, (pdf), (BibTEX).