| 2005 |
|---|
| 15 | EE | Daniel Luna,
Mikael Pettersson,
Konstantinos F. Sagonas:
Efficiently compiling a functional language on AMD64: the HiPE experience.
PPDP 2005: 176-186 |
| 2004 |
|---|
| 14 | EE | Daniel Luna,
Mikael Pettersson,
Konstantinos F. Sagonas:
HiPE on AMD64.
Erlang Workshop 2004: 38-47 |
| 2003 |
|---|
| 13 | EE | Konstantinos F. Sagonas,
Mikael Pettersson,
Richard Carlsson,
Per Gustafsson,
Tobias Lindahl:
All you wanted to know about the HiPE compiler: (but might have been afraid to ask).
Erlang Workshop 2003: 36-42 |
| 12 | EE | Erik Johansson,
Mikael Pettersson,
Konstantinos F. Sagonas,
Thomas Lindgren:
The development of the HiPE system: design and experience report.
STTT 4(4): 421-436 (2003) |
| 2002 |
|---|
| 11 | EE | Mikael Pettersson,
Konstantinos F. Sagonas,
Erik Johansson:
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.
FLOPS 2002: 228-244 |
| 2000 |
|---|
| 10 | EE | Erik Johansson,
Mikael Pettersson,
Konstantinos F. Sagonas:
A high performance Erlang system.
PPDP 2000: 32-43 |
| 1999 |
|---|
| 9 | | Mikael Pettersson:
Compiling Natural Semantics.
Springer 1999 |
| 1998 |
|---|
| 8 | | Mikael Pettersson:
Portable Debugging and Profiling.
CC 1998: 279-293 |
| 1996 |
|---|
| 7 | | Mikael Pettersson:
A Compiler for Natural Semantics.
CC 1996: 177-191 |
| 1994 |
|---|
| 6 | | Johan Ringström,
Peter Fritzson,
Mikael Pettersson:
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.
CC 1994: 248-262 |
| 5 | | Mikael Pettersson:
RML - A New Language and Implementation for Natural Semantics.
PLILP 1994: 117-131 |
| 1992 |
|---|
| 4 | | Mikael Pettersson:
A Term Pattern-Match Compiler Inspired by Finite Automata Theory.
CC 1992: 258-270 |
| 3 | | Johan Fagerström,
Peter Fritzson,
Johan Ringström,
Mikael Pettersson:
A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language.
ICCI 1992: 133-134 |
| 2 | EE | Mikael Pettersson,
Peter Fritzson:
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications.
ICCL 1992: 127-136 |
| 1990 |
|---|
| 1 | | Mikael Pettersson:
Generating Efficient Code from Continuation Semantics.
CC 1990: 165-178 |
