Michael D. Adams
Michael D. Adams
Verified email at - 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
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
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
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
Scrap your zippers: a generic zipper for heterogeneous types
MD Adams
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 13-24, 2010
Towards the essence of hygiene
MD Adams
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of†…, 2015
Optimizing SYB is easy!
MD Adams, A Farmer, JP Magalh„es
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and†…, 2014
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
Template your boilerplate: Using Template Haskell for efficient generic programming
MD Adams, TM DuBuisson
ACM SIGPLAN Notices 47 (12), 13-24, 2012
Indentation-sensitive parsing for Parsec
MD Adams, ÷S Ağacan
Acm Sigplan Notices 49 (12), 121-132, 2014
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
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
Restricting grammars with tree automata
MD Adams, M Might
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-25, 2017
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
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
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
Efficient nondestructive equality checking for trees and graphs
MD Adams, RK Dybvig
Proceedings of the 13th ACM SIGPLAN international conference on Functional†…, 2008
The system can't perform the operation now. Try again later.
Articles 1–20