Tobias Wrigstad

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages

Gilot, Andrea; Wrigstad, Tobias; Darulova, Eva

Part of Proceedings of the ACM on Programming Languages, 2026

• DOI for Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
• Download full text (pdf) of Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages

Monk: opportunistic scheduling to delay horizontal scaling

Shimchenko, Marina; Österlund, Erik; Wrigstad, Tobias

Part of The Art, Science, and Engineering of Programming, 2025

• DOI for Monk: opportunistic scheduling to delay horizontal scaling
• Download full text (pdf) of Monk: opportunistic scheduling to delay horizontal scaling

Dynamic Region Ownership for Concurrency Safety

Stoldt, Fridtjof Peer; Bucher, Brandt; Clebsch, Sylvan; Johnson, Matthew A. et al.

Part of Proceedings of the ACM on Programming Languages, p. 1565-1590, 2025

• DOI for Dynamic Region Ownership for Concurrency Safety
• Download full text (pdf) of Dynamic Region Ownership for Concurrency Safety

PyErlang: A Stepping Stone towards Behaviour-Oriented Concurrency in Python (Keynote)

Wrigstad, Tobias

Part of Proceedings of the 24th ACM SIGPLAN International Workshop on Erlang, p. 1-1, 2025

• DOI for PyErlang: A Stepping Stone towards Behaviour-Oriented Concurrency in Python (Keynote)

Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency

Cheeseman, Luke; Castegren, Elias; Drossopoulou, Sophia; Wrigstad, Tobias et al.

Part of Concurrent Programming, Open Systems and Formal Methods, Springer, 2025

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages

Gilot, Andrea; Wrigstad, Tobias; Darulova, Eva

Part of Proceedings of the ACM on Programming Languages, 2026

• DOI for Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
• Download full text (pdf) of Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages

Monk: opportunistic scheduling to delay horizontal scaling

Shimchenko, Marina; Österlund, Erik; Wrigstad, Tobias

Part of The Art, Science, and Engineering of Programming, 2025

• DOI for Monk: opportunistic scheduling to delay horizontal scaling
• Download full text (pdf) of Monk: opportunistic scheduling to delay horizontal scaling

Dynamic Region Ownership for Concurrency Safety

Stoldt, Fridtjof Peer; Bucher, Brandt; Clebsch, Sylvan; Johnson, Matthew A. et al.

Part of Proceedings of the ACM on Programming Languages, p. 1565-1590, 2025

• DOI for Dynamic Region Ownership for Concurrency Safety
• Download full text (pdf) of Dynamic Region Ownership for Concurrency Safety

Mark-Scavenge: Waiting for Trash to Take Itself Out

Norlinder, Jonas; Osterlund, Erik; Black-Schaffer, David; Wrigstad, Tobias

Part of Proceedings of the ACM on Programming Languages, 2024

• DOI for Mark-Scavenge: Waiting for Trash to Take Itself Out
• Download full text (pdf) of Mark-Scavenge: Waiting for Trash to Take Itself Out

Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors

Shimchenko, Marina; Österlund, Erik; Wrigstad, Tobias

Part of The Art, Science, and Engineering of Programming, 2024

• DOI for Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors
• Download full text (pdf) of Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors

When Concurrency Matters: Behaviour-Oriented Concurrency

Cheeseman, Luke; Parkinson, Matthew J.; Clebsch, Sylvan; Kogias, Marios et al.

Part of Proceedings of the ACM on Programming Languages, p. 1531-1560, 2023

• DOI for When Concurrency Matters: Behaviour-Oriented Concurrency
• Download full text (pdf) of When Concurrency Matters: Behaviour-Oriented Concurrency

Reference Capabilities for Flexible Memory Management

Arvidsson, Ellen; Castegren, Elias; Clebsch, Sylvan; Drossopoulou, Sophia et al.

Part of Proceedings of the ACM on Programming Languages, p. 1363-1393, 2023

• DOI for Reference Capabilities for Flexible Memory Management
• Download full text (pdf) of Reference Capabilities for Flexible Memory Management

Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK

Yang, Albert Mingkun; Wrigstad, Tobias

Part of ACM Transactions on Programming Languages and Systems, 2022

• DOI for Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK

Jupyter Notebooks on GitHub: Characteristics and Code Clones

Källén, Malin; Wrigstad, Tobias

Part of The Art, Science, and Engineering of Programming, 2021

• DOI for Jupyter Notebooks on GitHub: Characteristics and Code Clones
• Download full text (pdf) of Jupyter Notebooks on GitHub: Characteristics and Code Clones

