Mikael Pettersson

16 papers B 5C 3Misc 1Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2005 C conf
Efficiently compiling a functional language on AMD64: the HiPE experience.
PPDP
Daniel Luna, Mikael Pettersson, Konstantinos Sagonas
2004 — conf
HiPE on AMD64.
Erlang Workshop
Daniel Luna, Mikael Pettersson, Konstantinos Sagonas
2003 — conf
All you wanted to know about the HiPE compiler: (but might have been afraid to ask).
Erlang Workshop
Konstantinos Sagonas, Mikael Pettersson, Richard Carlsson, Per Gustafsson, Tobias Lindahl
2003 J jnl
The development of the HiPE system: design and experience report.
Int. J. Softw. Tools Technol. Transf.
Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, Thomas Lindgren
2002 Misc conf
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.
FLOPS
Mikael Pettersson, Konstantinos Sagonas, Erik Johansson
2000 J jnl
A calibration scheme for imperfect quantizers.
IEEE Trans. Instrum. Meas.
Peter Händel, Mikael Skoglund, Mikael Pettersson
2000 C conf
A high performance Erlang system.
PPDP
Erik Johansson, Mikael Pettersson, Konstantinos Sagonas
1999 — book
Compiling Natural Semantics.
Mikael Pettersson
1998 B conf
Portable Debugging and Profiling.
CC
Mikael Pettersson
1996 B conf
A Compiler for Natural Semantics.
CC
Mikael Pettersson
1994 B conf
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.
CC
Johan Ringström, Peter Fritzson, Mikael Pettersson
1994 — conf
RML - A New Language and Implementation for Natural Semantics.
PLILP
Mikael Pettersson
1992 C conf
A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language.
ICCI
Johan Fagerström, Peter Fritzson, Johan Ringström, Mikael Pettersson
1992 B conf
A Term Pattern-Match Compiler Inspired by Finite Automata Theory.
CC
Mikael Pettersson
1992 — conf
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications.
ICCL
Mikael Pettersson, Peter Fritzson
1990 B conf
Generating Efficient Code from Continuation Semantics.
CC
Mikael Pettersson