15 citations · 15 across the 3 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…
Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System
Alan T. Sherman, Jeremy J. Romanik Romano, Edward Zieglar +3
We analyze security aspects of the SecureDNA system regarding its system design, engineering, and implementation. This system enables DNA synthesizers to screen order requests agai…
dxo: A System for Relational Algebra and Differentiation
Julie Steele, William Byrd
We present dxo, a relational system for algebra and differentiation, written in miniKanren. dxo operates over math expressions, represented as s-expressions. dxo supports addition,…
Neural Guided Constraint Logic Programming for Program Synthesis
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya +5
Synthesizing programs using example input/outputs is a classic problem in artificial intelligence. We present a method for solving Programming By Example (PBE) problems by using a…
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme
Dakota Fisher, Matthew A. Hammer, William Byrd +1
We describe a complete Scheme implementation of miniAdapton, which implements the core functionality of the Adapton system for incremental computation (also known as self-adjusting…