I’m working on two projects:
- In the Structured Aliasing project (my main project), we developed Disjointness Domains (Abstract, Slides, Preprint), a novel type abstraction for alias control.
- Also in the Structured Aliasing project, we are currently working on Spencer, a tool that makes it trivial for a wider audience to get insights about the behaviour of programs running on the JVM.
- In the UPSCALE project, I work on the compiler and the runtime of the parallel OO+functional language called ‘Encore’ (Abstract, Preprint, Paper).
- Spencer: Interactive Heap Analysis for the Masses - Stephan Brandauer, Tobias Wrigstad; International Conference on Mining Software Repositories 2017 (project page with paper, and information)
- Mining for Safety using Interactive Trace Analysis - Stephan Brandauer, Tobias Wrigstad; Workshop on Quantitative Analysis of Programming Languages 2017 (project page with paper, and information)
- Disjointness Domains for Fine-Grained Aliasing - Stephan Brandauer, Dave Clarke, Tobias Wrigstad; OOPSLA’15 (Abstract, Slides, Preprint)
- Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore (Abstract, Preprint, Paper) - Stephan Brandauer, Elias Castegren, Dave Clarke, Francisco Fernández, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa, Tobias Wrigstad, and Albert Mingkun Yang; SFM’15 (15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming)
- Evolving Java Programs Along Two Axes of Parallel Eval (pdf) - Johan Östlund, Stephan Brandauer, Tobias Wrigstad; Languages for the Multi-core Era 2012 (co-located with ECOOP)
- I supervised Erik Fransson’s bachelor thesis project on implementing asynchronous IO in Encore.