Mikael Pettersson

Publication Activity (10 Years)

Years Active: 1990-2005
Publications (10 Years): 0

Publications

Daniel Luna, Mikael Pettersson, Konstantinos Sagonas
Efficiently compiling a functional language on AMD64: the HiPE experience. PPDP (2005)
Daniel Luna, Mikael Pettersson, Konstantinos Sagonas
HiPE on AMD64. Erlang Workshop (2004)
Konstantinos 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)
Erik Johansson, Mikael Pettersson, Konstantinos Sagonas, Thomas Lindgren
The development of the HiPE system: design and experience report. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)
Mikael Pettersson, Konstantinos Sagonas, Erik Johansson
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. FLOPS (2002)
Peter Händel, Mikael Skoglund, Mikael Pettersson
A calibration scheme for imperfect quantizers. IEEE Trans. Instrum. Meas. 49 (5) (2000)
Erik Johansson, Mikael Pettersson, Konstantinos Sagonas
A high performance Erlang system. PPDP (2000)
Mikael Pettersson
Portable Debugging and Profiling. CC (1998)
Mikael Pettersson
A Compiler for Natural Semantics. CC (1996)
Johan Ringström, Peter Fritzson, Mikael Pettersson
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. CC (1994)
Mikael Pettersson
RML - A New Language and Implementation for Natural Semantics. PLILP (1994)
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)
Mikael Pettersson, Peter Fritzson
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications. ICCL (1992)
Mikael Pettersson
A Term Pattern-Match Compiler Inspired by Finite Automata Theory. CC (1992)
Mikael Pettersson
Generating Efficient Code from Continuation Semantics. CC (1990)