| 2017 | DocEng | Clinically Significant Information Extraction from Radiology Reports. | Nidhin Nandhakumar, Ehsan Sherkat, Evangelos E. Milios, Hong Gu, Michael Butler |
| 2016 | SMC | An evolutionary optimization based interval type-2 fuzzy classification system for human behaviour recognition and summarisation. | Bo Yao, Hani Hagras, Jason J. Lepley, Robert Peall, Michael Butler |
| 2015 | ICPADS | Improving Application Concurrency on GPUs by Managing Implicit and Explicit Synchronizations. | Michael Butler, Kittisak Sajjapongse, Michela Becchi |
| 2002 | ICCE | Global Education via the Web: The GloablEd Project. | Scott W. Brown, Mark A. Boyer, Hayley J. Mayall, Paula R. Johnson, Lin Meng, Michael Butler, Kimberley Weir, Natalie Florea, Sally Reis |
| 1993 | MICRO | A comparative performance evaluation of various state maintenance mechanisms. | Michael Butler, Yale N. Patt |
| 1992 | MICRO | An investigation of the performance of various dynamic scheduling techniques. | Michael Butler, Yale N. Patt |
| 1991 | ISCA | Single Instruction Stream Parallelism is Greater Than Two. | Michael Butler, Tse-Yu Yeh, Yale N. Patt, Mitch Alsup, Hunter Scales, Michael Shebanow |
| 1991 | MICRO | The Effect of Real Data Cache Behavior on the Performance of a Microarchitecture that Supports Dynamic Scheduling. | Michael Butler, Yale N. Patt |
| 1990 | ICPP | An Area-Efficient Register Alias Table for Implementing HPS. | Michael Butler, Yale N. Patt |