Publications

Note

This page is sadly quite outdated. For now, see Google Scholar or DBLP. If you want access to a preprint of a paper, presentation slides, code, etc. — email me.

2019

  1. Reference Capabilities for Safe Parallel Array Programming,
    by B Åkerblom, E Castegren, and T Wrigstad. To appear in Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 1, Article 1.
  2. Quantitative Analysis of Curricula Coherence Using Directed Graphs,
    by S Knorn, D Varagnolo, K Staffas, T Wrigstad, and E Fjällström. To appear in IFAC Symposium on Advances in Control Education (ACE 2019).
  3. Godot: All the Benefits of Implicit and Explicit Futures,
    by K Fernandez-Reyes, D Clarke, E Broch Johnson, L Henrio and T Wrigstad. To appear at ECOOP 2019.

2018

  1. Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections,
    S Brandauer, E Castegren, and T Wrigstad In the proceedings of the Onward! conference.
    Resources: [ Preprint | slides forthcoming ]
  2. Attached and Detached Closures in Actors,
    E Castegren, D Clarke, K Fernandez-Reyes, A M Yang, and T Wrigstad In proceedings of the AGERE! workshop, co-located with SPLASH 2018.
  3. Bestow and Atomic: Concurrent Programming using Isolation, Delegation and Grouping,
    E Castegren, J Walling, and T Wrigstad In Journal of Logical and Algebraic Methods in Programming.
    Resources: [ Paper @ Elservier | arXiv version forthcoming ]
  4. Safely Abstracting Memory Layouts,
    J Franco, A Tasos, S Drossopoulou, T Wrigstad, and S Eisenbach Appeared at FTfJP @ ECOOP, 2018.
    Resources: [ Preprint | slides forthcoming ]
  5. SHAPES for SIMD Architectures,
    J Franco, A Tasos, T Wrigstad, S Drossopoulou, and S Eisenbach Appeared at ICOOOLPS @ ECOOP, 2018.
  6. Parallel Programming With Arrays in Kappa,
    B Åkerblom, E Castegren and T Wrigstad Appeared at ARRAY @ PLDI, 2018.
  7. Correctness of a fully concurrent Garbage Collector for Actor Languages,
    J Franco, S Clebsch, S Drossopoulou, T Wrigstad and J Vitek Appeared at ESOP 2018.
  8. OOLONG — An Extensible Concurrent Object Calculus,
    E Castegren and T Wrigstad Appeared at SAC OOPS, 2018.

2017

  1. Reference Capabilities for Concurrency & Scalability: an Experience Report,
    E Castegren and T Wrigstad Appeared at OCAP @ SPLASH, 2017.
  2. Mastery Learning-Like Teaching with Achievements
    T Wrigstad and E Castegren, Appeared at SPLASH-E, 2017.
    Resources: [ Paper ]
  3. Orca: Leveraging Types and Messaging for Fully Concurrent GC
    S Clebsch, J Franco, A Yang, S Drossopoulou, T Wrigstad, J Vitek, Appeared at OOPSLA @ SPLASH, 2017.
  4. You Can Have it All: Abstraction and Good Cache Performance
    J Franco, M Hagelin, T Wrigstad, S Drossopoulou, S Eisenbach, Appeared at Onward!, 2017.
  5. Relaxed Linear References for Lock-free Data Structures
    E Castegren, T Wrigstad.
    Appeared at the European Conference on Object-Oriented Programming, 2017.
  6. Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures
    A Yang, T Wrigstad.
    Appeared in the 2017 ACM SIGPLAN International Symposium on Memory Management (ISMM) in conjunction with PLDI and ECOOP.
  7. Spencer: Interactive Heap Analysis for the Masses
    S Brandauer, T Wrigstad.
    Appeared in 14th International Conference on Mining Software Repositories in conjunction with ICSE.
    Resources: [ Preprint | BibTeX ]
  8. Mining for Safety using Interactive Trace Analysis
    S Brandauer, T Wrigstad.
    Appeared at 15th International Workshop on Quantitative Aspects of Programming Languages and Systems 2017 in conjunction with ETAPS.
    Resources: [ Preprint | BibTeX | Slides ]
  9. Actors without Borders: Amnesty for Imprisoned State
    E Castegren, T Wrigstad.
    Appeared at PLACES 2017 in conjunction with ETAPS.
    Resources: [ Paper & BibTeX ]

