Tobias Wrigstad
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
13
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency. | Luke Cheeseman, Elias Castegren, Tobias Wrigstad, Sophia Drossopoulou, Matthew J. Parkinson |
| 2024 | FTfJP | Dafny vs. Dala: Experience with Mechanising Language Design. | James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, Michael Homer |
| 2022 | FTfJP | Rusty Links in Local Chains✱. | James Noble, Julian Mackay, Tobias Wrigstad |
| 2021 | OOPSLA | Dala: a simple capability-based dynamic language design for data race-freedom. | Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad |
| 2020 | ECOOP | Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). | Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach |
| 2020 | ICFP | SICP JS: Ketchup on Caviar? | Martin Henz, Tobias Wrigstad |
| 2020 | PLDI | Improving program locality in the GC using hotness. | Albert Mingkun Yang, Erik sterlund, Tobias Wrigstad |
| 2019 | ECOOP | Progress Report: Exploring API Design for Capabilities for Programming with Arrays. | Beatrice kerblom, Elias Castegren, Tobias Wrigstad |
| 2019 | ECOOP | Godot: All the Benefits of Implicit and Explicit Futures. | Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad |
| 2018 | ECOOP | Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages. | Alexandros Tasos, Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach |
| 2018 | ESOP | Correctness of a Concurrent Object Collector for Actor Languages. | Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad |
| 2018 | OOPSLA | C♭: a new modular approach to implementing efficient and tunable collections. | Stephan Brandauer, Elias Castegren, Tobias Wrigstad |
| 2018 | PLDI | Parallel programming with arrays in Kappa. | Beatrice kerblom, Elias Castegren, Tobias Wrigstad |
| 2018 | SAC | OOlong: an extensible concurrent object calculus. | Elias Castegren, Tobias Wrigstad |
| 2017 | ECOOP | Relaxed Linear References for Lock-free Data Structures. | Elias Castegren, Tobias Wrigstad |
| 2017 | MSR | Spencer: interactive heap analysis for the masses. | Stephan Brandauer, Tobias Wrigstad |
| 2017 | OOPSLA | You can have it all: abstraction and good cache performance. | Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach |
| 2016 | ECOOP | Reference Capabilities for Concurrency Control. | Elias Castegren, Tobias Wrigstad |
| 2015 | DLS | Measuring polymorphism in python programs. | Beatrice kerblom, Tobias Wrigstad |
| 2015 | OOPSLA | Disjointness domains for fine-grained aliasing. | Stephan Brandauer, Dave Clarke, Tobias Wrigstad |
| 2014 | ITiCSE | In-Flow Peer Review. | Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad |
| 2014 | MSR | Tracing dynamic features in python programs. | Beatrice kerblom, Jonathan Stendahl, Mattias Tumlin, Tobias Wrigstad |
| 2012 | ECOOP | Multiple Aggregate Entry Points for Ownership Types. | Johan stlund, Tobias Wrigstad |
| 2012 | ECOOP | Structured Aliasing. | Tobias Wrigstad |
| 2010 | OOPSLA | Tribal ownership. | Nicholas Cameron, James Noble, Tobias Wrigstad |
| 2010 | POPL | Integrating typed and untyped code in a scripting language. | Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan stlund, Jan Vitek |
| 2009 | ECOOP | Understanding the dynamics of JavaScript. | Sylvain Lebresne, Gregor Richards, Johan stlund, Tobias Wrigstad, Jan Vitek |
| 2009 | ECOOP | Software hardening: a research agenda. | Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom, Jan Vitek |
| 2009 | ECOOP | Loci: Simple Thread-Locality for Java. | Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek |
| 2009 | OOPSLA | Thorn: robust, concurrent, extensible scripting on the JVM. | Bard Bloom, John Field, Nathaniel Nystrom, Johan stlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad |
| 2009 | OOPSLA | Thorn: robust concurrent scripting on the JVM. | Bard Bloom, John Field, Nathaniel Nystrom, Johan stlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad |
| 2008 | APLAS | Minimal Ownership for Active Objects. | Dave Clarke, Tobias Wrigstad, Johan stlund, Einar Broch Johnsen |
| 2003 | ECOOP | External Uniqueness Is Unique Enough. | Dave Clarke, Tobias Wrigstad |