Programming Languages
Research on programming languages and programming language technology covers a wide range of principles and technologies. Research activities in programming language at the Computing Science division currently includes program analyses and type systems for catching concurrency errors, compiler and run-time technology, as well as semantics of and inference techniques for probabilistic programming languages. There is currently an active collaboration with Oracle on OpenJDK, in particular various aspects of memory management.
For PL-related work at the Computing Science division in the area of constraint programming, see abstractions for stochastic local search
and constraint-based declarative modelling.
There is also PL-related work in the Computer Systems division in the UUPAAL group and the algorithmic program verification group.
News
- Jan Kudlicka successfully defended his PhD thesis on 2021-03-25.
- Kiko Fernandez successfully defended his PhD thesis on 2021-01-18
- Jonas Norlinder won 3rd place in the PLDI 2020 SRC with his poster based on his master thesis work
- Albert Mingkun Yang's artefact won the distinguished artefact award at PLDI 2020!
- Improving Program Locality in the GC using Hotness by Albert Yang, Erik Österlund and Tobias Wrigstad has been published at PLDI 2020
- ThinGC: Complete Isolation With Marginal Overhead by Albert Yang, Erik Österlund, Jesper Wilhelmsson, Hanna Nyblom, and Tobias Wrigstad has been published ISMM 2020
Senior Members
- Kostis Sagonas (associate professor) (DBLP | Google Scholar)
- Eva Darulova (associate professor) (Google Scholar|DBLP)
- Elias Castegren (assistant professor) (Google Scholar|DBLP)
- Tobias Wrigstad (professor) (DBLP | Google Scholar)
- Johannes Borgström (associate professor) (DBLP | Google Scholar)
- Sofia Ouhbi (associate professor) (DBLP | Google Scholar)
- Sven-Olof Nyström (lecturer) (DBLP)
PhD Students
- Albert Mingkun Yang, (garbage collection, actors)
- Malin Källén, (scientific computing, analysis of programming languages, software engineering)
- Jonas Norlinder, (garbage collection, managed languages)
Graduated PhD/PhLic Students
- Jan Kudlicka, (PhD 2021) - Handelshøyskolen BI
- Kiko Fernandez Reyes (Phd 2021)
- Stefan Brandauer (PhD 2019) – TNG
- Andreas Löscher (PhD 2018) – WhatsApp
- Kjell Winblad (PhD 2018) – Ericsson
- Stavros Aronis (PhD 2018) – Erlang Solutions
- Elias Castegren (PhD 2018) – KTH, then UU
- Johan Östlund (PhD 2016) – Spotify
- Jesper Wilhelmsson (PhLic 2005) – Oracle
- Erik Stenman (PhD 2002) – EPFL
Former Postdocs
- Clement Poncelet (postdoc) (DBLP | Google Scholar)
Current Thesis Students
- Pontus Ernstedt (BSc, reducing out-of-memory errors in ThinGC)
- Kevin Alemi (BSc, evaluating Rust against the CWE)
- Ardalan Samimi (BSc, visualising data structures)
Graduated Thesis Students
- Jonas Norlinder (MSc 2020, compressed forwarding tables in ZGC on OpenJDK)
- Michael Rehn (MSc 2020, repeatability study of GC techniques for CRDTs)
- Joy Manning (BSc 2019)
- Ulf Sigvardsson (BSc 2019)
- Erik Fransson (BSc 2019)
- Josef Hansson Karacoca (MSc 2018)
- Sahand Shamal Taher (BSc 2017)
- Christian Törnqvist (BSc 2017)
- Joel Wallin (BSc 2017)
- Jonas Olander (BSc 2017)
- Gustav Lundin (BSc 2016)
- Martin Hagelin (MSc 2015)
- Niclas Adlertz (MSc 2015)
- Johan Karlsson (MSc 2015)
- Nosheen Zaza (MSc 2013)
- Amanj Sherwany (MSc 2011)