81 citations · 81 across the 1 of their papers we have counts for
2 papers
cs.PL2018
Reducing Lambda Terms with Traversals
William Blum
We introduce a method to evaluate untyped lambda terms by combining the theory of traversals, a term-tree traversing technique inspired from Game Semantics, with judicious use of t…
cs.SE2017★ 81 cited
Not all bytes are equal: Neural byte sieve for fuzzing
Mohit Rajpal, William Blum, Rishabh Singh
Fuzzing is a popular dynamic program analysis technique used to find vulnerabilities in complex software. Fuzzing involves presenting a target program with crafted malicious input…