Students, past and present

Current PhD Students

Jonas Norlinder

Project(s): JVM ReCo

Topics: memory management, zgc, benchmarking

Website: https://norlinder.nu

Ellen Arvidsson

Project(s): Pervasive Memory Safety through Ownership Types

Topics: ownership, type systems, formal semantics

Website: https://github.com/viewedlobster/

Fridtjof Peer Stoldt

Project(s): Pervasive Memory Safety through Ownership Types, Data-race Freedom and Memory Safety for Untyped Languages

Topics: dynamic languages, ownership, concurrency

Website: https://github.com/xFrednet

Current Co-Advised PhD Students

Amanda Stjerna

Project(s): Polonius

Topics: borrow checking, Rust, security

Website: https://amandastjerna.se/

Main advisor: Eva Darulova

Matilda Blomqvist

Project(s): Verona, Trieste

Topics: parsing, fuzzing

Main advisor: Elias Castegren

Anders Ågren Thuné

Project(s): Pervasive Memory Safety through Ownership Types

Topics: Secure compilation

Main advisor: Tjark Weber

Jennifer Gross

Project(s): Software Engineering

Topics: quality in-use, sustainability

Main advisor: Sofia Ouhbi

Beatrice Åkerblom

Project(s): n/a

Topics: dynamic languages, ownership, array computation

Main advisor: Tony Lindgren (SU), Elias Castegren

Graduated PhD Students

Albert Mingkun Yang

Graduated: 2025

First job: HotSpot GC Team at Oracle

Project(s): JVM Research Cooperation, UPSCALE, UPMARC

Topics: memory management, zgc

Website: https://inside.java/u/AlbertYang/

Main advisor: Tobias Wrigstad

Marina Shimchenko

Graduated: 2024

Project(s): JVM Research Cooperation, UPSCALE

Topics: energy efficiency, memory management

Main advisor: Tobias Wrigstad

Kiko Fernandez-Reyes

Graduated: 2022

First job: Erlang Team at Ericsson

Project(s): SCADA

Topics: concurrency, type systems, gradual typing, dynamic languages

Main advisor: Tobias Wrigstad

Malin Källén

Graduated: 2020

First job: Software Engineer

Project(s): Software Engineering for Scientific Computing

Topics: software engineering, scientific computing, software mining

Main advisor: Tobias Wrigstad

Stephan Brandauer

Graduated: 2018

First job: GitHub

Project(s): Structured Aliasing

Topics: ownership, software mining

Main advisor: Tobias Wrigstad

Elias Castegren

Graduated: 2018

First job: Postdoc with David Broman at KTH

Project(s): UPMARC, UPSCALE

Topics: ownership, type systems, formal semantics, concurrency

Main advisor: Tobias Wrigstad

Johan Östlund

Graduated: 2016

First job: Spotify

Project(s): UPSCALE

Topics: ownership, type systems, concurrency

Main advisor: Tobias Wrigstad

Current Undergraduate Students

Arveen Emdad

Project: JVM ReCo

Company advisor: Erik Österlund (Oracle) and Roberto Castaneda Lozano (Oracle)

Antón Seoane Ampudia

Project: JVM ReCo

Company advisor: Erik Österlund (Oracle) and Roberto Castaneda Lozano (Oracle)

Simon Jaklovsky

Project: Ericsson's Erlang Team

Company advisor: John Högberg (Erlang Team at Ericsson)

Waldo Omaet Ruiz Isaac

Project: Pyrona

Company advisor: Fridtjof Peer Stoldt (UU)

Max Malmros

Project: Pyrona

Company advisor: Fridtjof Peer Stoldt (UU)

Recent Past Undergraduate Students

(N.B. partial list)

Niclas Gärds

Project: JVM ReCo

Company advisor: Erik Österlund

Thesis: Available

Graduated: 2025

Job: Software Developer at Scania

Joel Sikström

Project: JVM ReCo

Company advisor: Erik Österlund

Thesis: Available

Graduated: 2024

Job: GC Team at Oracle

Casper Norrbin

Project: JVM ReCo

Company advisor: Erik Österlund

Thesis: Available

Graduated: 2024

Job: Sustaining Team at Oracle

Isabell Huang

Project: Nominal types for Erlang

Company advisor: John Höglund (Erlang Team)

Thesis: Available

Graduated: 2024

Job: Erlang Team at Ericsson

Qiang Xu

Project: Investigating alternative GC strategies for Erlang

Company advisor: Lukas Larsson (Erlang Team)

Thesis: Available

Graduated: 2024

Linus Shoravi

Project: JVM ReCo

Company advisor: Erik Österlund (Oracle)

Thesis: Compressing Pointers for the Z Garbage Collector — Runtime compression of pointers in a concurrent setting

Graduated: 2023

Job: Spotify

Michael Rehn

Thesis: Garbage Collected CRDTs on the Web — Studying the Memory Efficiency of CRDTs in a Web Context

Graduated: 2020

Job: Netlight

Ardalan Samimi

Thesis: Extending an In-Browser C Interpreter With an Abstracted Model of Memory

Graduated: 2021

Jonas Norlinder

Project: JVM ReCo

Company advisor: Erik Österlund (Oracle)

Thesis: Moving Garbage Collection with Low-Variation Memory Overhead and Deterministic Concurrent Relocation

Graduated: 2020

Job: PhD student, UU

Pontus Ernstedt

Thesis: Avoiding Out-Of-Memory Errors in ThinGC

Graduated: 2020

Kevin Alemi

Thesis: Improving on C with Rust An analysis of Rusts preventative abilities

Graduated: 2020

Amanda Stjerna

Thesis: Modelling Rust’s Reference Ownership Analysis Declaratively in Datalog

Graduated: 2020

Joy Manning

Thesis: For-Comprehension: An Encore Compiler Story

Graduated: 2019

Ulf Sigvardsson

Thesis: Code Cloning Habits Of The Jupyter Notebook Community: Code Cloning Habits Of The Jupyter Notebook Community

Graduated: 2019

Alexis Remmers

Thesis: Enhancing Functionality with Assistive Error Visualisations in Encore

Graduated: 2019

Martin Hagelin

Thesis: Optimizing Memory Management with Object-Local Heaps

Graduated: 2015

Job: Dirac

Niclas Adlertz

Thesis: Implementing a New Register Allocator for the Server Compiler in the Java HotSpot Virtual Machine

Graduated: 2015

Job: Compiler Engineer, Oracle Java Team

Johan Karlsson

Thesis: Efficient Use of Multicores in Interactive Desktop Applications

Graduated: 2015

Stephan Brandauer

Thesis: Task Scheduling using Effects in Joelle

Graduated: 2013

Job: PhD student (UU)

Nosheen Zaza

Thesis: Evaluating the Accuracy of Annotations in the Loci 3.0 Pluggable Type Checker

Graduated: 2013

Job: PhD student (Lugano)

Elias Castegren

Thesis: LAPS — A General Framework for Modeling Alias Management Using Access Permission Sets

Graduated: 2012

Job: PhD student (UU)

Amanj Sherwany

Thesis: The Design, Implementation and Evaluation of a Pluggable Type Checker for Thread-Locality in Java

Graduated:

Job: PhD student (Lugano)