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

Convivial Computing Salon 2020Committee Member in Program Committee within the Salon 2020-track
PADL 2020Committee Member in Program Committee within the PADL 2020-track
ICFP 2020Committee Member in Program Committee within the Research Papers-track
IC 2019Committee Member in Program Committee within the IC 2019-track
miniKanren 2019Author 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 2019PC Member in Organizing Committee within the Scheme 2019-track
Steering Committee Member in Organizing Committee within the Scheme 2019-track
APLAS 2019Author of Lightweight Functional Logic Meta-Programming within the Research Papers-track
SPLASH 2019Author of Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis within the SPLASH-E-track
DSLDI 2018Author of CLP(SMT) within the DSLDI 2018-track
Scheme 2018Committee 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 2018Committee 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 2018Committee Member in External Review Committee within the Research Papers-track
SFP Program Chair in Organizing Committee
Scheme 2017Committee Member in Steering Committee within the Scheme 2017-track
ICFP 2017Committee 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 2018Author of One Weird Trick: Relational Interpreters for Program Synthesis. within the TutorialFest-track
Scheme 2016Committee Member in Steering Committee within the Scheme-track
Author of miniAdapton: A Minimal Implementation of Incremental Computation in Scheme within the Scheme-track
DLS 2016Author of A Small Embedding of Logic Programming with a Simple Complete Search within the DLS-track
Off the Beaten Track 2016Author of New Tools and Practices for Online Collaboration in Teaching, Learning, and Research of Programming Languages within the Off the Beaten Track-track
PEPM 2016Invited Speaker of Invited Talk: The Promise of Relational Programming within the Invited Talks-track
DLS 2015Author of Control-Flow Analysis of Dynamic Languages via Pointer Analysis within the DLS-track