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 is a new PhD student in the group supervised by Tobias Wrigstad
- Jonas Norlinder won 3rd place in the PLDI SRC with his poster based on his master thesis work
- PhD position open in a project on execution environments for high-level programming languages
. Deadline to apply 2020-06-25. Part of this work will be done in collaboration with Oracle
.
- Albert Mingkun Yang
's PLDI artefact
won the distinguished artefact award!
- 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
)
- Sven-Olof Nyström
(lecturer) (DBLP
)
- Clement Poncelet
(postdoc) (DBLP
| Google Scholar
)
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
- Johan Östlund (PhD 2016
) – Spotify
- Jesper Wilhelmsson (PhLic 2005
) – Oracle
- Erik Stenman (PhD 2002
) – EPFL
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
)