Ole Agesen

According to our database1, Ole Agesen authored at least 20 papers between 1993 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Software Techniques for Avoiding Hardware Virtualization Exits.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

2010
The evolution of an x86 virtual machine monitor.
ACM SIGOPS Oper. Syst. Rev., 2010

2006
A comparison of software and hardware techniques for x86 virtualization.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2002
DCAS-Based Concurrent Deques.
Theory Comput. Syst., 2002

2000
DCAS-based concurrent deques.
Proceedings of the Twelfth annual ACM Symposium on Parallel Algorithms and Architectures, 2000

Efficient Object Sampling via Weak References.
Proceedings of the ISMM 2000, 2000

1999
Space and Time-Efficient Hashing of Garbage-Collected Objects.
Theory Pract. Object Syst., 1999

An Efficient Meta-Lock for Implementing Ubiquitous Synchronization.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Inlining of Virtual Methods.
Proceedings of the ECOOP'99, 1999

1998
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997
Design and Implementation of Pep, A Java Just-in-Time Translator.
Theory Pract. Object Syst., 1997

Adding Type Parameterization to the Java Language.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

1995
Concrete type inference: delivering object-oriented applications.
PhD thesis, 1995

Dynamic versus Static Optimization Techniques for Object-Oriented Languages.
Theory Pract. Object Syst., 1995

Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
Softw. Pract. Exp., 1995

Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages.
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism.
Proceedings of the ECOOP'95, 1995

1994
Constraint-Based Type Inference and Parametric Polymorphism.
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Sifting Out the Gold.
Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

1993
Type Inference of SELF.
Proceedings of the ECOOP'93, 1993


  Loading...