William E. Byrd

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 13

Top Topics

Logic Programming

Proof Theoretic

Program Synthesis

Monte Carlo Tree Search

Top Venues

Proc. ACM Program. Lang.

Frontiers Artif. Intell.

Publications

Ayush Noori, Iñaki Arango, William E. Byrd, Nada Amin
Multi-objective generative AI for designing novel brain-targeting small molecules. CoRR (2024)
David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, Nada Amin
Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search. CoRR (2024)
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 Osborne, Matthew Might
The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren. Frontiers Artif. Intell. 5 (2022)
Nada Amin, William E. Byrd, Tiark Rompf
Lightweight Functional Logic Meta-Programming. APLAS (2019)
Molly Q. Feldman, Yiting Wang, William E. Byrd, François Guimbretière, Erik Andersen
Towards answering "Am I on the right track?" automatically using program synthesis. SPLASH-E (2019)
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard S. Zemel
Neural Guided Constraint Logic Programming for Program Synthesis. NeurIPS (2018)
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard S. Zemel
Neural Guided Constraint Logic Programming for Program Synthesis. CoRR (2018)
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Raquel Urtasun, Richard S. Zemel
Leveraging Constraint Logic Programming for Neural Guided Program Synthesis. ICLR (Workshop) (2018)
William E. Byrd, A. Ballantyne, Gregory Rosenblatt, Matthew Might
A unified approach to solving seven programming problems (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
A Simple Complete Search for Logic Programming. ICLP (Technical Communications) (2017)
Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
A small embedding of logic programming with a simple complete search. DLS (2016)
Dakota Fisher, Matthew A. Hammer, William E. Byrd, Matthew Might
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme. CoRR (2016)
Steven Lyde, William E. Byrd, Matthew Might
Control-flow analysis of dynamic languages via pointer analysis. DLS (2015)
William E. Byrd, Eric Holk, Daniel P. Friedman
miniKanren, live and untagged: quine generation via relational interpreters (programming pearl). Scheme@ICFP (2012)
Eric Holk, William E. Byrd, Nilesh Mahajan, Jeremiah Willcock, Arun Chauhan, Andrew Lumsdaine
Declarative Parallel Programming for GPUs. PARCO (2011)
Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine
Kanor - A Declarative Language for Explicit Communication. PADL (2011)
Raquel L. Hill, Jalal Al-Muhtadi, William E. Byrd
An Access Control Architecture for Distributing Trust in Pervasive Computing Environments. EUC (2010)
Joseph P. Near, William E. Byrd, Daniel P. Friedman
alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. ICLP (2008)
Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). FLOPS (2008)