Recent Publications (in reverse chronological order)

• A Verification-centric Software Development Process for Java, with Joseph R. Kiniry. 9th International Conference on Quality Software (QSIC 2009), Jeju, Korea, August 2009.
• Automatic Web Services Generation, with Ernest Cho and Sam Chung. 42nd Hawai’i International Conference on System Sciences (HICSS-42), Waikoloa, Hawai’i, January 2009.
• Secret Ninja Formal Methods, with Joseph R. Kiniry. 15th International Symposium on Formal Methods (FM '08), Turku, Finland, May 2008.
• Enterprise Computing Systems as Information Factories, with Lu Tian and K. Mani Chandy. Tenth IEEE International EDOC Conference (EDOC 2006), Hong Kong, China, October 2006.
• Snapshot Processing in Streaming Environments, with K. Mani Chandy. 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), Barcelona, Spain, September 2006.
• A Parallel Algorithm for Correlating Event Streams, with K. Mani Chandy. 19th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2005), Denver, Colorado, April 2005.

Complete publication lists by category are available on separate pages (at left).