William Blum

According to our database, William Blum authored at least 9 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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, June, 2025

2024

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

2020

Evaluating lambda terms with traversals.

William Blum

Theor. Comput. Sci., 2020

2018

Reducing Lambda Terms with Traversals.

William Blum

CoRR, 2018

2017

Not all bytes are equal: Neural byte sieve for fuzzing.

Mohit Rajpal, William Blum, Rishabh Singh

CoRR, 2017

Type homogeneity is not a restriction for safe recursion schemes.

William Blum

CoRR, 2017

2011

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, Pearlly Yan, Ralf Bundschuh

Proceedings of the 2011 IEEE International Workshop on Genomic Signal Processing and Statistics, 2011

2009

The safe lambda calculus.

William Blum

PhD thesis, 2009

The Safe Lambda Calculus

William Blum, C.-H. Luke Ong

Log. Methods Comput. Sci., 2009