Thesis topics in programming languages

The programming languages group UPLANG at the Department of Information Technology is undertaking research on a number of topics / projects on or around programming languages, including:

• Data-race freedom in Python (aka the Pyrona project) [Tobias Wrigstad]
• Data-race freedom in Java [Tobias Wrigstad]
• Floating-point verification [Eva Darulova]
• Verified compilation of Erlang [Johannes Borgström, Tjark Weber, Lars-Henrik Eriksson]
• Memory safety for managed language (Java, Rust), unmanaged languages (C, C++), and infrastructure languages (Verona) [Tobias Wrigstad, Elias Castegren, Luke Cheeseman]
• New concurrency/ownership models (meaning ways to write concurrent programs) [Tobias Wrigstad, Elias Castegren, Luke Cheeseman]
• Programming language implementation and tooling for programming language implementation [Elias Castegren]
• Type systems and gradual typing [Tobias Wrigstad, Elias Castegren]

All these projects have potential openings for excellent, highly motivated, and self-driven students to do project work for their thesis. Some of these projects are in collaboration with companies such as Microsoft, Oracle, and Ericsson.

The projects are typically supervised by a PhD student with a senior researcher serving as subject reviewer.

Ideally, we are looking for students who are interested in actively cooperating with us — not come up with a specification, run away, and eventually materialise with something. We encourage working from the department for at least part of the week so that you have a fast path to talk to us, and so that you can attend our bi-weekly seminars, other meetings relevant to the project, etc.

Necessary skillset

The projects are all relatively complicated and ambitious and involve both technical heavy lifting and some design work, statistics, or theory. We appreciate that most students have not had much (or any) experience with the specifics of the projects and we are happy to help you pick up any skills necessary. However, we do expect you to be able to program and communicate decently in written form, since there is not enough time to learn that during the project. What programming languages you master, or what kind of writing you are used to is less important.

Some information about tentatively necessary skillsets for the various projects are in order:

• Projects around data-race freedom typically involve some work in C and Python, or C++ and Java. Prior knowledge about concurrency and memory models will be helpful. Projects in this space typically revolve around some implementation work in on-going projects.

How to do a thesis project with us

If you are interested in doing a thesis project with us, then please send an email to the person(s) who are listed above for the topics you are interested in. We do get a lot of email, so please bear with us if it takes some time to come back to you. Please include:

1. A short description of yourself and your interests, and what kinds of projects you could be interested in. Please avoid using AI-generated text for this, we want to understand who we would be working with and what you might be a good fit for.
2. A CV is very welcome, but you don’t need to build one from scratch if you don’t have one already.
3. A transcript of your grades. This is especially important if you are not a Swedish student for whom we can easily pull the grades. (Also, let’s be clear that grades certainly aren’t everything so don’t stop yourself from sending the email just because your GPA could be higher.)

You can find a list of projects we’re currently advertising in this document.

2026

Alvin Ljung Hallgren

• Project: An Empirical Study on Usage of Testing Frameworks on GitHub (15 ECTS)
• Supervisor: Andrea Gilot
• Reviewer: Eva Darulova

Holger Swartling

• Project: Large scale code clone detection using adaptive prefix-filtering (30 ECTS)
• Supervisor: Andrea Gilot
• Reviewer: Neea Rusch

Sivakorn Lerttripinyo

• Project: Integrating Dynamic Region-Based Ownership Model into CPython and NumPy (30 ECTS)
• Supervisor: Fridtjof Stoldt
• Reviewer: Tobias Wrigstad

Loran Daqouri