Graph-theoretic approaches and tools for quantitatively assessing curricula coherence

Varagnolo, Damiano; Knorn, Steffi; Staffas, Kjell; Fjällström, Eva et al.

Part of European Journal of Engineering Education, p. 344-363, 2020

• DOI for Graph-theoretic approaches and tools for quantitatively assessing curricula coherence

Reshape your layouts, not your programs: A safe language extension for better cache locality

Tasos, Alexandros; Franco, Juliana; Drossopoulou, Sophia; Wrigstad, Tobias et al.

Part of Science of Computer Programming, 2020

• DOI for Reshape your layouts, not your programs: A safe language extension for better cache locality

Quantitative analysis of curricula coherence using directed graphs

Knorn, Steffi; Varagnolo, Damiano; Staffas, Kjell; Wrigstad, Tobias et al.

Part of IFAC-PapersOnLine, p. 318-323, 2019

• DOI for Quantitative analysis of curricula coherence using directed graphs

Bestow and Atomic: Concurrent programming using isolation, delegation and grouping

Castegren, Elias; Wallin, Joel; Wrigstad, Tobias

Part of The Journal of logical and algebraic methods in programming, p. 130-151, 2018

• DOI for Bestow and Atomic: Concurrent programming using isolation, delegation and grouping

OOlong: A Concurrent Object Calculus for Extensibility and Reuse

Castegren, Elias; Wrigstad, Tobias

Part of ACM SIGAPP Applied Computing Review, p. 47-60, 2018

• DOI for OOlong: A Concurrent Object Calculus for Extensibility and Reuse

Orca: GC and Type System Co-design for Actor Languages

Clebsch, Sylvan; Franco, Juliana; Drossopoulou, Sophia; Yang, Albert Mingkun et al.

Part of Proceedings of the ACM on Programming Languages, p. 1-28, 2017

• DOI for Orca: GC and Type System Co-design for Actor Languages
• Download full text (pdf) of Orca: GC and Type System Co-design for Actor Languages

Type-assisted automatic garbage collection for lock-free data structures

Yang, Albert Mingkun; Wrigstad, Tobias

Part of SIGPLAN notices, p. 14-24, 2017

• DOI for Type-assisted automatic garbage collection for lock-free data structures

Minimal Ownership for Active Objects

Clarke, Dave; Wrigstad, Tobias; Östlund, Johan; Broch Johnsen, Einar

Part of Lecture Notes in Computer Science, 2008

• DOI for Minimal Ownership for Active Objects

To Err or Not to Err?: Subtle Interactions Between Parameters for Common Python Library Functions

Källén, Malin; Wrigstad, Tobias

Structure and Interpretation of Computer Programs: JavaScript Edition

Abelson, Harold; Sussman, Gerald Jay; Henz, Martin; Wrigstad, Tobias

MIT Press, 2022

Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency

Cheeseman, Luke; Castegren, Elias; Drossopoulou, Sophia; Wrigstad, Tobias et al.

Part of Concurrent Programming, Open Systems and Formal Methods, Springer, 2025

Encore: Coda

Castegren, Elias; Wrigstad, Tobias

Part of Active Object Languages, p. 59-91, Springer Nature, 2024

• DOI for Encore: Coda

Vats: A safe, reactive storage abstraction

Clarke, Dave; Wrigstad, Tobias

Part of Theory and Practice of Formal Methods, p. 140-154, Springer, 2016

• DOI for Vats: A safe, reactive storage abstraction

Structured Aliasing

Wrigstad, Tobias

Part of Aliasing in Object-Oriented Programming, p. 512-513, Springer Berlin/Heidelberg, 2013

• DOI for Structured Aliasing

Beyond the Geneva Convention on the Treatment of Object Aliasing

Clarke, Dave; Noble, James; Wrigstad, Tobias

Part of Aliasing in Object-Oriented Programming, p. 1-6, Springer Berlin/Heidelberg, 2013

• DOI for Beyond the Geneva Convention on the Treatment of Object Aliasing

Ownership Types: A Survey

Clarke, Dave; Östlund, Johan; Sergey, Ilya; Wrigstad, Tobias

Part of Aliasing in Object-Oriented Programming, p. 15-58, Springer Berlin/Heidelberg, 2013

• DOI for Ownership Types: A Survey

PyErlang: A Stepping Stone towards Behaviour-Oriented Concurrency in Python (Keynote)

Wrigstad, Tobias

