39 citations · 68 across the 4 of their papers we have counts for
5 papers
Proceedings of the Seventh miniKanren and Relational Programming Workshop (miniKanren 2025)
Michael D. Adams, William E. Byrd
The miniKanren and Relational Programming Workshop brings together researchers, implementors, and users of the miniKanren family of relational programming languages, including mini…
Proceedings of the 2020 Scheme and Functional Programming Workshop
Baptiste Saleil, Michael D. Adams
This report aggregates the papers presented at the twenty-first annual Scheme and Functional Programming Workshop, hosted on August 28th, 2020, online and co-located with the twent…
On the Complexity and Performance of Parsing with Derivatives
Michael D. Adams, Celeste Hollenbeck, Matthew Might
Current algorithms for context-free parsing inflict a trade-off between ease of understanding, ease of implementation, theoretical complexity, and practical performance. No algorit…
Pushdown Control-Flow Analysis for Free
Thomas Gilray, Steven Lyde, Michael D. Adams +2
Traditional control-flow analysis (CFA) for higher-order languages, whether implemented by constraint-solving or abstract interpretation, introduces spurious connections between ca…
Application of Cybernetics and Control Theory for a New Paradigm in Cybersecurity
Michael D. Adams, Seth D. Hitefield, Bruce Hoy +2
A significant limitation of current cyber security research and techniques is its reactive and applied nature. This leads to a continuous 'cyber cycle' of attackers scanning networ…