The reasoned schemer. - Daniel P. Friedman; William E. Byrd; Oleg Kiselyov (MIT Press, 2005)

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). - Oleg Kiselyov; William E. Byrd; Daniel P. Friedman; Chung-chieh Shan (FLOPS, 2008)

alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. - Joseph P. Near; William E. Byrd; Daniel P. Friedman (ICLP, 2008)

An Access Control Architecture for Distributing Trust in Pervasive Computing Environments. - Raquel L. Hill; Jalal Al-Muhtadi; William E. Byrd (EUC, 2010)

Kanor - A Declarative Language for Explicit Communication. - Eric Holk; William E. Byrd; Jeremiah Willcock; Torsten Hoefler; Arun Chauhan 001; Andrew Lumsdaine (PADL, 2011)

Declarative Parallel Programming for GPUs. - Eric Holk; William E. Byrd; Nilesh Mahajan; Jeremiah Willcock; Arun Chauhan 001; Andrew Lumsdaine (PARCO, 2011)

miniKanren, live and untagged: quine generation via relational interpreters (programming pearl). - William E. Byrd; Eric Holk; Daniel P. Friedman (Scheme@ICFP, 2012)

Control-flow analysis of dynamic languages via pointer analysis. - Steven Lyde; William E. Byrd; Matthew Might (DLS, 2015)

A small embedding of logic programming with a simple complete search. - Jason Hemann; Daniel P. Friedman; William E. Byrd; Matthew Might (DLS, 2016)

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme. - Dakota Fisher; Matthew A. Hammer; William E. Byrd; Matthew Might (CoRR, 2016)

A Simple Complete Search for Logic Programming. - Jason Hemann; Daniel P. Friedman; William E. Byrd; Matthew Might (ICLP (Technical Communications), 2017)

A unified approach to solving seven programming problems (functional pearl). - William E. Byrd; A. Ballantyne; Gregory Rosenblatt; Matthew Might (Proc. ACM Program. Lang., 2017)

Leveraging Constraint Logic Programming for Neural Guided Program Synthesis. - Lisa Zhang; Gregory Rosenblatt; Ethan Fetaya; Renjie Liao; William E. Byrd; Raquel Urtasun; Richard S. Zemel (ICLR (Workshop), 2018)

Neural Guided Constraint Logic Programming for Program Synthesis. - Lisa Zhang; Gregory Rosenblatt; Ethan Fetaya; Renjie Liao; William E. Byrd; Matthew Might; Raquel Urtasun; Richard S. Zemel (NeurIPS, 2018)

Lightweight Functional Logic Meta-Programming. - Nada Amin; William E. Byrd; Tiark Rompf (APLAS, 2019)

Towards answering "Am I on the right track?" automatically using program synthesis. - Molly Q. Feldman; Yiting Wang; William E. Byrd; François Guimbretière; Erik Andersen 001 (SPLASH-E, 2019)

probKanren: A Simple Probabilistic Extension for microKanren. - Robert Zinkov; William E. Byrd (ICLP Workshops, 2021)

The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren. - Aleksandra Foksinska; Camerron M. Crowder; Andrew B. Crouse; Jeff Henrikson; William E. Byrd; Gregory Rosenblatt; Michael J. Patton; Kaiwen He; Thi K. Tran-Nguyen; Marissa Zheng; Stephen A. Ramsey; Nada Amin; et al. (Frontiers Artif. Intell., 2022)

Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search. - David Brandfonbrener; Sibi Raja; Tarun Prasad; Chloe Loughridge; Jianang Yang; Simon Henniger; William E. Byrd; Robert Zinkov; Nada Amin (CoRR, 2024)

Multi-objective generative AI for designing novel brain-targeting small molecules. - Ayush Noori; Iñaki Arango; William E. Byrd; Nada Amin (CoRR, 2024)

Enriched phenotypes in rare variant carriers suggest pathogenic mechanisms in rare disease patients. - Lane Fitzsimmons; Maria T. Acosta; David R. Adams; Ben Afzali; Ali Al-Beshri; Eric Allenspach; Aimee Allworth; Raquel L. Alvarez; Justin Alvey; Ashley Andrews; Euan A. Ashley; Carlos A. Bacino; et al. (BioData Min., 2025)

Multi-stage Relational Programming. - Michael Ballantyne; Rafaello Sanna; Jason Hemann; William E. Byrd; Nada Amin (Proc. ACM Program. Lang., 2025)