William E. Byrd

According to our database, William E. Byrd authored at least 19 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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

2022

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, John D. Osborne, Matthew Might

Frontiers Artif. Intell., 2022

2021

probKanren: A Simple Probabilistic Extension for microKanren.

Robert Zinkov, William E. Byrd

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

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

Proceedings of the SPLASH-E '19, 2019

Lightweight Functional Logic Meta-Programming.

Nada Amin, William E. Byrd, Tiark Rompf

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

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

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

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

Proceedings of the 6th International Conference on Learning Representations, 2018

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

A Simple Complete Search for Logic Programming.

Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme.

Dakota Fisher, Matthew A. Hammer, William E. Byrd, Matthew Might

CoRR, 2016

A small embedding of logic programming with a simple complete search.

Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2015

Control-flow analysis of dynamic languages via pointer analysis.

Steven Lyde, William E. Byrd, Matthew Might

Proceedings of the 11th Symposium on Dynamic Languages, 2015

2012

miniKanren, live and untagged: quine generation via relational interpreters (programming pearl).

William E. Byrd, Eric Holk, Daniel P. Friedman

Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, 2012

2011

Declarative Parallel Programming for GPUs.

Eric Holk, William E. Byrd, Nilesh Mahajan, Jeremiah Willcock, Arun Chauhan, Andrew Lumsdaine

Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

Kanor - A Declarative Language for Explicit Communication.

Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine

Proceedings of the Practical Aspects of Declarative Languages, 2011

2010

An Access Control Architecture for Distributing Trust in Pervasive Computing Environments.

Raquel L. Hill, Jalal Al-Muhtadi, William E. Byrd

Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

2008

alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic.

Joseph P. Near, William E. Byrd, Daniel P. Friedman

Proceedings of the Logic Programming, 24th International Conference, 2008

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).

Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2005

The reasoned schemer.

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov

MIT Press, ISBN: 978-0-262-56214-0, 2005