Ole Agesen - Concepedia

Author

Ole Agesen

Kitware (United States)

Also Known As

Ole Agesen

Publications

2.2K

Citations

H-Index

Concepts

All Affiliations

Kitware (United States)Stanford University Oracle (United States)University of California, Santa Barbara Aarhus University

About

Ole Agesen is an author at Kitware (United States) specializing in engineering, computer engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	18	1.4K
2	Computer Engineering	17	18	1.4K
3	Computer Science	17	18	1.4K
4	Systems Engineering	5	5	827
5	Data Science	3	3	118

Ole Agesen

Publications

1.8K

Citations

H-Index

Page 1

	Year	Citations
A comparison of software and hardware techniques for x86 virtualization Keith Adams, Ole Agesen EngineeringComputer ArchitectureSoftware EngineeringHardware SecurityX86 Architecture	2006	618
The Cartesian Product Algorithm - Simple and Precise Type Inference of Parametric Polymorphism Ole Agesen	1995	166
Adding type parameterization to the Java language Ole Agesen, Stephen N. Freund, John C. Mitchell Java ExtensionsEngineeringJava LanguageType ParameterProgram Analysis	1997	160
An efficient meta-lock for implementing ubiquitous synchronization Ole Agesen, David Detlefs, Alex Garthwaite, EngineeringSparc™ Architecture InstructionsSoftware SystemsComputer ArchitectureSoftware Engineering	1999	92
Type feedback vs. concrete type inference Ole Agesen, Urs Hölzle EngineeringType TheoryVerificationSoftware EngineeringSoftware Analysis	1995	87
Garbage collection and local variable type-precision and liveness in Java virtual machines Ole Agesen, David Detlefs, J. Eliot B. Moss EngineeringGarbage CollectorsComputer ArchitectureSoftware EngineeringMemory Model (Programming)	1998	85
Concrete type inference: delivering object-oriented applications Ole Agesen	1996	66
Software techniques for avoiding hardware virtualization exits Ole Agesen, Jim Mattson, Radu Rugina,	2012	64
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance Ole Agesen, Jens Palsberg, Michael I. Schwartzbach DAIMI Report Series EngineeringType TheoryVerificationSoftware AnalysisFormal Verification	1993	55
A comparison of software and hardware techniques for x86 virtualization Keith Adams, Ole Agesen ACM SIGPLAN Notices EngineeringComputer ArchitectureSoftware EngineeringHardware SecurityX86 Architecture	2006	54

Page 1