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.
|
|
