William Blum

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 4

Top Topics

Biologically Plausible

Quality Measures

Top Venues

Theor. Comput. Sci.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

William Blum
Evaluating lambda terms with traversals. Theor. Comput. Sci. 802 (2020)
William Blum
Reducing Lambda Terms with Traversals. CoRR (2018)
William Blum
Type homogeneity is not a restriction for safe recursion schemes. CoRR (2017)
Mohit Rajpal, William Blum, Rishabh Singh
Not all bytes are equal: Neural byte sieve for fuzzing. CoRR (2017)
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
A scalable, flexible workflow for MethylCap-seq data analysis. GENSiPS (2011)
William Blum, C.-H. Luke Ong
The Safe Lambda Calculus Log. Methods Comput. Sci. 5 (1) (2009)
William Blum, C.-H. Luke Ong
The Safe Lambda Calculus. TLCA (2007)