2016

  1. Types for CAS: Relaxed Linearity with Ownership Transfer
    E Castegren, T Wrigstad.
    Extended abstract. Appeared in NWPT'16.
  2. Actors and Hot Objects
    T Wrigstad, T Fritzon.
    Presented at NOOL'16.
  3. LOLCAT: Relaxed Linear References for Lock-Free Programming
    E Castegren, T Wrigstad.
    Technical Report. Extended preprint of paper in submission.
    Resources: [ Paper & BibTeX ]
  4. Kappa: Reference Capabilities for Concurrent Programming.
    E Castegren, T Wrigstad.
    Technical Report. Extended version of the ECOOP'16 paper with full proofs and additional code examples.
    Resources: [ Paper & BibTeX ]
  5. Kappa: Insights, Current Status and Future Work.
    E Castegren, T Wrigstad.
    Appeared at IWACO 2016.
    Resources: [ Paper | Talk | BibTeX ]
  6. Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations.
    J Franco, T Wrigstad and S Drossopoulou.
    Appeared at IWACO 2016.
    Resources: [ Paper | Talk | BibTeX ]
  7. Reference Capabilities for Concurrency Control.
    E Castegren, T Wrigstad.
    Appeared at ECOOP 2016.
    Resources: [ Paper | Talk | BibTeX ]
  8. Vats: A Safe, Reactive Storage Abstraction.
    D Clarke, T Wrigstad.
    In LNCS 9660, Theory and Practice of Formal Methods, pp. 140—154.
    Resources: [ Paper | BibTeX ]

2015

  1. Measuring Polymorphism in Python Programs.
    B Åkerblom, T Wrigstad.
    In the 11th Symposium on Dynamic Languages, pp. 114—128.
  2. Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.
    S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, E Broch Johnsen, K I Pun, S L Tapia Tarifa, T Wrigstad, A Yang.
    In Formal Methods for Multicore Programming, pp. 1—56.
  3. Refined Ownership.
    E Castegren, J Östlund, T Wrigstad.
    In Formal Methods for Multicore Programming, pp. 179—210.
    Resources: [ Paper ]
  4. Disjointness Domains for Fine-Grained Aliasing.
    S Brandauer, D Clarke, T Wrigstad.
    Appeared at OOPSLA 2015.

2014

  1. In-Flow Peer Review.
    Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad.
    Proceedings of the Working Group Reports of the 2014 on Innovation & Technology in Computer Science Education Conference.
    Resources: [ Paper & BibTeX ]
  2. Tracing Dynamic Features in Python Programs.
    B Åkerblom, J Stendahl, M Tumlin, T Wrigstad
    Proceedings of the 11th Working Conference on Mining Software Repositories.
    Resources: [ Paper & BibTeX ]
  3. Scaling Future Software: The Manycore Challenge.
    F de Boer, E Broch Johnsen, D Clarke, S Drossopoulou, N Yoshida, T Wrigstad.
    ERCIM News, 96.
    Resources: [ Paper ]
  4. Capabilities for Scalability.
    E Castegren, T Wrigstad.
    Appeared in IWACO'14.
    Resources: [ Paper | Talk ]

2013

  1. Aliasing in Object-oriented Programming: Types, Analysis and Verification.
    Editors: D Clarke, J Noble, T Wrigstad.
    LNCS 7850.
    Resources: [ Entire book ]
  2. Beyond the Geneva Convention on the Treatment of Object Aliasing.
    D Clarke, J Noble, T Wrigstad.
    In LNCS 7850.
    Resources: [ Chapter ]
  3. Ownership Types: A Survey.
    D Clarke, J Östlund, I Sergey, T Wrigstad.
    In LNCS 7850.
    Resources: [ Chapter ]

