Michael D. Adams

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 11

Top Topics

Functional Programming

Syntactic Pattern Recognition

Top Venues

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

Baptiste Saleil, Michael D. Adams
Proceedings of the 2020 Scheme and Functional Programming Workshop. CoRR (2021)
Pierce Darragh, Michael D. Adams
Parsing with zippers (functional pearl). Proc. ACM Program. Lang. 4 (ICFP) (2020)
Kimball Germane, Michael D. Adams
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap. ESOP (2020)
Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might
Demand Control-Flow Analysis. VMCAI (2019)
Thomas Gilray, Michael D. Adams, Matthew Might
Abstract allocation as a unified approach to polyvariance in control-flow analyses. J. Funct. Program. 28 (2018)
Michael D. Adams, Matthew Might
Restricting grammars with tree automata. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
William Mansky, Elsa L. Gunter, Dennis Griffith, Michael D. Adams
Specifying and executing optimizations for generalized control flow graphs. Sci. Comput. Program. 130 (2016)
Michael D. Adams, Celeste Hollenbeck, Matthew Might
On the Complexity and Performance of Parsing with Derivatives. CoRR (2016)
Thomas Gilray, Michael D. Adams, Matthew Might
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. ICFP (2016)
Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
Pushdown control-flow analysis for free. POPL (2016)
Michael D. Adams, Celeste Hollenbeck, Matthew Might
On the complexity and performance of parsing with derivatives. PLDI (2016)
Michael D. Adams, Andrew Farmer, José Pedro Magalhães
Optimizing SYB traversals is easy! Sci. Comput. Program. 112 (2015)
Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
Pushdown Control-Flow Analysis for Free. CoRR (2015)
Michael D. Adams
Towards the Essence of Hygiene. POPL (2015)
Michael D. Adams, Ömer S. Agacan
Indentation-sensitive parsing for Parsec. Haskell (2014)
Michael D. Adams, Andrew Farmer, José Pedro Magalhães
Optimizing SYB is easy! PEPM (2014)
Michael D. Adams
Principled parsing for indentation-sensitive languages: revisiting landin's offside rule. POPL (2013)
Michael D. Adams, Seth D. Hitefield, Bruce Hoy, Michael C. Fowler, T. Charles Clancy
Application of Cybernetics and Control Theory for a New Paradigm in Cybersecurity. CoRR (2013)
Michael D. Adams, Thomas DuBuisson
Template your boilerplate: using template haskell for efficient generic programming. Haskell (2012)
Jan Midtgaard, Michael D. Adams, Matthew Might
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections. SAS (2012)
Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig
Flow-sensitive type recovery in linear-log time. OOPSLA (2011)
Michael D. Adams
Scrap your zippers: a generic zipper for heterogeneous types. ICFP-WGP (2010)
Bo Berry, Stan Ratliff, Ed Paradise, Tim Kaiser, Michael D. Adams
PPP over Ethernet (PPPoE) Extensions for Credit Flow and Link Metrics. RFC 5578 (2010)
Michael D. Adams, R. Kent Dybvig
Efficient nondestructive equality checking for trees and graphs. ICFP (2008)
Peter Gottschling, David S. Wise, Michael D. Adams
Representation-transparent matrix algorithms with scalable performance. ICS (2007)
Michael D. Adams, David S. Wise
Fast additions on masked integers. ACM SIGPLAN Notices 41 (5) (2006)
Michael D. Adams, David S. Wise
Seven at one stroke: results from a cache-oblivious paradigm for scalable matrix algorithms. Memory System Performance and Correctness (2006)