Kimera Paper Trail

->  Jonathan Aldrich, Emin Gün Sirer, Craig Chambers and Susan Eggers. Comprehensive Synchronization Elimination for Java. Submitted for review.
->  Emin Gün Sirer, Robert Grimm, Arthur J. Gregory, Brian N. Bershad. Design and Implementation of a Distributed Virtual Machine for Networked Computers. In Proceedings of the Seventeenth Symposium on Operating Systems Principles, pages 202-216, Kiawah Island, South Carolina, December 1999.
Postscript PDF
->  Emin Gün Sirer, Brian N. Bershad. Using Production Grammars in Software Testing. In Proceedings of the Second Conference on Domain-Specific Languages, pages 1-13, Austin, Texas, October 1999.
Postscript PDF HTML
->  Emin Gün Sirer. Testing Java Virtual Machines. In International Conference on Software Testing And Review, San Jose, California, November 1999.
Postscript PDF
->  Jonathan Aldrich, Craig Chambers, Emin Gün Sirer and Susan Eggers. Eliminating Unnecessary Synchronization from Java Programs. In Proceedings of the Static Analyses Symposium, pages 19-38, Venice, Italy, September 1999.
Postscript PDF
->  Emin Gün Sirer, Arthur J. Gregory, Brian N. Bershad. A Practical Approach for Improving Startup Latency in Java Applications. In Workshop on Compiler Support for Systems Software (WCSSS-99), Atlanta, GA, May 1st, 1999. INRIA Technical Report #0228, pages 47-55. Postscript PDF Talk
Describes a practical scheme based on server-side code restructuring to speed up program startup time by reducing transfer delays.
->  Emin Gün Sirer, Robert Grimm, Arthur J. Gregory, Nathan R. Anderson, Brian N. Bershad. Improving the Security, Scalability, Manageability and Performance of System Services for Network Computing. University of Washington Technical Report TR 98-09-01, September 1998. Postscript PDF
A design and implementation paper on distributed virtual machines.
->  Emin Gün Sirer, Robert Grimm, Brian N. Bershad, Arthur J. Gregory, Sean McDirmid. Distributed Virtual Machines: A System Architecture for Network Computing. In Eighth ACM SIGOPS European Workshop, Sintra, Portugal, August 1998. Postscript PDF
A design paper on distributing virtual machine functionality for purposes of security, manageability, scalability and performance.
->  Emin Gün Sirer. A System Architecture for Next Generation Network Computing. In the DARPA ITO Graduate Student Workshop, Rosslyn, VA, July 1998. HTML DARPA
A summary of the network computing architecture that we have been building in the Kimera project.
->  Emin Gün Sirer, Sean McDirmid, Brian N. Bershad. Verifying Verifiers. Workshop on Security and Languages, Palo Alto, September 1998. Talk SAL.
A presentation on the testing techniques we have used to gain assurance in our verifier implementation and to locate flaws in commercial grade verifiers.

Emin Gün Sirer

Project Kimera
Department of Computer Science and Engineering
© 1997, University of Washington