2012

  1. The Joelle Programming Language.
    J Östlund, S Brandauer, T Wrigstad.
    In LaME'12.
    Resources: [ Paper ]
  2. Structured aliasing. (ECOOP 2012 Keynote)
    T Wrigstad.
    ECOOP 2012.
  3. Multiple Aggregate Entry Points for Ownership Types.
    J Östlund, T Wrigstad.
    ECOOP 2012.
    Resources: [ Paper & BibTeX | Talk ]

2011

  1. Regions as Owners: A Discussion on Ownership-based Effects in Practice.
    J Östlund, T Wrigstad
    IWACO 2011.
    Resources: [ Paper | Talk ]
  2. Owners as Ombudsmen: Multiple Aggregate Entry Points for Ownership Types.
    T Wrigstad, J Östlund.
    IWACO 2011.
    Resources: [ Paper ]
  3. Is the World Ready for Ownership Types? Is Ownership Types Ready for the World?
    T Wrigstad, D Clarke.
    IWACO 2011.
    Resources: [ Paper ]

2010

  1. Tribal Ownership.
    N Cameron, J Noble, T Wrigstad. OOPSLA 2010.
    Resources: [ Paper & BibTeX ]
  2. Integrating Typed and Untyped Code in a Scripting Language.
    T Wrigstad, FZ Nardelli, S Lebresne, J Östlund, J Vitek. Appeared at POPL 2010.
    Resources: [ Paper & BibTeX ]
  3. Welterweight Java.
    J Östlund, T Wrigstad. Objects, Models, Components, Patterns, 97-116.
    Resources: [ Paper & BibTeX ]

2009

  1. Thorn: Robust, Concurrent, Extensible Scripting on the JVM.
    B Bloom, J Field, N Nystrom, J Östlund, G Richards, R Strniša, J Vitek, T Wrigstad. OOPSLA 2009.
    Resources: [ Paper & BibTeX ]
  2. Software Hardening: a Research Agenda.
    T Wrigstad, P Eugster, J Field, N Nystrom, J Vitek Proceedings for the 1st workshop on Script to Program Evolution, 58-70.
    Resources: [ Paper & BibTeX ]
  3. Understanding the Dynamics of JavaScript.
    S Lebresne, G Richards, J Östlund, T Wrigstad, J Vitek. Proceedings for the 1st workshop on Script to Program Evolution, 30-33.
    Resources: [ Paper & BibTeX ]
  4. Loci: Simple thread-locality for Java.
    T Wrigstad, F Pizlo, F Meawad, L Zhao, J Vitek ECOOP 2009.
    Resources: [ Paper & BibTeX ]

2008

  1. Minimal Ownership for Active Objects.
    D Clarke, T Wrigstad, J Östlund, E Johnsen. Programming Languages and Systems, 139-154
    Resources: [ Paper & BibTeX ]
  2. Ownership, Uniqueness, and Immutability.
    J Östlund, T Wrigstad, D Clarke, B Åkerblom. Objects, Components, Models and Patterns, 178-197.
    Resources: [ Paper & BibTeX ]

2007

  1. Tribe: a Simple Virtual Class Calculus. D Clarke, S Drossopoulou, J Noble, T Wrigstad.
    Proceedings of the 6th international conference on Aspect-oriented software development.
    Resources: [ Paper & BibTeX ]
  2. Existential Owners for Ownership Types.
    T Wrigstad, D Clarke. Journal of Object Technology 6 (4), 141-159.
    Resources: [ Paper ]

Before 2007

  1. Ownership-Based Alias Management.
    T Wrigstad. PhD Thesis. KTH, 2006.
  2. External Uniqueness is Unique Enough.
    D Clarke, T Wrigstad. ECOOP 2003.
  3. Alias Control with Read-Only References.
    M Skoglund, T Wrigstad. Sixth Conference on Computer Science and Informatics, 2003.
  4. A Mode System for Read-Only References in Java.
    M Skoglund, T Wrigstad. 3rd Workshop on Formal Techniques for Java Programs, Budapest, Hungary, 2001.

Theses

  1. [PhD Thesis] Ownership-Based Alias Management.
    T Wrigstad. KTH, 2006.
  2. [Ph.Lic. Thesis] External Uniqueness: A Theory of Aggregate Uniqueness for Object-Orientation.
    T Wrigstad. DSV, 2004.