Evaluating Lambda Terms with Traversals
Theoretical Computer Science | September 2019
William Blum
Research Engineer
Papiers de Collaboration
Publications par année
-
-
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
Filtre par zone de recherche
-
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
Publication 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