Part of Proceedings of the 24th ACM SIGPLAN International Workshop on Erlang, p. 1-1, 2025

• DOI for PyErlang: A Stepping Stone towards Behaviour-Oriented Concurrency in Python (Keynote)

Dafny vs. Dala: Experience with Mechanising Language Design

Noble, James; Mackay, Julian; Wrigstad, Tobias; Fawcet, Andrew et al.

Part of FTfJP 2024, p. 37-43, 2024

• DOI for Dafny vs. Dala: Experience with Mechanising Language Design

Nominal Types for Erlang

Huang, Isabell; Högberg, John; Fernandez-Reyes, Kiko; Wrigstad, Tobias

Part of Erlang 2024: Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, p. 24-32, 2024

• DOI for Nominal Types for Erlang
• Download full text (pdf) of Nominal Types for Erlang

Mutator-Driven Object Placement using Load Barriers

Norlinder, Jonas; Yang, Albert Mingkun; Black-Schaffer, David; Wrigstad, Tobias

Part of MPLR 2024: Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2024

• DOI for Mutator-Driven Object Placement using Load Barriers

Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract

Parkinson, Matthew J.; Clebsch, Sylvan; Wrigstad, Tobias

Part of Proceedings of the 2024 ACM Sigplan International Symposium on Memory Management, ISMM 2024, p. 131-141, 2024

• DOI for Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract
• Download full text (pdf) of Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract

Heap Size Adjustment with CPU Control

Tavakolisomeh, Sanaz; Shimchenko, Marina; Osterlund, Erik; Bruno, Rodrigo et al.

Part of PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON MANAGED PROGRAMMING LANGUAGES AND RUNTIMES, MPLR 2023, p. 114-128, 2023

• DOI for Heap Size Adjustment with CPU Control
• Download full text (pdf) of Heap Size Adjustment with CPU Control

Compressed Forwarding Tables Reconsidered

Norlinder, Jonas; Österlund, Erik; Wrigstad, Tobias

Part of MPLR '22, p. 45-63, 2022

• DOI for Compressed Forwarding Tables Reconsidered
• Download full text (pdf) of Compressed Forwarding Tables Reconsidered

Analysing and Predicting Energy Consumption of Garbage Collectors in OpenJDK

Shimchenko, Marina; Popov, Mihail; Wrigstad, Tobias

Part of MPLR '22, p. 3-15, 2022

• DOI for Analysing and Predicting Energy Consumption of Garbage Collectors in OpenJDK
• Download full text (pdf) of Analysing and Predicting Energy Consumption of Garbage Collectors in OpenJDK

Dala: A Simple Capability-Based Dynamic Language Design For Data-Race Freedom

Fernandez-Reyes, Kiko; Noble, James; Gariano, Isaac O.; Greenwood-Thessman, Erin et al.

Part of PROCEEDINGS OF THE 2021 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE, ONWARD! 2021, 2021

• DOI for Dala: A Simple Capability-Based Dynamic Language Design For Data-Race Freedom

ThinGC: complete isolation with marginal overhead

Yang, Albert Mingkun; Österlund, Eric; Wilhelmsson, Jesper; Nyblom, Hanna et al.

Part of ISMM 2020, p. 74-86, 2020

• DOI for ThinGC: complete isolation with marginal overhead

Improving Program Locality in the GC using Hotness

Yang, Albert Mingkun; Österlund, Erik; Wrigstad, Tobias

Part of PLDI 2020, p. 301-313, 2020

• DOI for Improving Program Locality in the GC using Hotness

Performance of an OO compute kernel on the JVM: Revisiting Java as a language for scientific computing applications

Källén, Malin; Wrigstad, Tobias

Part of Proc. 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, p. 144-156, 2019

• DOI for Performance of an OO compute kernel on the JVM: Revisiting Java as a language for scientific computing applications

Run, Actor, Run: Towards Cross-Actor Language Benchmarking

Blessing, Sebastian; Fernandez-Reyes, Kiko; Yang, Albert Mingkun; Drossopoulou, Sophia et al.

Part of AGERE 2019 Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, p. 41-50, 2019

• DOI for Run, Actor, Run: Towards Cross-Actor Language Benchmarking
• Download full text (pdf) of Run, Actor, Run: Towards Cross-Actor Language Benchmarking

Godot: All the Benefits of Implicit and Explicit Futures

Fernandez-Reyes, Kiko; Clarke, Dave; Henrio, Ludovic; Johnsen, Einar Broch et al.

