Mikael Pettersson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
1990–2005
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | PPDP | Efficiently compiling a functional language on AMD64: the HiPE experience. | Daniel Luna, Mikael Pettersson, Konstantinos Sagonas |
| 2002 | FLOPS | The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. | Mikael Pettersson, Konstantinos Sagonas, Erik Johansson |
| 2000 | PPDP | A high performance Erlang system. | Erik Johansson, Mikael Pettersson, Konstantinos Sagonas |
| 1998 | CC | Portable Debugging and Profiling. | Mikael Pettersson |
| 1996 | CC | A Compiler for Natural Semantics. | Mikael Pettersson |
| 1994 | CC | Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. | Johan Ringstrm, Peter Fritzson, Mikael Pettersson |
| 1992 | CC | A Term Pattern-Match Compiler Inspired by Finite Automata Theory. | Mikael Pettersson |
| 1992 | ICCI | A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language. | Johan Fagerstrm, Peter Fritzson, Johan Ringstrm, Mikael Pettersson |
| 1990 | CC | Generating Efficient Code from Continuation Semantics. | Mikael Pettersson |