Follow
Michael D. Adams
Michael D. Adams
Verified email at utah.edu - Homepage
Title
Cited by
Cited by
Year
Representation-transparent matrix algorithms with scalable performance
P Gottschling, DS Wise, MD Adams
Proceedings of the 21st annual international conference on Supercomputingá…, 2007
602007
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
532016
Principled parsing for indentation-sensitive languages: revisiting landin's offside rule
MD Adams
ACM SIGPLAN Notices 48 (1), 511-522, 2013
322013
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
282016
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
272016
Towards the essence of hygiene
MD Adams
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles ofá…, 2015
232015
Optimizing SYB is easy!
MD Adams, A Farmer, JP Magalhães
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation andá…, 2014
212014
Scrap your zippers: a generic zipper for heterogeneous types
MD Adams
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 13-24, 2010
212010
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 (12), 5281-5298, 2016
202016
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
202006
Fast additions on masked integers
MD Adams, DS Wise
ACM SIGPLAN Notices 41 (5), 39-45, 2006
202006
Template your boilerplate: Using Template Haskell for efficient generic programming
MD Adams, TM DuBuisson
ACM SIGPLAN Notices 47 (12), 13-24, 2012
162012
Indentation-sensitive parsing for Parsec
MD Adams, ÍS Ağacan
Acm Sigplan Notices 49 (12), 121-132, 2014
152014
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
122011
A structural soundness proof for Shivers’s escape technique
J Midtgaard, MD Adams, M Might
International Static Analysis Symposium, 352-369, 2012
102012
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 (2), 181-189, 2019
82019
Restricting grammars with tree automata
MD Adams, M Might
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-25, 2017
82017
Efficient nondestructive equality checking for trees and graphs
MD Adams, RK Dybvig
Proceedings of the 13th ACM SIGPLAN international conference on Functionalá…, 2008
72008
Demand control-flow analysis
K Germane, J McCarthy, MD Adams, M Might
International Conference on Verification, Model Checking, and Abstractá…, 2019
52019
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
52016
The system can't perform the operation now. Try again later.
Articles 1–20