| 2022 | CC | Performant portable OpenMP. | Guray Ozen, Michael Wolfe |
| 2020 | ICS | Optimizing supercompilers for supercomputers. | Michael Wolfe |
| 2018 | SC | OpenACC Routine Directive Propagation Using Interprocedural Analysis. | Aniket Shivam, Michael Wolfe |
| 2017 | ICCS | Compiler technologies for understanding legacy scientific code: A case study on an ACME land module. | Dali Wang, Yu Pei, Oscar R. Hernandez, Wei Wu, Zhuo Yao, Youngsung Kim, Michael Wolfe, Ryan Kitchen |
| 2017 | SC | Automatic Testing of OpenACC Applications. | Khalid Ahmad, Michael Wolfe |
| 2015 | ICPP | Open ACC Programs Examined: A Performance Analysis Approach. | Robert Dietrich, Guido Juckeland, Michael Wolfe |
| 2012 | SC | Design, Implementation, Evolution of High Level Accelerator Programming. | Michael Wolfe |
| 2010 | ASPLOS | Implementing the PGI Accelerator model. | Michael Wolfe |
| 2006 | SC | Software tools I - AMD versus Intel: the compiler as referee. | Michael Wolfe |
| 2005 | CASES | How compilers and tools differ for embedded systems. | Michael Wolfe |
| 1999 | EuroPar | Flexible Data Distribution in PGHPF. | Mark Leair, Douglas Miles, Vincent Schuster, Michael Wolfe |
| 1995 | PLDI | Elimination of Redundant Array Subscript Range Checks. | Priyadarshan Kolte, Michael Wolfe |
| 1994 | SAC | Constant propagation: a fresh, demand-driven look. | Eric Stoltz, Michael Wolfe, Michael P. Gerlek |
| 1993 | POPL | Static Single Assignment for Explicitely Parallel Programs. | Harini Srinivasan, James Hook, Michael Wolfe |
| 1992 | PLDI | Beyond Induction Variables. | Michael Wolfe |
| 1991 | ICPP | The Tiny Loop Restructuring Research Tool. | Michael Wolfe |
| 1991 | ICS | Experiences with data dependence abstractions. | Michael Wolfe |
| 1989 | SC | More iteration space tiling. | Michael Wolfe |
| 1987 | ICPP | Multiple Version Loops. | Mark Byler, Michael Wolfe, James R. B. Davies, Christopher Huson, Bruce Leasure |
| 1987 | ICS | Vector Optimization vs. Vectorization. | Michael Wolfe |
| 1986 | ICPP | The KAP/205 : An Advanced Source-to-Source Vectorizer for the Cyber 205 Supercomputer. | Christopher Huson, Thomas Macke, James Davies, Michael Wolfe, Bruce Leasure |
| 1986 | ICPP | The KAP/S-1 : An Advanced Source-to-Source Vectorizer for the S-1 Mark IIa Supercomputer. | Christopher Huson, Thomas Macke, James Davies, Michael Wolfe, Bruce Leasure |
| 1986 | ICPP | The KAP/ST-100 A Fortran Translator for the ST-100 Attached Processor. | Thomas Macke, Christopher Huson, James Davies, Michael Wolfe, Bruce Leasure |
| 1986 | ICPP | Advanced Loop Interchanging. | Michael Wolfe |
| 1981 | POPL | Dependence Graphs and Compiler Optimizations. | David J. Kuck, Robert H. Kuhn, David A. Padua, Bruce Leasure, Michael Wolfe |