Compilation of Floating Point Arithmetic in the High Performance Erlang Compiler

Tobias Lindahl
ASTEC Master Thesis Presentation (performed in the context of the HiPE project)

In the context of the dynamically typed concurrent functional programming language Erlang, we describe a simple static analysis for identifying variables containing floating point numbers, how this information is used by the BEAM compiler, and a scheme for efficient compilation of floating point bytecode instructions to native code.

The attractiveness of the scheme lies in its implementation simplicity. It has been fully incorporated in Erlang/OTP R9, and improves the performance of Erlang programs manipulating floats considerably. We also show that by using this scheme, Erlang/OTP, despite being an implementation of a dynamically typed language, achieves performance which is competitive with that of state-of-the-art implementations of strongly typed strict functional languages (e.g. SML/NJ) on floating point intensive programs.

Supervisor and Examiner: Kostis Sagonas.

ASTEC seminar
October 21, 2002

Place: Information technology, Uppsala University
Room: 1113
Time: 14.15-15.00 (+ discussions)

Room 1113 is in building 1, floor 1, room 13 (in the southern part of the building).

Help on how to find ASTEC Seminars.

There will be an extended period for discussions after the seminar.

Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 15.00.

Everyone is welcome !

Updated 10-Oct-2002 13:35 by Roland Grönroos
e-mail: info -at-    Location: