| 2012 | USENIX | Software Techniques for Avoiding Hardware Virtualization Exits. | Ole Agesen, Jim Mattson, Radu Rugina, Jeffrey Sheldon |
| 2006 | ASPLOS | A comparison of software and hardware techniques for x86 virtualization. | Keith Adams, Ole Agesen |
| 2000 | SPAA | DCAS-based concurrent deques. | Ole Agesen, David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr. |
| 1999 | ECOOP | Inlining of Virtual Methods. | David Detlefs, Ole Agesen |
| 1999 | OOPSLA | An Efficient Meta-Lock for Implementing Ubiquitous Synchronization. | Ole Agesen, David Detlefs, Alex Garthwaite, Ross C. Knippel, Y. S. Ramakrishna, Derek White |
| 1998 | PLDI | Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines. | Ole Agesen, David Detlefs, J. Eliot B. Moss |
| 1997 | OOPSLA | Adding Type Parameterization to the Java Language. | Ole Agesen, Stephen N. Freund, John C. Mitchell |
| 1995 | ECOOP | The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism. | Ole Agesen |
| 1995 | OOPSLA | Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages. | Ole Agesen, Urs Hlzle |
| 1994 | OOPSLA | Sifting Out the Gold. | Ole Agesen, David M. Ungar |
| 1994 | SAS | Constraint-Based Type Inference and Parametric Polymorphism. | Ole Agesen |
| 1993 | ECOOP | Type Inference of SELF. | Ole Agesen, Jens Palsberg, Michael I. Schwartzbach |