| 2026 | NDSS | Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System. | Alan T. Sherman, Jeremy J. Romanik Romano, Edward Zieglar, Enis Golaszewski, Jonathan D. Fuchs, William E. Byrd |
| 2021 | ICLP | probKanren: A Simple Probabilistic Extension for microKanren. | Robert Zinkov, William E. Byrd |
| 2019 | APLAS | Lightweight Functional Logic Meta-Programming. | Nada Amin, William E. Byrd, Tiark Rompf |
| 2018 | ICLR | 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 |
| 2017 | ICLP | A Simple Complete Search for Logic Programming. | Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might |
| 2016 | DLS | A small embedding of logic programming with a simple complete search. | Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might |
| 2015 | DLS | Control-flow analysis of dynamic languages via pointer analysis. | Steven Lyde, William E. Byrd, Matthew Might |
| 2012 | ICFP | miniKanren, live and untagged: quine generation via relational interpreters (programming pearl). | William E. Byrd, Eric Holk, Daniel P. Friedman |
| 2011 | PADL | Kanor - A Declarative Language for Explicit Communication. | Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine |
| 2010 | EUC | An Access Control Architecture for Distributing Trust in Pervasive Computing Environments. | Raquel L. Hill, Jalal Al-Muhtadi, William E. Byrd |
| 2008 | FLOPS | Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). | Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan |
| 2008 | ICLP | alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. | Joseph P. Near, William E. Byrd, Daniel P. Friedman |