Part of 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019

• DOI for Godot: All the Benefits of Implicit and Explicit Futures
• Download full text (pdf) of Godot: All the Benefits of Implicit and Explicit Futures

Progress Report: Exploring API Design for Capabilities for Programming with Arrays

Åkerblom, Beatrice; Castegren, Elias; Wrigstad, Tobias

Part of Proceedings Of The 12Th Workshop On Implementation, Compilation And Optimization Of Object-Oriented Languages, Programs And Systems (ICOOOLPS' 19), 2019

• DOI for Progress Report: Exploring API Design for Capabilities for Programming with Arrays

Courses-Concepts-Graphs as a Tool to Measure the Importance of Concepts in University Programmes

Fjällstrom, Eva; Forsberg, Christoffer; Trulsson, Felix; Knorn, Steffi et al.

Part of 2019 18th European Control Conference (ECC), p. 3076-3083, 2019

• DOI for Courses-Concepts-Graphs as a Tool to Measure the Importance of Concepts in University Programmes

Parallel Programming With Arrays in Kappa

Åkerblom, Beatrice; Castegren, Elias; Wrigstad, Tobias

Part of 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018

• DOI for Parallel Programming With Arrays in Kappa

OOlong: An Extensible Concurrent Object Calculus

Castegren, Elias; Wrigstad, Tobias

Part of SAC '18, p. 1022-1029, 2018

• DOI for OOlong: An Extensible Concurrent Object Calculus
• Download full text (pdf) of OOlong: An Extensible Concurrent Object Calculus

Attached and Detached Closures in Actors

Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Wrigstad, Tobias et al.

Part of Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, p. 54-61, 2018

• DOI for Attached and Detached Closures in Actors

C♭: A New Modular Approach to Implementing Efficient and Tunable Collections

Brandauer, Stephan; Castegren, Elias; Wrigstad, Tobias

Part of Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2018), p. 57-71, 2018

• DOI for C♭: A New Modular Approach to Implementing Efficient and Tunable Collections

Safely Abstracting Memory Layouts

Franco, Juliana; Tasos, Alexandros; Drossopoulou, Sophia; Wrigstad, Tobias et al.

Part of 20th Workshop on Formal Techniques for Java-like Programs, 2018

Extending SHAPES for SIMD Architectures –: An approach to native support for Struct of Arrays in languages

Tasos, Alexandros; Franco, Juliana; Wrigstad, Tobias; Drossopoulou, Sophia et al.

Part of 13th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop, 2018

Correctness of a concurrent object collector for actor languages

Franco, Juliana; Clebsch, Sylvan; Drossopoulou, Sophia; Vitek, Jan et al.

Part of Programming Languages and Systems, p. 885-911, 2018

• DOI for Correctness of a concurrent object collector for actor languages

Relaxed Linear References for Lock-free Data Structures

Castegren, Elias; Wrigstad, Tobias

Part of 31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017

• DOI for Relaxed Linear References for Lock-free Data Structures
• Download full text (pdf) of Relaxed Linear References for Lock-free Data Structures

You can have it all: abstraction and good cache performance

Franco, Juliana; Hagelin, Martin; Wrigstad, Tobias; Drossopoulou, Sophia et al.

Part of Onward! 2017, p. 148-167, 2017

• DOI for You can have it all: abstraction and good cache performance
• Download full text (pdf) of You can have it all: abstraction and good cache performance

Actors without Borders: Amnesty for Imprisoned State

Castegren, Elias; Wrigstad, Tobias

p. 10-20, 2017

• DOI for Actors without Borders: Amnesty for Imprisoned State
• Download full text (pdf) of Actors without Borders: Amnesty for Imprisoned State

Mastery Learning-Like Teaching with Achievements

Wrigstad, Tobias; Castegren, Elias

2017

• Download full text (pdf) of Mastery Learning-Like Teaching with Achievements

Reference Capabilities for Concurrency & Scalability: an Experience Report

Castegren, Elias; Wrigstad, Tobias

2017

• Download full text (pdf) of Reference Capabilities for Concurrency & Scalability: an Experience Report

Spencer: Interactive Heap Analysis for the Masses

Brandauer, Stephan; Wrigstad, Tobias

Part of 2017 IEEE/ACM 14th International Conference on Mining Software Repositories (MSR 2017), p. 113-123, 2017

• DOI for Spencer: Interactive Heap Analysis for the Masses
• Download full text (pdf) of Spencer: Interactive Heap Analysis for the Masses

Mining for Safety using Interactive Trace Analysis

Brandauer, Stephan; Wrigstad, Tobias

Part of Pre-Proceedings - Fifteenth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

• Download full text (pdf) of Mining for Safety using Interactive Trace Analysis

Kappa: Insights, Current Status and Future Work

Castegren, Elias; Wrigstad, Tobias

2016

• Download full text (pdf) of Kappa: Insights, Current Status and Future Work

Reference Capabilities for Concurrency Control

Castegren, Elias; Wrigstad, Tobias

Part of ECOOP 2016 — Object-Oriented Programming, 2016

• Download full text (pdf) of Reference Capabilities for Concurrency Control

Types for CAS: Relaxed Linearity with Ownership Transfer

Castegren, Elias; Wrigstad, Tobias

2016

• Download full text (pdf) of Types for CAS: Relaxed Linearity with Ownership Transfer

Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations

Franco, Juliana; Wrigstad, Tobias; Drossopoulou, Sophia

2016

• Download full text (pdf) of Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations

Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE

Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko et al.

Part of Formal Methods for Multicore Programming, p. 1-56, 2015

• DOI for Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE

Measuring Polymorphism in Python Programs

Åkerblom, Beatrice; Wrigstad, Tobias

Part of DLS 2015, p. 114-128, 2015

• DOI for Measuring Polymorphism in Python Programs

Refined Ownership: Fine-grained controlled internal sharing

Castegren, Elias; Östlund, Johan; Wrigstad, Tobias

Part of Formal Methods for Multicore Programming, p. 179-210, 2015

• DOI for Refined Ownership: Fine-grained controlled internal sharing

Disjointness Domains for Fine-Grained Aliasing

Brandauer, Stephan; Clarke, Dave; Wrigstad, Tobias

p. 989-916, 2015

• DOI for Disjointness Domains for Fine-Grained Aliasing

The Joelle Programming Language: Evolving Java Programs Along Two Axes of Parallel Eval

Östlund, Johan; Brandauer, Stephan; Wrigstad, Tobias

2012

Multiple Aggregate Entry Points for Ownership Types

Östlund, Johan; Wrigstad, Tobias

Part of ECOOP 2012 – Object-Oriented Programming, p. 156-180, 2012

• DOI for Multiple Aggregate Entry Points for Ownership Types

Structured Aliasing

Wrigstad, Tobias

Part of ECOOP 2012 – Object-Oriented Programming, p. 232-232, 2012

• DOI for Structured Aliasing

Is the World Ready for Ownership Types? Is Ownership Types Ready for the World?

Wrigstad, Tobias; Clarke, Dave

2011

Regions as Owners: A Discussion on Ownership-based Effects in Practice

Östlund, Johan; Wrigstad, Tobias

2011

Owners as Ombudsmen: Multiple Aggregate Entry Points for Ownership Types

Wrigstad, Tobias; Östlund, Johan

2011

Welterweight Java

Östlund, Johan; Wrigstad, Tobias

Part of Objects, Models, Components, Patterns, p. 97-116, 2010

• DOI for Welterweight Java

Tribal ownership

Cameron, Nicholas; Noble, James; Wrigstad, Tobias

Part of Proc. 1st International Conference on Systems, Programming, Languages, and Applications, p. 618-633, 2010

• DOI for Tribal ownership

Types for CAS: Relaxed Linearity with Ownership Transfer

Castegren, Elias; Wrigstad, Tobias

2017

Monk: ZGC opportunistic scheduling to delay horizontal scaling

Shimchenko, Marina; Österlund, Erik; Wrigstad, Tobias

Performance of an OO compute kernel on the JVM: Revisiting Java as a language for scientific computing applications (extended version)

Källén, Malin; Wrigstad, Tobias

2019

• Download full text (pdf) of Performance of an OO compute kernel on the JVM: Revisiting Java as a language for scientific computing applications (extended version)

LOLCAT: Relaxed Linear References for Lock-free Programming

Castegren, Elias; Wrigstad, Tobias

2016

• Download full text (pdf) of LOLCAT: Relaxed Linear References for Lock-free Programming

Reference Capabilities for Trait Based Reuse and Concurrency Control

Castegren, Elias; Wrigstad, Tobias

2016

• Download full text (pdf) of Reference Capabilities for Trait Based Reuse and Concurrency Control

Scaling Future Software: The Manycore Challenge

de Boer, Frank; Broch Johnsen, Einar; Clarke, Dave; Drossopoulou, Sophia et al.

2014