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
572007
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
482016
Principled parsing for indentation-sensitive languages: revisiting landin's offside rule
MD Adams
ACM SIGPLAN Notices 48 (1), 511-522, 2013
302013
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
222016
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
212016
Towards the essence of hygiene
MD Adams
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
202015
Scrap your zippers: a generic zipper for heterogeneous types
MD Adams
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 13-24, 2010
202010
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
192006
Optimizing SYB is easy!
MD Adams, A Farmer, JP Magalhães
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and …, 2014
182014
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
172016
Indentation-sensitive parsing for Parsec
MD Adams, ÖS Ağacan
ACM SIGPLAN Notices 49 (12), 121-132, 2014
152014
Template your boilerplate: Using Template Haskell for efficient generic programming
MD Adams, TM DuBuisson
ACM SIGPLAN Notices 47 (12), 13-24, 2012
152012
A structural soundness proof for Shivers’s escape technique
J Midtgaard, MD Adams, M Might
International Static Analysis Symposium, 352-369, 2012
102012
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
102011
Efficient nondestructive equality checking for trees and graphs
MD Adams, RK Dybvig
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
72008
A pattern matcher for miniKanren or How to get into trouble with CPS macros
AW Keep, MD Adams, L Kuper, WE Byrd, DP Friedman
Technical Report CPSLO-CSC-09-03, 37, 2009
52009
Demand control-flow analysis
K Germane, J McCarthy, MD Adams, M Might
International Conference on Verification, Model Checking, and Abstract …, 2019
42019
Restricting grammars with tree automata
MD Adams, M Might
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-25, 2017
42017
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
42016
The system can't perform the operation now. Try again later.
Articles 1–20