William E. Byrd

25 papers A* 1B 2C 4Misc 1Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System.
CoRR
Alan T. Sherman, Jeremy J. Romanik Romano, Edward Zieglar, Enis Golaszewski, Jonathan D. Fuchs, William E. Byrd
2025 J jnl
Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System.
IACR Cryptol. ePrint Arch.
Alan T. Sherman, Jeremy J. Romanik Romano, Edward Zieglar, Enis Golaszewski, Jonathan D. Fuchs, William E. Byrd
2025 J jnl
Beyond Cons: Purely Relational Data Structures.
CoRR
Rafaello Sanna, William E. Byrd, Nada Amin
2025 J jnl
Multi-stage Relational Programming.
Proc. ACM Program. Lang.
Michael Ballantyne, Rafaello Sanna, Jason Hemann, William E. Byrd, Nada Amin
2024 J jnl
Multi-objective generative AI for designing novel brain-targeting small molecules.
CoRR
Ayush Noori, Iñaki Arango, William E. Byrd, Nada Amin
2024 J jnl
Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search.
CoRR
David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, Nada Amin
2022 J jnl
The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren.
Frontiers Artif. Intell.
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, John D. Osborne, Matthew Might
2021 — conf
probKanren: A Simple Probabilistic Extension for microKanren.
ICLP Workshops
Robert Zinkov, William E. Byrd
2019 B conf
Lightweight Functional Logic Meta-Programming.
APLAS
Nada Amin, William E. Byrd, Tiark Rompf
2019 — conf
Towards answering "Am I on the right track?" automatically using program synthesis.
SPLASH-E
Molly Q. Feldman, Yiting Wang, William E. Byrd, François Guimbretière, Erik Andersen
2018 — conf
Leveraging Constraint Logic Programming for Neural Guided Program Synthesis.
ICLR (Workshop)
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Raquel Urtasun, Richard S. Zemel
2018 A* conf
Neural Guided Constraint Logic Programming for Program Synthesis.
NeurIPS
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard S. Zemel
2018 J jnl
Neural Guided Constraint Logic Programming for Program Synthesis.
CoRR
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard S. Zemel
2017 — conf
A Simple Complete Search for Logic Programming.
ICLP (Technical Communications)
Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
2017 J jnl
A unified approach to solving seven programming problems (functional pearl).
Proc. ACM Program. Lang.
William E. Byrd, A. Ballantyne, Gregory Rosenblatt, Matthew Might
2016 C conf
A small embedding of logic programming with a simple complete search.
DLS
Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
2016 J jnl
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme.
CoRR
Dakota Fisher, Matthew A. Hammer, William E. Byrd, Matthew Might
2015 C conf
Control-flow analysis of dynamic languages via pointer analysis.
DLS
Steven Lyde, William E. Byrd, Matthew Might
2012 — conf
miniKanren, live and untagged: quine generation via relational interpreters (programming pearl).
Scheme@ICFP
William E. Byrd, Eric Holk, Daniel P. Friedman
2011 — conf
Declarative Parallel Programming for GPUs.
PARCO
Eric Holk, William E. Byrd, Nilesh Mahajan, Jeremiah Willcock, Arun Chauhan, Andrew Lumsdaine
2011 C conf
Kanor - A Declarative Language for Explicit Communication.
PADL
Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine
2010 C conf
An Access Control Architecture for Distributing Trust in Pervasive Computing Environments.
EUC
Raquel L. Hill, Jalal Al-Muhtadi, William E. Byrd
2008 Misc conf
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).
FLOPS
Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan
2008 B conf
alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic.
ICLP
Joseph P. Near, William E. Byrd, Daniel P. Friedman
2005 — book
The reasoned schemer.
Daniel P. Friedman, William E. Byrd, Oleg Kiselyov