Conference 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. (28%, 28/100)
- 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. (21.7%, 23/106)
- 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.
- Event Webs for Crisis Management, with Brian Emre Aydemir, K. Mani Chandy, and Elliott Michael Karpilovsky. 2nd IASTED International Conference on Communications, Internet and Information Technology, Scottsdale, Arizona, November 2003.
- Event-Driven Architectures for Distributed Crisis Management, with Brian Emre Aydemir, K. Mani Chandy, and Elliott Michael Karpilovsky. 15th IASTED International Conference on Parallel and Distributed Computing and Systems, Marina del Rey, California, November 2003.
- Rewriting UNITY, with Adam Granicz and Jason Hickey. 14th International Conference on Rewriting Techniques and Applications (RTA ’03), Valencia, Spain, June 2003.
- Distributed Scalable Server Architecture for Multi-User Environments, with Erich R. Schmidt and Cristian Tapus. 12th International Conference on Control Systems and Computer Science (CSCS12), Bucharest, Romania, 1999.
- Constructing Client-Server Multi-Player Asynchronous Networked Games Using a Single-Computer Model, with Yevgeniy Kaganovich, Khai Pham, and Brian Rothstein. IASTED International Conference on Software Engineering, San Francisco, September 1997.