1 citations · 1 across the 2 of their papers we have counts for
3 papers
The Case for Automated Hyperspecialization: Evidence from SAT
Harrison Green, Claire Le Goues, Fraser Brown
The software status quo is to use one system to process many different kinds of inputs. In contrast, we propose hyperspecialization: creating new software that is optimized for a s…
Automatic, Expressive, and Scalable Fuzzing with Stitching
Harrison Green, Fraser Brown, Claire Le Goues
Fuzzing is a powerful technique for finding bugs in software libraries, but scaling it remains difficult. Automated harness generation commits to fixed API sequences at synthesis t…
STRIDE: Simple Type Recognition In Decompiled Executables
Harrison Green, Edward J. Schwartz, Claire Le Goues +1
Decompilers are widely used by security researchers and developers to reverse engineer executable code. While modern decompilers are adept at recovering instructions, control flow,…