| 2020 | ESOP | Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap. | Kimball Germane, Michael D. Adams |
| 2019 | VMCAI | Demand Control-Flow Analysis. | Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might |
| 2016 | ICFP | Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. | Thomas Gilray, Michael D. Adams, Matthew Might |
| 2016 | PLDI | On the complexity and performance of parsing with derivatives. | Michael D. Adams, Celeste Hollenbeck, Matthew Might |
| 2016 | POPL | Pushdown control-flow analysis for free. | Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn |
| 2015 | POPL | Towards the Essence of Hygiene. | Michael D. Adams |
| 2014 | HASKELL | Indentation-sensitive parsing for Parsec. | Michael D. Adams, mer S. Agacan |
| 2014 | PEPM | Optimizing SYB is easy! | Michael D. Adams, Andrew Farmer, Jos Pedro Magalhes |
| 2013 | POPL | Principled parsing for indentation-sensitive languages: revisiting landin's offside rule. | Michael D. Adams |
| 2012 | HASKELL | Template your boilerplate: using template haskell for efficient generic programming. | Michael D. Adams, Thomas DuBuisson |
| 2012 | SAS | A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections. | Jan Midtgaard, Michael D. Adams, Matthew Might |
| 2011 | ICIP | An incremental/decremental Delaunay mesh-generation framework for image representation. | Michael D. Adams |
| 2011 | OOPSLA | Flow-sensitive type recovery in linear-log time. | Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig |
| 2010 | ICFP | Scrap your zippers: a generic zipper for heterogeneous types. | Michael D. Adams |
| 2010 | ICIP | An improved content-adaptive mesh-generation method for image representation. | Michael D. Adams |
| 2009 | ICASSP | Progressive lossy-to-lossless coding of arbitrarily-sampled image data using the modified scattered data coding method. | Michael D. Adams |
| 2008 | ICFP | Efficient nondestructive equality checking for trees and graphs. | Michael D. Adams, R. Kent Dybvig |
| 2008 | ICIP | An evaluation of several mesh-generation methods using a simple mesh-based image coder. | Michael D. Adams |
| 2008 | ICIP | On the coding gain of separable 2D wavelet filter banks. | Michael D. Adams |
| 2007 | ICASSP | Design of Optimal Quincunx Filter Banks for Image Coding via Sequential Quadratic Programming. | Yi Chen, Michael D. Adams, Wu-Sheng Lu |
| 2007 | ICS | Representation-transparent matrix algorithms with scalable performance. | Peter Gottschling, David S. Wise, Michael D. Adams |
| 2006 | ISCAS | Design of optimal quincunx filter banks for image coding. | Yi Chen, Michael D. Adams, Wu-Sheng Lu |
| 2005 | ICIP | Symmetric extension for two-channel quincunx filter banks. | Yi Chen, Michael D. Adams, Wu-Sheng Lu |
| 2004 | ICASSP | JasPer: a portable flexible open-source software tool kit for image coding/processing. | Michael D. Adams, Rabab K. Ward |
| 2002 | ICASSP | Symmetry-preserving reversible integer-to-integer wavelet transforms. | Michael D. Adams, Rabab Kreidieh Ward |
| 2001 | ICASSP | Generalized S transform. | Michael D. Adams, Faouzi Kossentini |
| 2000 | ICIP | JASPER: A Software-Based JPEG-2000 Codec Implementation. | Michael D. Adams, Faouzi Kossentini |
| 1999 | DCC | Performance Evaluation of Reversible Integer-to-Integer Wavelet Transforms for Image Compression. | Michael D. Adams, Faouzi Kossentini |
| 1999 | ICIP | Evaluation of Reversible Integer-To-Integer Wavelet Transforms for Image Compression. | Michael D. Adams, Faouzi Kossentini |
| 1998 | ICIP | Performance Evaluation of Different Filter Banks in the JPEG-2000 Baseline System. | Ilangko Balasingham, Michael D. Adams, Tor A. Ramstad, Faouzi Kossentini, Helge Coward, Andrew Perkis, Geir E. ien |