| 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 | 80 | 2017 |
| Relational programming in miniKanren: Techniques, applications, and implementations WE Byrd [Bloomington, Ind.]: Indiana University, 2010 | 80 | 2010 |
| 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 | 43 | 2012 |
| 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 | 40 | 2017 |
| αKanren A Fresh Name in Nominal Logic Programming WE Byrd, DP Friedman | 38 | 2007 |
| 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 | 35 | 2018 |
| cKanren miniKanren with constraints CE Alvis, JJ Willcock, KM Carter, WE Byrd, DP Friedman | 29 | 2011 |
| 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 | 28 | 2008 |
| Declarative Parallel Programming for GPUs. E Holk, WE Byrd, N Mahajan, J Willcock, A Chauhan, A Lumsdaine PARCO, 297-304, 2011 | 25 | 2011 |
| αLeanTAP: A declarative theorem prover for first-order classical logic JP Near, WE Byrd, DP Friedman International Conference on Logic Programming, 238-252, 2008 | 24 | 2008 |
| From variadic functions to variadic relations WE Byrd, DP Friedman Proceedings of the 2006 Scheme and Functional Programming Workshop …, 2006 | 23 | 2006 |
| 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 | 16 | 2016 |
| 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 | 14 | 2019 |
| Kanor E Holk, WE Byrd, J Willcock, T Hoefler, A Chauhan, A Lumsdaine International Symposium on Practical Aspects of Declarative Languages, 190-204, 2011 | 12 | 2011 |
| Leveraging Constraint Logic Programming for Neural Guided Program Synthesis L Zhang, G Rosenblatt, E Fetaya, R Liao, WE Byrd, R Urtasun, R Zemel | 9 | 2018 |
| Control-flow analysis of dynamic languages via pointer analysis S Lyde, WE Byrd, M Might ACM SIGPLAN Notices 51 (2), 54-62, 2015 | 5 | 2015 |
| 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 | 5 | 2009 |
| 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 | 5 | 2004 |
| First-order miniKanren representation: Great for tooling and search G ROSENBLATT, L ZHANG, WE BYRD, M MIGHT and Relational Programming Workshop, 16, 2019 | 4 | 2019 |
| Web programming with continuations WE Byrd Tech. rep., Unpublished Tech. Report, 2002 | 3 | 2002 |
