Conference Publications (in reverse chronological order)
- AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts, with Henrique Rebelo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Lima, Marcio Cornelio and Thomas Thum. 13th International Conference on Modularity (MODULARITY ’14), Lugano, Switzerland, April 2014. (20%)
- Testing Library Specifications by Verifying Conformance Tests, with Joseph R. Kiniry and Ralph Hyland. 6th International Conference on Tests & Proofs (TAP ’12), Prague, Czech Republic, May 2012.
- Toward Instant Gradeification, with Joseph R. Kiniry and Fintan Fairmichael. 24th IEEE-CS Conference on Software Engineering Education and Training, Waikiki, Honolulu, Hawaii. May 2011.
- JMLUnit: The Next Generation, with Rinkesh Nagmoti. 1st International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Paris, France, June 2010. (6%)
- JMLUnit: The Next Generation, with Rinkesh Nagmoti. Accepted by 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie, China, July 2010, but withdrawn for lack of travel funding.
- 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.