I used to spend all my time playing the classical guitar, but the last
several years have been dedicated to computer science, in particular
to the design and implementation of programming languages.
In my copious spare time I like to walk around in beautiful nature,
(especially mountains, when given the opportunity), visit friends
and have long discussions about life, death, the universe, and how
to save it, take pictures, read good short stories (find it a lot
harder to get around to actually reading any long stories),
make vegetarian food (or fish), participate in eating it, travel
around the world, and all that jazz. Often taking a look at
slashdot
and, every day, checking out the newest
Dilbert and
Userfriendly strip.
Research Interests
My research is focusing on programming languages, from such points of view
as design, implementation, static analysis, and "philosophy". The
cornerstone is the design and implementation of the language
gbeta, a language
in the Scandinavian OO tradition (i.e., weird, unless you are already
addicted to it). Here is a list of publications in that area (as far
as possible, the papers will be made available here when the copyright
issues have been sorted out):
- Ernst, E. 2009, First-Class Object Sets, in Types for Proofs and Programs,
Springer Verlag, Berlin / Heidelberg, pp 83-99.
- Nielsen, A.B., Ernst, E. 2009, Virtual Class Support at the Virtual Machine Level,
in Proceedings of The 3rd workshop on Virtual Machines and Intermediate Languages
- Cameron, N.R., Drossopoulou, S., Ernst, E. 2008, A Model for Java with Wildcards,
in Proceedings of ECOOP 2008, Paphos, Springer Verlag.
- Nielsen, A.B., Ernst, E. 2008, Optimizing Dynamic Class Composition in a Statically
Typed Language, in Objects, Components, Models and Patterns, Springer Verlag,
Berlin/Heidelberg, pp 161-177.
- Ernst, E., Bergmans, L., Gybels, K (eds.). Special Issue: Software-engineering, Properties
of Language and Aspect Technologies, Journal of Object
Technology, vol. 7 nr. 9, 2008.
- Ernst, E. (red.) 2007, ECOOP 2007 - Object-Oriented Programming, Springer
Verlag, Berlin / Heidelberg.
- Ernst, E., Ungar, D. 2007, Point/Counterpoint, IEEE Software,
vol. 24 nr. 5, pp. 72-75.
- Ernst, E. 2007, Primitive Associations, in Proceedings of the International
Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO),
in conjunction with ECOOP 2007.
- Cameron, N., Ernst, E., Drossopoulou, S. 2007, Towards an Existential
Types Model for Java with Wildcards, in Proceedings of the 9th
Workshop on Formal Techniques for Java-like Programs (FTfJP), in
association with ECOOP 2007, pp 1-13.
- Erik Ernst, Klaus Ostermann, and William R. Cook. A Virtual
Class Calculus. Extended version of the POPL'06 paper
with the same title.
PDF.
- Erik Ernst, Klaus Ostermann, and William R. Cook. A Virtual
Class Calculus. In Proceedings of POPL'06.
- Erik Ernst. Method Mixins. In Proceedings of
NODe2005.
- Mads Torgersen, Erik Ernst, and Christian Plesner Hansen.
Wild FJ. In Proceedings of
FOOL'12.
- Mads Torgersen, Christian Plesner Hansen, Erik Ernst,
Peter von der Ahé, Gilad Bracha, and Neal Gafter.
Adding Wildcards to the Java Programming Language.
In Proceedings of SAC 2004, pages 1289-1296. Nicosia, Cyprus,
March 2004. ACM Press.
BibTeX.
- Erik Ernst. Simple, eh?
In Proceedings of Software Engineering Properties of Languages
for Aspect Technologies 2004, SPLAT04, in association with
AOSD 2004.
BibTeX,
PDF.
- Erik Ernst.
Higher-Order Hierarchies.
In Proceedings of ECOOP 2003, LNCS 2743, pages 303-329,
Darmstadt, Germany, July 2003. Springer-Verlag.
BibTeX,
Postscript,
Postscript/gzip.
- David H. Lorenz and Erik Ernst.
Aspects and Polymorphism in AspectJ.
In Proceedings of AOSD 2003, Mehmet Aksit (ed.),
Boston, MA, USA, March 2003. ACM Press.
BibTeX.
- Erik Ernst.
Separation of Concerns.
In Proceedings of Software Engineering Properties of Languages
for Aspect Technologies 2003, SPLAT03, in association with
AOSD 2003.
BibTeX,
PDF.
- Erik Ernst.
Safe Dynamic Multiple Inheritance.
Nordic Journal of Computing, 9(3), Fall 2002, pages 191-208.
BibTeX,
PDF.
- Gabriel Arévalo, Andrew Black, Yania Crespo,
Michael Dao, Erik Ernst, Peter Grogono, Marianne Huchard,
and Markku Sakkinen.
The Inheritance Workshop.
In Object-Oriented Technology: ECOOP 2002 Workshop Reader,
LNCS 2548, pages 117-134, Heidelberg, Germany, 2002.
Springer-Verlag.
BibTeX.
- Erik Ernst. Safe Dynamic Multiple Inheritance.
In Kasper Østerbye (ed.), Proceedings of the Nordic Workshop
on Software Development Tools and Techniques, 10th NWPER
Workshop, pages 169-182, Copenhagen, Denmark, 2002.
The IT-University of Copenhagen. Note: The above paper in
Nordic Journal of Computing, 9(3) 2002, is an extended and
reworked version of this paper.
BibTeX.
- Erik Ernst. Loosely Coupled Class Families. Accepted
at the workshop "Advanced Separation of Concerns" at ECOOP 2001.
BibTeX,
Postscript,
Postscript/gzip.
- Erik Ernst. What's in a Name?. Accepted at the
workshop "Feature Interaction of Composed Systems" at ECOOP 2001.
BibTeX,
PDF.
- Erik Ernst. Family Polymorphism. In
Proceedings ECOOP 2001, LNCS 2072,
pages 303--326, Budapest, Hungary, June 2001.
Springer-Verlag.
BibTeX,
Postscript,
Postscript/gzip.
- Erik Ernst. Syntax Based Modularization: Invasive or
Not?. Accepted at the workshop "Advanced Separation of
Concerns" at OOPSLA 2000.
BibTeX,
Postscript,
Postscript/gzip.
- Laurent Bussard, Lee Carver, Erik Ernst, Mathias Jung, Martin
Robillard, and Andreas Speck. Safe Aspect Composition. In
Object-Oriented Technology: ECOOP'00 Workshop Reader.
BibTeX.
- Erik Ernst. Separation of Concerns and Then What?.
Accepted at the workshop "Aspects and Dimensions of Concern"
at ECOOP 2000.
BibTeX,
Postscript,
Postscript/gzip.
- Erik Ernst. gbeta -- a Language with Virtual Attributes,
Block Structure, and Propagating, Dynamic Inheritance.
Ph.D. thesis. Department of Computer Science, Aarhus University,
Denmark, 1999.
BibTeX,
Postscript/A4,
Postscript/A4/gzip.
- Erik Ernst. Propagating class and method combination. In
Proceedings ECOOP'99,
LNCS 1628, pages 67--91, Lisboa, Portugal,
June 1999. Springer-Verlag.
BibTeX,
Postscript,
Postscript/gzip.
- Erik Ernst. Dynamic inheritance in a statically typed language.
Nordic Journal of Computing, 6(1):72--92, Spring 1999.
BibTeX,
Postscript,
Postscript/gzip.
- Erik Ernst. Dynamic inheritance and static analysis can be reconciled.
In Khalid Mughal and Andreas L. Opdahl, editors:
Proceedings of NWPER'98: The Eighth Nordic Workshop on
Programming Environment Research, Ronneby/Sweden, August
1998. Department of Informatics and Department of Information
Science, University of Bergen, Norway. Note: The above paper in
Nordic Journal of Computing, 6(1) 1999, is an extended and
reworked version of this paper.
BibTeX,
Postscript,
Postscript/gzip.
- Erik Ernst. Relative types. In Frank Gerhardt, Erik Ernst,
and Luigi Benedicenti, editors: Position Papers from the 8th
Workshop for PhD Students in Object-Oriented Systems,
DAIMI-PB 535. Department of Computer Science, Aarhus University,
Denmark, 1999.
BibTeX,
Postscript,
Postscript/gzip.
- Erik Ernst. Constraint based inheritance.
In Erik Ernst, Lutz Wohlrab, and Frank Gerhardt, editors:
Proceedings of the 7th Workshop for PhD Students in
Object-Oriented Systems, DAIMI PB-526, pages 25--34,
Aarhus, Denmark, 1997, Dept. of Computer Science, Aarhus University.
BibTeX,
Postscript,
Postscript/gzip.
Signed by:
eernst@cs.au.dk.
Last Modified: 05-Feb-2010