Flux Research Group / School of Computing

languages people

Eric Eide
Eric Eide
Faculty
Anton Burtsev
Anton Burtsev
Affiliated Faculty
Matthew Flatt
Matthew Flatt
Affiliated Faculty
William Hatch
William Hatch
PhD student

languages projects

A3 A3

The A3 project applies virtualization, record-and-replay, introspection, repair, and other techniques to develop a customizable container for “advanced adaptive applications.” The A3 container provides its protected application with both innate and adaptive defenses against security threats.

Xsmith Xsmith

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.

recent languages publications (see all)