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