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

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