• Project: Exploring Privacy Leakage inLarge Language Models (30 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Shweta Premanandan

Sebastian Blom

• Project: Interpreter-Aware Object Deallocation Scheduling in CPython (15 ECTS)
• Supervisor: Fridtjof Stoldt
• Reviewer: Tobias Wrigstad

Alexandra Sennblad

• Project: Comparing two Approaches for Language Agnostic Compiler Fuzzing (15 ECTS)
• Supervisor: Elias Castegren

Linus Brewitz

• Project: Large-Scale Code Study on the Usage of Dynamic Python Features on GitHub (15 ECTS)
• Supervisor: Andrea Gilot
• Reviewer: Tobias Wrigstad

Arvid Lorén

• Project: Usability Recommendations for Deductive Verifiers (30 ECTS)
• Supervisor: Andrea Gilot
• Reviewer: Sofia Ouhbi

Dona Harshani Kokila Wickramasinghe

• Project: Mining Energy-Related Trade-offs in GitHub Pull Requests Through Product Quality Classification (30 ECTS)
• Supervisor: Jennifer Gross
• Reviewer: Shweta Premanandan

Zhiping Hu

• Project: Platform Threads versus Virtual Threads in SPECjbb2015: An Empirical Study on OpenJDK 25 (30 ECTS)
• Supervisor: Jonas Norlinder
• Reviewer: Tobias Wrigstad

David Klement

• Project: Memory Management for Pyrona-Enabled CPython (30 ECTS)
• Supervisor: Fridtjof Stoldt
• Reviewer: Tobias Wrigstad

Ludvig Sjöberg

• Project: Evaluating Trieste and QuickCheck for Generative Testing of Compiler Passes (15 ECTS)
• Supervisor: Elias Castegren
• Reviewer: Castegren Elias

David Johnson

• Project: An Energy Consumption Analysis of Serialization Format Alternatives to JSON (15 ECTS)
• Supervisor: Jennifer Gross
• Reviewer: Pontus Ekberg

Hugo Lindström

• Project: when References Should Be Captured: Leveraging Scala Capture Checking for Behaviour-Oriented Concurrency (15 ECTS)
• Supervisor: Luke Cheeseman
• Reviewer: Johannes Borgström

Hampus Toft

• Project: Mechanizing Proofs from a Course on Programming Language Semantics in Lean (15 ECTS)
• Supervisor: Elias Castegren
• Reviewer: Ramanathan S. Thinniyam

Nordin Khalid

• Project: ROVER: Creating a Fuzzing Tool for Region-Based Ownership Verification (15 ECTS)
• Supervisor: Fridtjof Stoldt
• Reviewer: Tobias Wrigstad

Rushidharan Baskar

• Project: Comparing Software Quality of GenAI-enabled vs Traditional Software Systems in Cardiovascular Healthcare (30 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Johannes Borgström

Jiawen Chen

• Project: Exploring the Quality-in-Use of Generative AI in Emotional Support (30 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Shweta Premanandan

Babitha Mannaravalappil Kuvvakkattayil

• Project: Analyzing Energy-Related Tradeoffs in GitHub Pull Requests Through Software Quality Perspectives: A Qualitative Study of Developer Reasoning and Tradeoff Negotiation in Open-Source Pull Requests (30 ECTS)
• Supervisor: Jennifer Gross
• Reviewer: Andrea Gilot

Duc Dung Le

• Project: Exploring the Opportunities and Challenges of Quantum Software Design (30 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Åsa Cajander

Carl-Henrik Ytterfelt Martinsson

• Project: Code Maintainability and DataStructures in Energy-AwareSoftware: An Empirical GitHubStudy (15 ECTS)
• Supervisor: Jennifer Gross
• Reviewer: Andrea Gilot

Eddie Krantz, Elina Eklöf, Shahin Mehrabi, Vera Hallberg

• Project: Designing for the Machine: How Vertical Placement and HTML Structure Drive Visibility in Gemini (15 ECTS)
• Supervisor: Shweta Premanandan

Christoffer Lundh, Leo André, Hilma Brunnberg

• Project: Boldness transformations of fonts: Evaluating different software methods for generating typographic boldness (15 ECTS)
• Supervisor: Shweta Premanandan

Tobias Franksson Lindkvist, Ivar Jonsson, Johannes Karlsson, Folke Petré

• Project: Digital Support for Nutritional Health in LSS Residential Care: Nutritional Status of People with Intellectual Disabilities Living in LSS Residential Homes (15 ECTS)
• Supervisor: Shweta Premanandan
• Reviewer: Calkin Suero Montero

Elvin Agneborg, Estelle Corneman, Ida Lindahl, Sandra Silfverswärd

• Project: My Walking City: Enabling effective communication with IT-systems between the people and policymakers of Uppsala city (15 ECTS)
• Supervisor: Shweta Premanandan

Kasper Jönsson, Simon Hellström, Liana Krigsman

• Project: Timesheet automation for EU-funded projects (15 ECTS)
• Supervisor: Shweta Premanandan

Fors David, Jeirud Valdemar, Löwenhielm Elliot, Stephanson Alexander

• Project: OCP Policy Pulse: The Development of an AI-Powered User Interface for Finding Data Center Heat Reuse Policies (15 ECTS)
• Supervisor: Shweta Premanandan

Hanna Cederlund, Elin Granljung, Ronja Lundberg, Clara Mårtén

• Project: Small but mighty: The design and development of a CRM system for micro enterprises (15 ECTS)
• Supervisor: Shweta Premanandan

Joel Andrén, Fabian Illes, Oskar Lindström, Jonna Lundell

• Project: Development of a Niche-Specific ERP-system (15 ECTS)
• Supervisor: Shweta Premanandan

Camila Cuervo Minotta, Ina Eriksson, Brita Larsson, Lucas Wästlund

• Project: Pain Monitoring App: How User Centered Design Contributes to the Usefulness of Digital Healthcare Tools (15 ECTS)
• Supervisor: Shweta Premanandan

Samuel Sverker

• Project: Energy-Aware Software Development in Operating Systems: An Analysis of OS-LevelOptimization Techniques (15 ECTS)
• Supervisor: Jennifer Gross
• Reviewer: Andrea Gilot

2025

Amanda Petersen

• Project: Comparing Formal Models for Optimistic and Pessimistic Concurrency Control (15 ECTS)
• Supervisor: Luke Cheeseman
• Reviewer: Elias Castegren

Waldo Omaet Ruiz Isaac

• Project: Analysing Python Code at Scale for a Safe Thread-Concurrent Python (30 ECTS)
• Supervisor: Fridtjof Stoldt
• Reviewer: Tobias Wrigstad

Mario Tannous

• Project: Specification Inference for Scala and Stainless (30 ECTS)
• Supervisor: Andrea Gilot
• Reviewer: Davide Vega D’Aurelio

Simon Björklund

• Project: Numerical Analysis of Highly Performant Functional Array Programs (30 ECTS)
• Supervisor: Eva Darulova
• Reviewer: Justin Pearson

Richard Widén

• Project: Compiling a Functional Language to LLVM IR using Trieste (15 ECTS)
• Supervisor: Elias Castegren
• Reviewer: Yi Wang

Vishnu Teja Bathala

• Project: Exploring the use of Generative AI Chatbots in Eliciting Software Sustainability Requirements (30 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Johannes Borgström

Alexandru Gurita

• Project: Enriching Retrieval-AugmentedGeneration with Non-TextualInformation to Support ScientificWriting (30 ECTS)
• Supervisor: Shweta Premanandan
• Reviewer: Lars-Henrik Eriksson

Tage Johansson

• Project: Optimising the Next-Generation Borrow Checker for Rust (30 ECTS)
• Supervisor: Amanda Stjerna
• Reviewer: Eva Darulova

Emil Edin

• Project: Testing the new NRA theory solver in Z3 (15 ECTS)
• Supervisor: Eva Darulova
• Reviewer: Sanjit Kumar Roy

Ahmad Jabri

• Project: Perceptions and Experience ofAdults in Sweden with MobileMental Health Applications (30 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Mats Daniels

Fredrik Olofsson

• Project: Evaluating Mixed-Precision Tuning on a Per-Function Basis (30 ECTS)
• Supervisor: Eva Darulova
• Reviewer: Justin Pearson

Valentin Hassinen

• Project: Field Testing Stainless by Verifying Daisy’s AST Library (15 ECTS)
• Supervisor: Andrea Gilot
• Reviewer: Eva Darulova

Oscar Wångmar

• Project: Optimising a Soundness-First Numerical Analysis Framework: A Performance Study of Daisy (15 ECTS)
• Supervisor: Eva Darulova
• Reviewer: Shweta Premanandan

Filip von Knorring

• Project: Exploring Accuracy and Performance Trade-offs in Functional Array Programs (30 ECTS)
• Supervisor: Eva Darulova
• Reviewer: Johannes Borgström

Marie Stjernholm, Amanda Nilsson, Sanna Gunnarsson, Tea Edelborg

• Project: Where Form Meets Function: Redesigning Professional Tools with Nielsen’s Heuristics: A Redesign of Vidhance’s Online Calibration Tool (15 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Mats Daniels

Daniel Alariksson, Carolina Löfgren, Yra Olsen Öbrink, Sebastian Rendel

• Project: Sustainable Living: A digital solution for promoting social and ecological sustainability in student corridors (15 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Shweta Premanandan

Theo Karlsson, Andreas Andersson Lyhagen, Ludvig Magdeburg, Ella Maxeby, Viktor Saadieh

• Project: OPC-Based Digital Twin of a Mass Spectrometer (15 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Calkin Suero Montero

Hugo Lönnqvist Österberg

• Project: Implementing Dataflow Analysis for an Imperative Programming Language in Trieste (15 ECTS)
• Supervisor: Elias Castegren
• Reviewer: Olle Gällmo

Carolina Cuevas, Edvin Gantelius, Elin Larsson, Sara Movin

• Project: Event Networking Through Algorithmic Matchmaking (15 ECTS)
• Supervisor: Sofia Ouhbi

Anton Eckervald, Cecilia Lindeborg, Maja Nyberg, Emma Nöjd, Samuel Rehnström, Samuel Westman

• Project: hAppy: Increasing engagement and improving data quality in research through real-time data collection. (15 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Mats Daniels

Alice Gelotte, Beddra Ikriem, Karl Lund Brelin, Theo Nygren

• Project: Can gamification save the planet?: Developing a POC as an incentive for changing habits through gamification (15 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Shweta Premanandan

Seleman Yussuf Hassan, Disa Nordin, Lucas Enroth, Edvin Martna

• Project: Sveriges Geografi: Gamified geography tool: Development and Evaluation of an Interactive Learning Application (15 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Shweta Premanandan

Birkenfalk Gabriella, Ileklint Victor, Swanberg Henrik, Usoskin Nikita

• Project: Empowering connections: How an algorithm can contribute to meaningful meetingsbetween participants and exhibitors at professional events (15 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Calkin Suero Montero

Emil Avanes, David Forsberg Dimopoulos, Martin Ek, Frithiof Georgii Hellberg, Josef Johansson, Fadi Zemzemi

• Project: The UNO Refiller App (15 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Calkin Suero Montero

Ibrahim Abdelrahman Mohamedi

• Project: A Formal Semantics of Core Erlang (30 ECTS)
• Supervisor: Tjark Weber
• Reviewer: Samuel Grahn

2024

Morteza Ahmadianmanzary

• Project: Examining the Effect of UserInterface on Trust andInteraction with Generative AI (30 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Virginia Grande

Liam Anderberg

• Project: Introducing Integers into Floating-Point Rounding Error Static Analysis (15 ECTS)
• Supervisor: Eva Darulova
• Reviewer: Johannes Borgström

Ganeshkumar Pandiarajan

• Project: Usability and Sustainability of Sports Websites (30 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Yi Zhao

Erik Magnehed

• Project: Developing and Evaluating an Automated Test Suite for Bubify (15 ECTS)
• Supervisor: Jonas Norlinder
• Reviewer: Johannes Borgström

Victor Hwasser

• Project: Finding the Enemy: High Performing Methods for Finding Agents in Games (30 ECTS)
• Supervisor: Elias Castegren
• Reviewer: Mats Daniels

Fridtjof Peer Stoldt

• Project: A Large-Scale Analysis of Borrow Patterns Used Inside Rust’s Open-Source Ecosystem (30 ECTS)
• Supervisor: Amanda Stjerna
• Reviewer: Lars-Henrik Eriksson

Tage Johansson

• Project: A Strongly Typed Shell with Static Sandboxing of Side Effects (15 ECTS)
• Supervisor: Elias Castegren
• Reviewer: Johannes Borgström

Axel Bergström

• Project: A Verified QBF Solver (30 ECTS)
• Supervisor: Tjark Weber
• Reviewer: Ramanathan Thinniyam

2023

Mounika Yabaku

• Project: Generative AI Tools for Software Engineering: An Analysis of Functionality and Users’ Expectations (30 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Thom Kunkeler

Simon Björklund

• Project: Expression Simplification Using E-Graphs for Interval Evaluation (15 ECTS)
• Supervisor: Eva Darulova
• Reviewer: Lars-Henrik Eriksson

Alexander Andersson

• Project: A study of the usability of a customer relationship management system (15 ECTS)
• Supervisor: Sofia Ouhbi
• Reviewer: Davide Vega D’Aurelio

Fredrik Olofsson

• Project: Clustering and Matching Student Solutions in Source Academy (15 ECTS)
• Supervisor: Eva Darulova
• Reviewer: Elias Castegren

Carl Anton Gustavsson, Elis Indebetou, Filip Von Knorring, Erik Larsson, Nils Persson, Ramez Shakarna

• Project: A tailored web-based system for managing and attracting customers (15 ECTS)
• Supervisor: Ellen Arvidsson
• Reviewer: María Andreína Francisco Rodríguez

Sofia Alfsson, Anna Hellman, Klara Hugo, My Lindenius, Natasha Paunovic, Emil Wormbs

• Project: Improving healthcare processes in Sweden and Sub-Saharan Africa via a survey-based system (15 ECTS)
• Supervisor: Ellen Arvidsson
• Reviewer: María Andreína Francisco Rodríguez

David Berqqvist, Johan Hedenström, Joakim Johansson, Henrik Jädersten, Nils Staffsgård

• Project: A Website for Local Validation and Verification of Verifiable Credentials (15 ECTS)
• Supervisor: Ellen Arvidsson
• Reviewer: María Andreína Francisco Rodríguez

Isac Arrhenius, Rozerin Bergman, Daniel Cada, Filip Eriksson, Lawend Mardini, Johan Rydin

• Project: Developing a web-based highlighting system for PDFdocuments (15 ECTS)
• Supervisor: Ellen Arvidsson
• Reviewer: María Andreína Francisco Rodríguez

Felix Agnerdahl, Erdem Garip, Richard Lövgren, Johan Svärd, Lukas Lindén Thöming, Isaac Westerman

• Project: Developing Software for Commercial Battery Analytics (15 ECTS)
• Supervisor: Ellen Arvidsson
• Reviewer: María Andreína Francisco Rodríguez

William Berger, Alex Fooladi, Markus Lindgren, Michel Messo, Jonas Rosengren, Lukas Rådmann

• Project: Exploring Data Extraction and Relation Identification Using Machine Learning: Utilizing Machine-Learning Techniques to Extract Relevant Information from Climate Reports (15 ECTS)
• Supervisor: Ellen Arvidsson
• Reviewer: María Andreína Francisco Rodríguez

Magnus Björck, Oscar Boman, Folke Hilding, Filip Palmqvist, Albin Åberg Dahlberg, Olof Åsenius

• Project: Making information more accessible in healthcare: A web platform to improve document management (15 ECTS)
• Supervisor: Ellen Arvidsson
• Reviewer: María Andreína Francisco Rodríguez

2022

Max Gabrielsson

• Project: How software prefetching affects transactional memory applications with high commit ratio (15 ECTS)
• Supervisor: Marina Shimchenko
• Reviewer: Johannes Borgström

Dennis Örnberg

• Project: Prototyping an mcSAT-based SMTsolver in Rust (30 ECTS)
• Supervisor: Amanda Stjerna
• Reviewer: Philipp Rümmer

2021

Rahbar Ghori

• Project: Protocol-aware fuzzing of DTLS (30 ECTS)
• Supervisor: Paul Fiterau Brostean
• Reviewer: Bengt Jonsson

Kevin Alemi Pedram

• Project: Input Validation and Input Sanitization for Web Applications (30 ECTS)
• Supervisor: Amanda Stjerna
• Reviewer: Philipp Rümmer

Fredrik Wärngård

• Project: Feature Extraction from an SMT Problem (15 ECTS)
• Supervisor: Tjark Weber
• Reviewer: Philipp Rümmer

2020

Mika Skjelnes

• Project: Implementation and Specification of a Simple Polygon Triangulation Algorithm in Isabelle/HOL (15 ECTS)
• Supervisor: Tjark Weber
• Reviewer: Lars-Henrik Eriksson

Pontus Ernstedt

• Project: Avoiding Out-Of-Memory Errors in ThinGC (15 ECTS)
• Supervisor: Tobias Wrigstad
• Reviewer: Johannes Borgström

Alemi Kevin

• Project: Improving on C with Rust An analysis of Rusts preventative abilities (15 ECTS)
• Supervisor: Tobias Wrigstad
• Reviewer: Johannes Borgström

Björn Berggren

• Project: Analysing Aliasing in Java Applications (15 ECTS)
• Supervisor: Stephan Brandauer
• Reviewer: Johannes Borgström

Michael Rehn

• Project: Garbage Collected CRDTs on the Web: Studying the Memory Efficiency of CRDTs in a Web Context (30 ECTS)
• Supervisor: Tobias Wrigstad

2019

Ulf Sigvardsson

• Project: Code Cloning Habits Of The Jupyter Notebook Community: Code Cloning Habits Of The Jupyter Notebook Community (15 ECTS)
• Supervisor: Johannes Borgström
• Reviewer: Tobias Wrigstad

Joy Elizabeth Manning

• Project: For-Comprehension: An Encore Compiler Story (15 ECTS)
• Supervisor: Kiko Fernandez-Reyes
• Reviewer: Johannes Borgström

Alexis Remmers

• Project: Enhancing Functionality with Assistive Error Visualisations in Encore (15 ECTS)
• Supervisor: Kiko Fernandez-Reyes
• Reviewer: Johannes Borgström

Ulf Sigvardsson

• Project: Code Cloning Habits Of The Jupyter Notebook Community (15 ECTS)
• Supervisor: Johannes Borgström
• Reviewer: Justin Pearson

2018

Josef Hansson Karakoca

• Project: Big Data Types: Internally Parallel in an Actor Language (15 ECTS)
• Supervisor: Dave Clarke
• Reviewer: Olle Gällmo

Martin Sellergren

• Project: Local Geography Educator (15 ECTS)
• Supervisor: Dave Clarke
• Reviewer: Olle Gällmo

Oskar Pedersen

• Project: Implementing and Evaluating the Performance of CRDTs in Encore (30 ECTS)
• Supervisor: Dave Clarke
• Reviewer: Lars-Åke Nordén

2017

Joel Wallin

• Project: Implementing Safe Sharing Features for Encore (15 ECTS)
• Supervisor: Elias Castegren
• Reviewer: Tobias Wrigstad

Sahand Shamal Taher

• Project: Exceptional Actors Implementing Exception Handling for Encore (15 ECTS)
• Supervisor: Dave Clarke
• Reviewer: Tobias Wrigstad

Jonas Olander

• Project: Design & Implementation of Separate Compilation for Encore (15 ECTS)
• Supervisor: Elias Castegren
• Reviewer: Tobias Wrigstad

Sebastian Rautila

• Project: Evaluating the 2015 SMT competition (15 ECTS)
• Supervisor: Tjark Weber
• Reviewer: Lars-Henrik Eriksson

Christian Tönqvist

• Project: Finding Patterns in Lock-Free Algorithms (15 ECTS)
• Supervisor: Elias Castegren
• Reviewer: Tobias Wrigstad

Max Reeves

• Project: Implementing GLib CollectionTypes in the Giraffe Library (15 ECTS)
• Supervisor: Tjark Weber
• Reviewer: Olle Gällmo

2016

Henrik Sommerland

• Project: An Implementation of the Vat Programming Abstraction (15 ECTS)
• Supervisor: Dave Clarke
• Reviewer: Olle Gällmo

Mikael Östlund

• Project: Benchmarking Parallelism and Concurrency in the Encore Programming Language (15 ECTS)
• Supervisor: Dave Clarke
• Reviewer: Olle Gällmo

Gustav Lundin

• Project: Pattern Matching in Encore (15 ECTS)
• Supervisor: Elias Castegren
• Reviewer: Olle Gällmo

Daniel Sean McCain

• Project: Parallel Combinators for the Encore Programming Language (30 ECTS)
• Supervisor: Dave Clarke
• Reviewer: Edith Ngai

Kristian Ionescu

• Project: Normalization of SMT-LIB scripts (30 ECTS)
• Supervisor: Tjark Weber
• Reviewer: Edith Ngai

2015

Martin Hagelin

• Project: Optimizing Memory Management with Object-Local Heaps (30 ECTS)
• Supervisor: Tobias Wrigstad
• Reviewer: Roland Bol

2014

Staffan Arvidsson

• Project: Actors and higher order functions: A Comparative Study of Parallel Programming Language Support for Bioinformatics (15 ECTS)
• Supervisor: Dave Clarke
• Reviewer: Olle Gällmo

Teo Asplund

• Project: Formalizing the Kleene Star for Square Matrices (15 ECTS)
• Supervisor: Tjark Weber
• Reviewer: Olle Gällmo

2013

Nosheen Zaza

• Project: Evaluating the Accuracy of Annotations in the Loci 3.0 Pluggable Type Checker (45 ECTS)
• Supervisor: Tobias Wrigstad
• Reviewer: Ivan Christoff

Stephan Brandauer

• Project: Task Scheduling using Effects in Joelle (45 ECTS)
• Supervisor: Tobias Wrigstad
• Reviewer: Ivan Christoff

2012

Amin Khorsandiaghai

• Project: Implementing Typed Psi-calculi (30 ECTS)
• Supervisor: Johannes Borgström
• Reviewer: Lisa Kaati

Elias Castegren

• Project: LAPS: A General Framework for Modeling Alias Management Using Access Permission Sets (30 ECTS)
• Supervisor: Tobias Wrigstad
• Reviewer: Arnold Pears

2011

Amanj Sherwany

• Project: The Design, Implementation and Evaluation of a Pluggable Type Checker for Thread-Locality in Java (30 ECTS)
• Supervisor: Tobias Wrigstad
• Reviewer: Anders Jansson