Folgen
William E Byrd
William E Byrd
Scientist, Hugh Kaul Precision Medicine Institute, University of Alabama at Birmingham
Bestätigte E-Mail-Adresse bei uab.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Relational programming in miniKanren: Techniques, applications, and implementations
WE Byrd
[Bloomington, Ind.]: Indiana University, 2010
942010
Development of IsoTaG, a chemical glycoproteomics technique for profiling intact N-and O-glycopeptides from whole cell proteomes
CM Woo, A Felix, WE Byrd, DK Zuegel, M Ishihara, P Azadi, AT Iavarone, ...
Journal of proteome research 16 (4), 1706-1718, 2017
852017
miniKanren, live and untagged: Quine generation via relational interpreters (programming pearl)
WE Byrd, E Holk, DP Friedman
Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming …, 2012
492012
A unified approach to solving seven programming problems (functional pearl)
WE Byrd, M Ballantyne, G Rosenblatt, M Might
Proceedings of the ACM on Programming Languages 1 (ICFP), 8, 2017
462017
Neural guided constraint logic programming for program synthesis
L Zhang, G Rosenblatt, E Fetaya, R Liao, W Byrd, M Might, R Urtasun, ...
Advances in Neural Information Processing Systems, 1737-1746, 2018
422018
αKanren A Fresh Name in Nominal Logic Programming
WE Byrd, DP Friedman
392007
cKanren miniKanren with constraints
CE Alvis, JJ Willcock, KM Carter, WE Byrd, DP Friedman
302011
Pure, declarative, and constructive arithmetic relations (declarative pearl)
O Kiselyov, WE Byrd, DP Friedman, C Shan
International Symposium on Functional and Logic Programming, 64-80, 2008
302008
Declarative Parallel Programming for GPUs.
E Holk, WE Byrd, N Mahajan, J Willcock, A Chauhan, A Lumsdaine
PARCO, 297-304, 2011
252011
αLeanTAP: A declarative theorem prover for first-order classical logic
JP Near, WE Byrd, DP Friedman
International Conference on Logic Programming, 238-252, 2008
242008
From variadic functions to variadic relations
WE Byrd, DP Friedman
Proceedings of the 2006 Scheme and Functional Programming Workshop …, 2006
232006
Towards answering “Am I on the right track?” automatically using program synthesis
MQ Feldman, Y Wang, WE Byrd, F Guimbretière, E Andersen
Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E, 13-24, 2019
192019
A small embedding of logic programming with a simple complete search
J Hemann, DP Friedman, WE Byrd, M Might
ACM SIGPLAN Notices 52 (2), 96-107, 2016
182016
Kanor
E Holk, WE Byrd, J Willcock, T Hoefler, A Chauhan, A Lumsdaine
International Symposium on Practical Aspects of Declarative Languages, 190-204, 2011
122011
Leveraging Constraint Logic Programming for Neural Guided Program Synthesis
L Zhang, G Rosenblatt, E Fetaya, R Liao, WE Byrd, R Urtasun, R Zemel
102018
A pattern matcher for miniKanren or How to get into trouble with CPS macros
AW Keep, MD Adams, L Kuper, WE Byrd, DP Friedman
Technical Report CPSLO-CSC-09-03, 37, 2009
82009
First-order miniKanren representation: Great for tooling and search
G ROSENBLATT, L ZHANG, WE BYRD, M MIGHT
and Relational Programming Workshop, 16, 2019
72019
Control-flow analysis of dynamic languages via pointer analysis
S Lyde, WE Byrd, M Might
ACM SIGPLAN Notices 51 (2), 54-62, 2015
72015
Lightweight Functional Logic Meta-Programming
N Amin, WE Byrd, T Rompf
Asian Symposium on Programming Languages and Systems, 225-243, 2019
62019
Developing and delivering hands-on information assurance exercises: experiences with the cyber defense lab at umbc
AT Sherman, BO Roberts, WE Byrd, MR Baker, J Simmons
Proceedings from the Fifth Annual IEEE SMC Information Assurance Workshop …, 2004
52004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20