Mikael Pettersson

According to our database, Mikael Pettersson authored at least 16 papers between 1990 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Efficiently compiling a functional language on AMD64: the HiPE experience.

Daniel Luna, Mikael Pettersson, Konstantinos Sagonas

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

2004

HiPE on AMD64.

Daniel Luna, Mikael Pettersson, Konstantinos Sagonas

Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, 2004

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

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

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003

2002

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.

Mikael Pettersson, Konstantinos Sagonas, Erik Johansson

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2000

A calibration scheme for imperfect quantizers.

Peter Händel, Mikael Skoglund, Mikael Pettersson

IEEE Trans. Instrum. Meas., 2000

A high performance Erlang system.

Erik Johansson, Mikael Pettersson, Konstantinos Sagonas

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1999

Compiling Natural Semantics.

Mikael Pettersson

Lecture Notes in Computer Science 1549, Springer, ISBN: 3-540-65968-4, 1999

1998

Portable Debugging and Profiling.

Mikael Pettersson

Proceedings of the Compiler Construction, 7th International Conference, 1998

1996

A Compiler for Natural Semantics.

Mikael Pettersson

Proceedings of the Compiler Construction, 6th International Conference, 1996

1994

RML - A New Language and Implementation for Natural Semantics.

Mikael Pettersson

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.

Johan Ringström, Peter Fritzson, Mikael Pettersson

Proceedings of the Compiler Construction, 5th International Conference, 1994

1992

DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications.

Mikael Pettersson, Peter Fritzson

Proceedings of the ICCL'92, 1992

A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language.

Johan Fagerström, Peter Fritzson, Johan Ringström, Mikael Pettersson

Proceedings of the Computing and Information, 1992

A Term Pattern-Match Compiler Inspired by Finite Automata Theory.

Mikael Pettersson

Proceedings of the Compiler Construction, 1992

1990

Generating Efficient Code from Continuation Semantics.

Mikael Pettersson

Proceedings of the Compiler Compilers, 1990