dblp.uni-trier.dewww.uni-trier.de

Mikael Pettersson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
15EEDaniel Luna, Mikael Pettersson, Konstantinos F. Sagonas: Efficiently compiling a functional language on AMD64: the HiPE experience. PPDP 2005: 176-186
2004
14EEDaniel Luna, Mikael Pettersson, Konstantinos F. Sagonas: HiPE on AMD64. Erlang Workshop 2004: 38-47
2003
13EEKonstantinos 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
12EEErik 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
11EEMikael Pettersson, Konstantinos F. Sagonas, Erik Johansson: The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. FLOPS 2002: 228-244
2000
10EEErik 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
2EEMikael 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

Coauthor Index

1Richard Carlsson [13]
2Johan Fagerström [3]
3Peter Fritzson [2] [3] [6]
4Per Gustafsson [13]
5Erik Johansson [10] [11] [12]
6Tobias Lindahl [13]
7Thomas Lindgren [12]
8Daniel Luna [14] [15]
9Johan Ringström [3] [6]
10Konstantinos F. Sagonas [10] [11] [12] [13] [14] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)