Anthony Romano, PhD pending (ABD).

Newer Stuff

http://bugchecker.net

http://bugsdujour.com


Selected publications:
symMMU: Symbolically Executed Runtime Libraries for Symbolic Memory Access
Practical Floating-Point Tests with Integer Code
Expression Reduction from Programs in a Symbolic Binary Executor


Older Stuff

File System Gallery (with Spockification)


Miscellaneous:

Valgrind/VEX BMI2/"XOP" instruction decoding patch