Publications

2017

  1. Reference Capabilities for Concurrency & Scalability: an Experience Report,
    E Castegren and T Wrigstad To appear at OCAP @ SPLASH, 2017.
  2. Mastery Learning-Like Teaching with Achievements
    T Wrigstad and E Castegren, To appear at SPLASH-E, 2017.
  3. Orca: Leveraging Types and Messaging for Fully Concurrent GC
    S Clebsch, J Franco, A Yang, S Drossopoulou, T Wrigstad, J Vitek, To appear 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, To appear 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.