Generating Efficient Code from Continuation Semantics. - Mikael Pettersson (CC, 1990)

A Term Pattern-Match Compiler Inspired by Finite Automata Theory. - Mikael Pettersson (CC, 1992)

A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language. - Johan Fagerström; Peter Fritzson; Johan Ringström; Mikael Pettersson (ICCI, 1992)

DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications. - Mikael Pettersson; Peter Fritzson (ICCL, 1992)

Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. - Johan Ringström; Peter Fritzson; Mikael Pettersson (CC, 1994)

RML - A New Language and Implementation for Natural Semantics. - Mikael Pettersson (PLILP, 1994)

A Compiler for Natural Semantics. - Mikael Pettersson (CC, 1996)

Portable Debugging and Profiling. - Mikael Pettersson (CC, 1998)

Compiling Natural Semantics. - Mikael Pettersson (Springer, 1999)

A high performance Erlang system. - Erik Johansson; Mikael Pettersson; Konstantinos Sagonas (PPDP, 2000)

A calibration scheme for imperfect quantizers. - Peter Händel; Mikael Skoglund; Mikael Pettersson (IEEE Trans. Instrum. Meas., 2000)

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. - Mikael Pettersson; Konstantinos Sagonas; Erik Johansson (FLOPS, 2002)

All you wanted to know about the HiPE compiler: (but might have been afraid to ask). - Konstantinos Sagonas; Mikael Pettersson; Richard Carlsson; Per Gustafsson; Tobias Lindahl (Erlang Workshop, 2003)

The development of the HiPE system: design and experience report. - Erik Johansson; Mikael Pettersson; Konstantinos Sagonas; Thomas Lindgren (Int. J. Softw. Tools Technol. Transf., 2003)

HiPE on AMD64. - Daniel Luna; Mikael Pettersson; Konstantinos Sagonas (Erlang Workshop, 2004)

Efficiently compiling a functional language on AMD64: the HiPE experience. - Daniel Luna; Mikael Pettersson; Konstantinos Sagonas (PPDP, 2005)