Publications
2007. Improving software quality with static analysis. Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. :83-84.
2005. The Java memory model. Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :378-391.
2004. Transparent proxies for java futures. Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. :206-223.
2003. The virtual microscope. IEEE Transactions on Information Technology in Biomedicine. 7(4):230-248.
2002. Recompilation for debugging support in a JIT-compiler. Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. :10-17.
2001. Integrating distributed scientific data sources with MOCHA and XRoaster. Thirteenth International Conference on Scientific and Statistical Database Management, 2001. SSDBM 2001. Proceedings. :263-266.
1997. Bringing treasures to the surface: iterative design for the Library of Congress National Digital Library Program. Proceedings of the SIGCHI conference on Human factors in computing systems. :518-525.