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
612007
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
562016
Principled parsing for indentation-sensitive languages: revisiting landin's offside rule
MD Adams
ACM SIGPLAN Notices 48 (1), 511-522, 2013
342013
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
292016
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
282016
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
242016
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
222014
Scrap your zippers: a generic zipper for heterogeneous types
MD Adams
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 13-24, 2010
222010
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
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
122012
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
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
112019
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
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
62016
Demand control-flow analysis
K Germane, J McCarthy, MD Adams, M Might
Verification, Model Checking, and Abstract Interpretation: 20th†…, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20