Evaluating Lambda Terms with Traversals
Theoretical Computer Science | September 2019
William Blum
Research Engineer
Publications
Publications by Year
-
-
Reducing Lambda Terms with Traversals (preprint)
February 2018
Preprint
-
Not all bytes are equal: Neural byte sieve for fuzzing
William Blum, Mohit Rajpal, Rishabh Singh
November 2017
Publications by Research Area
-
Evaluating Lambda Terms with Traversals
Theoretical Computer Science | September 2019
Reducing Lambda Terms with Traversals (preprint)
February 2018
Preprint
-
Not all bytes are equal: Neural byte sieve for fuzzing
William Blum, Mohit Rajpal, Rishabh Singh
November 2017
-
Not all bytes are equal: Neural byte sieve for fuzzing
William Blum, Mohit Rajpal, Rishabh Singh
November 2017
Publications by Type
-
Evaluating Lambda Terms with Traversals
Theoretical Computer Science | September 2019
Not all bytes are equal: Neural byte sieve for fuzzing
William Blum, Mohit Rajpal, Rishabh Singh
November 2017
-
Reducing Lambda Terms with Traversals (preprint)
February 2018
Preprint