JQF has been successful in discovering a number of bugs in widely used open-source software such as OpenJDK, Apache Maven and the Google Closure Compiler. Binary fuzzing tools like AFL and libFuzzer ...
Debugging and monitoring distributed systems can be a challenge. Aeron has been designed in an open fashion so that much of its internal state can be observed during operation. By taking an open ...
I am an associate professor in the School of Computer Science at Carnegie Mellon University. My current interests are in software engineering for software systems with ML components (or teaching ...