Publications
2004. ASPIRE: automated systematic protocol implementation robustness evaluation. Software Engineering Conference, 2004. Proceedings. 2004 Australian. :241-250.
1996. Incremental data structures and algorithms for dynamic query interfaces. ACM SIGMOD Record. 25(4):21-24.