This project is developing new techniques for the creation of highly effective fuzz testers (fuzzers) for compilers and interpreters. Our goal is to reduce the time and human effort needed to create sophisticated fuzzers for programming language implementations. Our new techniques are being embodied in a new generator of fuzz testers, called Xsmith.