Travelled to:1 × Japan
1 × Spain
1 × Sweden
1 × United Kingdom
2 × Germany
2 × Portugal
Collaborated with:∅ K.F.Sagonas E.Johansson D.Luna J.Ringström P.Fritzson
Talks about:compil (5) languag (3) semant (3) effici (3) perform (2) generat (2) system (2) erlang (2) natur (2) implement (1)
Person: Mikael Pettersson
DBLP: Pettersson:Mikael
Contributed to:
2005
20022000
199819961994199419921990Wrote 9 papers:
- PPDP-2005-LunaPS #compilation #experience #functional
- Efficiently compiling a functional language on AMD64: the HiPE experience (DL, MP, KFS), pp. 176–186.
- FLOPS-2002-PetterssonSJ #compilation #erlang #evaluation #performance
- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation (MP, KFS, EJ), pp. 228–244.
- PPDP-2000-JohanssonPS #erlang #performance
- A high performance Erlang system (EJ, MP, KFS), pp. 32–43.
- CC-1998-Pettersson #debugging #profiling
- Portable Debugging and Profiling (MP), pp. 279–293.
- CC-1996-Pettersson #compilation #semantics
- A Compiler for Natural Semantics (MP), pp. 177–191.
- CC-1994-RingstromFP #compilation #generative #parallel #performance #specification
- Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification (JR, PF, MP), pp. 248–262.
- PLILP-1994-Pettersson #implementation #named #semantics
- RML — A New Language and Implementation for Natural Semantics (MP), pp. 117–131.
- CC-1992-Pettersson #automaton #compilation #finite
- A Term Pattern-Match Compiler Inspired by Finite Automata Theory (MP), pp. 258–270.
- CC-1990-Pettersson #continuation #generative #performance #semantics
- Generating Efficient Code from Continuation Semantics (MP), pp. 165–178.