William E. Byrd

Registered user since Sun 23 Aug 2015

Name:William E. Byrd
Country:United States
Affiliation:University of Alabama at Birmingham, USA
Personal website:http://webyrd.net/
Research interests:Programming languages, relational programming, logic programming, functional programming, program synthesis, sythetic biology

Contributions

FLOPS 2022 Committee Member in Program Committee within the FLOPS 2022-track
PEPM 2022 Committee Member in Program Committee within the PEPM 2022-track
miniKanren 2021 Session Chair of Session A (part of miniKanren 2021)
Author of metaKanren: Towards a Metacircular Relational Interpreter within the miniKanren 2021-track
Author of Prolog-Style Meta-Programming miniKanren within the miniKanren 2021-track
Scheme 2021 Committee Member in Program Committee within the Scheme 2021-track
Co-chair in Organizing Committee within the Scheme 2021-track
PADL 2021 Keynote Speaker of Semantics-based Synthesis in miniKanren within the PADL 2021-track
META'20 PC Member in Program Committee within the META'20-track
miniKanren 2020 Author of dxo: A System for Relational Algebra and Differentiation within the miniKanren 2020-track
Author of mediKanren: A System for Bio-medical Reasoning within the miniKanren 2020-track
Convivial Computing Salon 2020 Committee Member in Program Committee within the Salon 2020-track
PADL 2020 Committee Member in Program Committee within the PADL 2020-track
IC 2019 Committee Member in Program Committee within the IC 2019-track
miniKanren 2019 Author of First-order miniKanren representation: Great for tooling and search within the miniKanren 2019-track
Co-chair in Organizing Committee within the miniKanren 2019-track
Author of Tutorial on miniKanren within the miniKanren 2019-track
Scheme 2019 PC Member in Organizing Committee within the Scheme 2019-track
Steering Committee Member in Organizing Committee within the Scheme 2019-track
APLAS 2019 Author of Lightweight Functional Logic Meta-Programming within the Research Papers-track
SPLASH 2019 Author of Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis within the SPLASH-E-track
DSLDI 2018 Author of CLP(SMT) within the DSLDI 2018-track
Scheme 2018 Committee Member in Organizing Committee within the Scheme 2018-track
Committee Member in Program Committee within the Scheme 2018-track
Committee Member in Steering Committee within the Scheme 2018-track
Off the Beaten Track 2018 Committee Member in Program Committee within the Off the Beaten Track 2018-track
Session Chair of Session 2 (part of Off the Beaten Track 2018)
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
SFP Program Chair in Organizing Committee
Scheme 2017 Committee Member in Steering Committee within the Scheme 2017-track
ICFP 2017 Committee Member in Selection Committee within the Student Research Competition-track
Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track
POPL 2018 Author of One Weird Trick: Relational Interpreters for Program Synthesis. within the TutorialFest-track
Scheme 2016 Committee Member in Steering Committee within the Scheme-track
Author of miniAdapton: A Minimal Implementation of Incremental Computation in Scheme within the Scheme-track
DLS 2016 Author of A Small Embedding of Logic Programming with a Simple Complete Search within the DLS-track
Off the Beaten Track 2016 Author of New Tools and Practices for Online Collaboration in Teaching, Learning, and Research of Programming Languages within the Off the Beaten Track-track
PEPM 2016 Invited Speaker of Invited Talk: The Promise of Relational Programming within the Invited Talks-track
DLS 2015 Author of Control-Flow Analysis of Dynamic Languages via Pointer Analysis within the DLS-track