Welcome to my web page. From here, you can download software and publications I've written.
Gorbovitski, M., Rothamel, T., Liu, Y. A. and Stoller, S. D. Efficient runtime invariant checking: a framework and case study. Technical report, Stony Brook University, 2008.
Rothamel, T. and Liu, Y. A. Automatic incrementalization of queries in object-oriented programs. Technical report, Stony Brook University, 2008.