The Safe Lambda Calculus - William Blum; C.-H. Luke Ong (Log. Methods Comput. Sci., 2009)

The safe lambda calculus. - William Blum (2009)

A scalable, flexible workflow for MethylCap-seq data analysis. - Benjamin Rodriguez; Hok-Hei Tam; David Frankhouser; Michael Trimarchi; Mark Murphy; Chris Kuo; Deval Parikh; Bryan Ball; Sebastian Schwind; John Curfman; William Blum; Guido Marcucci; et al. (GENSiPS, 2011)

Type homogeneity is not a restriction for safe recursion schemes. - William Blum (CoRR, 2017)

Not all bytes are equal: Neural byte sieve for fuzzing. - Mohit Rajpal; William Blum; Rishabh Singh (CoRR, 2017)

Reducing Lambda Terms with Traversals. - William Blum (CoRR, 2018)

Evaluating lambda terms with traversals. - William Blum (Theor. Comput. Sci., 2020)

NL2KQL: From Natural Language to Kusto Query. - Amir H. Abdi; Xinye Tang; Jeremias Eichelbaum; Mahan Das; Alex Klein; Nihal Irmak Pakis; William Blum; Daniel L. Mace; Tanvi Raja; Namrata Padmanabhan; Ye Xing (CoRR, 2024)

DefenderBench: A Toolkit for Evaluating Language Agents in Cybersecurity Environments. - Chiyu Zhang; Marc-Alexandre Cote; Michael Albada; Anush Sankaran; Jack W. Stokes; Tong Wang; Amir H. Abdi; William Blum; Muhammad Abdul-Mageed (CoRR, 2025)