Members |
|
Topics |
Senior Scientists |
|
|
Kostis Sagonas |
|
Project direction and management. Design of static analyses
and runtime system architectures. Hacking the compiler
front-end. |
Mikael Pettersson |
|
Development of the runtime system and the x86 compiler back-end |
Ph.D. Students |
|
|
Richard Carlsson |
|
Development of Core Erlang and of static
analyses and transformations tailored to Erlang |
Jesper Wilhelmsson |
|
Runtime system architectures;
garbage collection techniques |
Per Gustafsson |
|
Flexible pattern matching compilation |
Tobias Lindahl |
|
Type inference and discrepancy detection in Erlang. Developer of Dialyzer. |