BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × Denmark
1 × Germany
1 × Portugal
6 × USA
Collaborated with:
D.Detlefs A.Garthwaite K.Adams U.Hölzle D.Ungar J.E.B.Moss S.N.Freund J.C.Mitchell J.Palsberg M.I.Schwartzbach R.Knippel Y.S.Ramakrishna D.White
Talks about:
type (7) infer (4) virtual (3) comparison (2) polymorph (2) techniqu (2) parametr (2) languag (2) precis (2) object (2)

Person: Ole Agesen

DBLP DBLP: Agesen:Ole

Contributed to:

ASPLOS 20062006
ISMM 20002000
ECOOP 19991999
OOPSLA 19991999
PLDI 19981998
OOPSLA 19971997
ECOOP 19951995
OOPSLA 19951995
OOPSLA 19941994
SAS 19941994
ECOOP 19931993

Wrote 11 papers:

ASPLOS-2006-AdamsA #comparison #hardware
A comparison of software and hardware techniques for x86 virtualization (KA, OA), pp. 2–13.
ISMM-2000-AgesenG #performance
Efficient Object Sampling via Weak References (OA, AG), pp. 121–126.
Inlining of Virtual Methods (DD, OA), pp. 258–278.
OOPSLA-1999-AgesenDGKRW #implementation #performance #ubiquitous
An Efficient Meta-Lock for Implementing Ubiquitous Synchronization (OA, DD, AG, RK, YSR, DW), pp. 207–222.
PLDI-1998-AgesenDM #garbage collection #java #liveness #virtual machine
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines (OA, DD, JEBM), pp. 269–279.
OOPSLA-1997-AgesenFM #java
Adding Type Parameterization to the Java Language (OA, SNF, JCM), pp. 49–65.
ECOOP-1995-Agesen #algorithm #morphism #parametricity #polymorphism #precise #type inference
The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism (OA), pp. 2–26.
OOPSLA-1995-AgesenH #comparison #feedback #object-oriented #optimisation #type inference
Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages (OA, UH), pp. 91–107.
Sifting Out the Gold (OA, DU), pp. 355–370.
SAS-1994-Agesen #constraints #morphism #parametricity #polymorphism #type inference
Constraint-Based Type Inference and Parametric Polymorphism (OA), pp. 78–100.
ECOOP-1993-AgesenPS #type inference
Type Inference of SELF (OA, JP, MIS), pp. 247–267.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.