Michael D. Adams

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