| Representation-transparent matrix algorithms with scalable performance P Gottschling, DS Wise, MD Adams Proceedings of the 21st annual international conference on Supercomputing …, 2007 | 61 | 2007 |
| Pushdown control-flow analysis for free T Gilray, S Lyde, MD Adams, M Might, D Van Horn Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 56 | 2016 |
| Principled parsing for indentation-sensitive languages: revisiting landin's offside rule MD Adams ACM SIGPLAN Notices 48 (1), 511-522, 2013 | 34 | 2013 |
| On the complexity and performance of parsing with derivatives MD Adams, C Hollenbeck, M Might Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 29 | 2016 |
| Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis T Gilray, MD Adams, M Might Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 28 | 2016 |
| Scalable digital hardware for a trapped ion quantum computer E Mount, D Gaultney, G Vrijsen, M Adams, SY Baek, K Hudek, L Isabella, ... Quantum Information Processing 15, 5281-5298, 2016 | 24 | 2016 |
| Towards the essence of hygiene MD Adams Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 23 | 2015 |
| Optimizing SYB is easy! MD Adams, A Farmer, JP Magalhães Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and …, 2014 | 22 | 2014 |
| Scrap your zippers: a generic zipper for heterogeneous types MD Adams Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 13-24, 2010 | 22 | 2010 |
| Seven at one stroke: results from a cache-oblivious paradigm for scalable matrix algorithms MD Adams, DS Wise Proceedings of the 2006 workshop on Memory system performance and …, 2006 | 20 | 2006 |
| Fast additions on masked integers MD Adams, DS Wise ACM SIGPLAN Notices 41 (5), 39-45, 2006 | 20 | 2006 |
| Template your boilerplate: Using Template Haskell for efficient generic programming MD Adams, TM DuBuisson ACM SIGPLAN Notices 47 (12), 13-24, 2012 | 16 | 2012 |
| Indentation-sensitive parsing for Parsec MD Adams, ÖS Ağacan Acm Sigplan Notices 49 (12), 121-132, 2014 | 15 | 2014 |
| A structural soundness proof for Shivers’s escape technique: A case for Galois connections J Midtgaard, MD Adams, M Might Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 12 | 2012 |
| Flow-sensitive type recovery in linear-log time MD Adams, AW Keep, J Midtgaard, M Might, A Chauhan, RK Dybvig ACM SIGPLAN Notices 46 (10), 483-498, 2011 | 12 | 2011 |
| Scalable, Non-denaturing Purification of Phosphoproteins Using Ga3+-IMAC: N2A and M1M2 Titin Components as Study case M Adams, JR Fleming, E Riehle, T Zhou, T Zacharchenko, M Markovic, ... The Protein Journal 38, 181-189, 2019 | 11 | 2019 |
| Restricting grammars with tree automata MD Adams, M Might Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-25, 2017 | 8 | 2017 |
| Efficient nondestructive equality checking for trees and graphs MD Adams, RK Dybvig Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 7 | 2008 |
| Specifying and executing optimizations for generalized control flow graphs W Mansky, EL Gunter, D Griffith, MD Adams Science of Computer Programming 130, 2-23, 2016 | 6 | 2016 |
| Demand control-flow analysis K Germane, J McCarthy, MD Adams, M Might Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 5 | 2019 |
