Publications

These are fetched occasionally from DBLP. Also see my Google Scholar page.

2024

Mark-Scavenge: Waiting for Trash to Take Itself Out

Jonas Norlinder, Erik Österlund, David Black-Schaffer, and Tobias Wrigstad

Proc. ACM Program. Lang., 2024

Keywords: memory management zgc

DOI:10.1145/3689791 Show BibTeX

@article{DBLP:journals/pacmpl/NorlinderOBW24,
  author = {Norlinder, Jonas and {\"{O}}sterlund, Erik and Black{-}Schaffer, David and Wrigstad, Tobias},
  title = {Mark-Scavenge: Waiting for Trash to Take Itself Out},
  journal = {Proc. {ACM} Program. Lang.},
  volume = {8},
  number = {{OOPSLA2}},
  pages = {2268--2295},
  year = {2024},
  url = {https://doi.org/10.1145/3689791},
  doi = {10.1145/3689791},
  timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/pacmpl/NorlinderOBW24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, zgc}
}

Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors

Marina Shimchenko, Erik Österlund, and Tobias Wrigstad

Art Sci. Eng. Program., 2024

Keywords: memory management zgc

DOI:10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/10 Show BibTeX

@article{DBLP:journals/programming/ShimchenkoOW24,
  author = {Shimchenko, Marina and {\"{O}}sterlund, Erik and Wrigstad, Tobias},
  title = {Scheduling Garbage Collection for Energy Efficiency on Asymmetric
                    Multicore Processors},
  journal = {Art Sci. Eng. Program.},
  volume = {8},
  number = {3},
  year = {2024},
  url = {https://doi.org/10.22152/programming-journal.org/2024/8/10},
  doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/10},
  timestamp = {Wed, 08 May 2024 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/programming/ShimchenkoOW24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, zgc}
}

Nominal Types for Erlang

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

In Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024, 2024

Keywords: dynamic languages type systems erlang

DOI:10.1145/3677995.3678191 Show BibTeX

@inproceedings{DBLP:conf/erlang/HuangHFW24,
  author = {Huang, Isabell and H{\"{o}}gberg, John and Fernandez{-}Reyes, Kiko and Wrigstad, Tobias},
  editor = {Fernandez{-}Reyes, Kiko and Voinea, Adriana Laura},
  title = {Nominal Types for Erlang},
  booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN} International Workshop on
                    Erlang, Erlang 2024, Milan, Italy, 2 September 2024},
  pages = {24--32},
  publisher = {{ACM}},
  year = {2024},
  url = {https://doi.org/10.1145/3677995.3678191},
  doi = {10.1145/3677995.3678191},
  timestamp = {Sun, 08 Sep 2024 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/erlang/HuangHFW24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {dynamic languages, type systems, erlang}
}

Dafny vs. Dala: Experience with Mechanising Language Design

James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, and Michael Homer

In Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024, 2024

Keywords: formal semantics dynamic languages

DOI:10.1145/3678721.3686228 Show BibTeX

@inproceedings{DBLP:conf/ftfjp/0001MWFH24,
  author = {Noble, James and Mackay, Julian and Wrigstad, Tobias and Fawcet, Andrew and Homer, Michael},
  editor = {Stefano, Luca Di},
  title = {Dafny vs. Dala: Experience with Mechanising Language Design},
  booktitle = {Proceedings of the 26th {ACM} International Workshop on Formal Techniques
                    for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September
                    2024},
  pages = {37--43},
  publisher = {{ACM}},
  year = {2024},
  url = {https://doi.org/10.1145/3678721.3686228},
  doi = {10.1145/3678721.3686228},
  timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/ftfjp/0001MWFH24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {formal semantics, dynamic languages}
}

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

Matthew J. Parkinson, Sylvan Clebsch, and Tobias Wrigstad

In Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management, ISMM 2024, Copenhagen, Denmark, 25 June 2024, 2024

Keywords: ownership memory management

DOI:10.1145/3652024.3665507 Show BibTeX

@inproceedings{DBLP:conf/iwmm/ParkinsonCW24,
  author = {Parkinson, Matthew J. and Clebsch, Sylvan and Wrigstad, Tobias},
  editor = {Bond, Michael D. and Lee, Jae W. and Payer, Hannes},
  title = {Reference Counting Deeply Immutable Data Structures with Cycles: An
                    Intellectual Abstract},
  booktitle = {Proceedings of the 2024 {ACM} {SIGPLAN} International Symposium on
                    Memory Management, {ISMM} 2024, Copenhagen, Denmark, 25 June 2024},
  pages = {131--141},
  publisher = {{ACM}},
  year = {2024},
  url = {https://doi.org/10.1145/3652024.3665507},
  doi = {10.1145/3652024.3665507},
  timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/iwmm/ParkinsonCW24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, memory management}
}

Mutator-Driven Object Placement using Load Barriers

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

In Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2024, Vienna, Austria, 19 September 2024, 2024

Keywords: memory management zgc

DOI:10.1145/3679007.3685060 Show BibTeX

@inproceedings{DBLP:conf/pppj/NorlinderYBW24,
  author = {Norlinder, Jonas and Yang, Albert Mingkun and Black{-}Schaffer, David and Wrigstad, Tobias},
  editor = {Ertl, M. Anton and Kirsch, Christoph M.},
  title = {Mutator-Driven Object Placement using Load Barriers},
  booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
                    Managed Programming Languages and Runtimes, {MPLR} 2024, Vienna, Austria,
                    19 September 2024},
  pages = {14--27},
  publisher = {{ACM}},
  year = {2024},
  url = {https://doi.org/10.1145/3679007.3685060},
  doi = {10.1145/3679007.3685060},
  timestamp = {Tue, 22 Oct 2024 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/pppj/NorlinderYBW24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, zgc}
}

Encore: Coda

Elias Castegren, and Tobias Wrigstad

In Active Object Languages: Current Research Trends, 2024

Keywords: actors type systems ownership

DOI:10.1007/978-3-031-51060-1_3 Show BibTeX

@incollection{DBLP:books/sp/24/CastegrenW24,
  author = {Castegren, Elias and Wrigstad, Tobias},
  editor = {de Boer, Frank S. and Damiani, Ferruccio and H{\"{a}}hnle, Reiner and Johnsen, Einar Broch and Kamburjan, Eduard},
  title = {Encore: Coda},
  booktitle = {Active Object Languages: Current Research Trends},
  series = {Lecture Notes in Computer Science},
  volume = {14360},
  pages = {59--91},
  publisher = {Springer},
  year = {2024},
  url = {https://doi.org/10.1007/978-3-031-51060-1\_3},
  doi = {10.1007/978-3-031-51060-1\_3},
  timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl = {https://dblp.org/rec/books/sp/24/CastegrenW24.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {actors, type systems, ownership}
}

Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors

Marina Shimchenko, Erik Österlund, and Tobias Wrigstad

CoRR, 2024

Keywords: memory management zgc

DOI:10.48550/ARXIV.2403.02200 Show BibTeX

@article{DBLP:journals/corr/abs-2403-02200,
  author = {Shimchenko, Marina and {\"{O}}sterlund, Erik and Wrigstad, Tobias},
  title = {Scheduling Garbage Collection for Energy Efficiency on Asymmetric
                    Multicore Processors},
  journal = {CoRR},
  volume = {abs/2403.02200},
  year = {2024},
  url = {https://doi.org/10.48550/arXiv.2403.02200},
  doi = {10.48550/ARXIV.2403.02200},
  eprinttype = {arXiv},
  eprint = {2403.02200},
  timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2403-02200.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, zgc}
}

2023

Reference Capabilities for Flexible Memory Management

Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, and Tobias Wrigstad

Proc. ACM Program. Lang., 2023

Keywords: ownership isolation memory management memory safety

DOI:10.1145/3622846 Show BibTeX

@article{DBLP:journals/pacmpl/ArvidssonCCDNPW23,
  author = {Arvidsson, Ellen and Castegren, Elias and Clebsch, Sylvan and Drossopoulou, Sophia and Noble, James and Parkinson, Matthew J. and Wrigstad, Tobias},
  title = {Reference Capabilities for Flexible Memory Management},
  journal = {Proc. {ACM} Program. Lang.},
  volume = {7},
  number = {{OOPSLA2}},
  pages = {1363--1393},
  year = {2023},
  url = {https://doi.org/10.1145/3622846},
  doi = {10.1145/3622846},
  timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/pacmpl/ArvidssonCCDNPW23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, isolation, memory management, memory safety}
}

When Concurrency Matters: Behaviour-Oriented Concurrency

Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, and Paul Liétar

Proc. ACM Program. Lang., 2023

Keywords: concurrency data-race freedom

DOI:10.1145/3622852 Show BibTeX

@article{DBLP:journals/pacmpl/CheesemanPCKDCWL23,
  author = {Cheeseman, Luke and Parkinson, Matthew J. and Clebsch, Sylvan and Kogias, Marios and Drossopoulou, Sophia and Chisnall, David and Wrigstad, Tobias and Li{\'{e}}tar, Paul},
  title = {When Concurrency Matters: Behaviour-Oriented Concurrency},
  journal = {Proc. {ACM} Program. Lang.},
  volume = {7},
  number = {{OOPSLA2}},
  pages = {1531--1560},
  year = {2023},
  url = {https://doi.org/10.1145/3622852},
  doi = {10.1145/3622852},
  timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/pacmpl/CheesemanPCKDCWL23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {concurrency, data-race freedom}
}

Heap Size Adjustment with CPU Control

Sanaz Tavakoli-Someh, Marina Shimchenko, Erik Österlund, Rodrigo Bruno, Paulo Ferreira, and Tobias Wrigstad

In Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2023, Cascais, Portugal, 22 October 2023, 2023

Keywords: memory management

DOI:10.1145/3617651.3622988 Show BibTeX

@inproceedings{DBLP:conf/pppj/Tavakoli-SomehS23,
  author = {Tavakoli{-}Someh, Sanaz and Shimchenko, Marina and {\"{O}}sterlund, Erik and Bruno, Rodrigo and Ferreira, Paulo and Wrigstad, Tobias},
  editor = {Bruno, Rodrigo and Moss, Eliot},
  title = {Heap Size Adjustment with {CPU} Control},
  booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
                    Managed Programming Languages and Runtimes, {MPLR} 2023, Cascais,
                    Portugal, 22 October 2023},
  pages = {114--128},
  publisher = {{ACM}},
  year = {2023},
  url = {https://doi.org/10.1145/3617651.3622988},
  doi = {10.1145/3617651.3622988},
  timestamp = {Mon, 23 Oct 2023 17:54:48 +0200},
  biburl = {https://dblp.org/rec/conf/pppj/Tavakoli-SomehS23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management}
}

Reference Capabilities for Flexible Memory Management: Extended Version

Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, and Tobias Wrigstad

CoRR, 2023

Keywords: ownership isolation memory management memory safety

DOI:10.48550/ARXIV.2309.02983 Show BibTeX

@article{DBLP:journals/corr/abs-2309-02983,
  author = {Arvidsson, Ellen and Castegren, Elias and Clebsch, Sylvan and Drossopoulou, Sophia and Noble, James and Parkinson, Matthew J. and Wrigstad, Tobias},
  title = {Reference Capabilities for Flexible Memory Management: Extended Version},
  journal = {CoRR},
  volume = {abs/2309.02983},
  year = {2023},
  url = {https://doi.org/10.48550/arXiv.2309.02983},
  doi = {10.48550/ARXIV.2309.02983},
  eprinttype = {arXiv},
  eprint = {2309.02983},
  timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2309-02983.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, isolation, memory management, memory safety}
}

2022

Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK

Albert Mingkun Yang, and Tobias Wrigstad

ACM Trans. Program. Lang. Syst., 2022

Keywords: memory management zgc

DOI:10.1145/3538532 Show BibTeX

@article{DBLP:journals/toplas/YangW22,
  author = {Yang, Albert Mingkun and Wrigstad, Tobias},
  title = {Deep Dive into {ZGC:} {A} Modern Garbage Collector in OpenJDK},
  journal = {{ACM} Trans. Program. Lang. Syst.},
  volume = {44},
  number = {4},
  pages = {22:1--22:34},
  year = {2022},
  url = {https://doi.org/10.1145/3538532},
  doi = {10.1145/3538532},
  timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/toplas/YangW22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, zgc}
}

Rusty Links in Local Chains\unicode10033

James Noble, Julian Mackay, and Tobias Wrigstad

In Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022, 2022

Keywords: ownership rust

DOI:10.1145/3611096.3611097 Show BibTeX

@inproceedings{DBLP:conf/ftfjp/0001MW22,
  author = {Noble, James and Mackay, Julian and Wrigstad, Tobias},
  editor = {Reb{\^{e}}lo, Henrique},
  title = {Rusty Links in Local Chains{\unicode{10033}}},
  booktitle = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
                    for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
  pages = {1--3},
  publisher = {{ACM}},
  year = {2022},
  url = {https://doi.org/10.1145/3611096.3611097},
  doi = {10.1145/3611096.3611097},
  timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/ftfjp/0001MW22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, rust}
}

Analysing and Predicting Energy Consumption of Garbage Collectors in OpenJDK

Marina Shimchenko, Mihail Popov, and Tobias Wrigstad

In Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, MPLR 2022, Brussels, Belgium, September 14-15, 2022, 2022

Keywords: memory management energy

DOI:10.1145/3546918.3546925 Show BibTeX

@inproceedings{DBLP:conf/pppj/ShimchenkoPW22,
  author = {Shimchenko, Marina and Popov, Mihail and Wrigstad, Tobias},
  editor = {Boix, Elisa Gonzalez and Wrigstad, Tobias},
  title = {Analysing and Predicting Energy Consumption of Garbage Collectors
                    in OpenJDK},
  booktitle = {Proceedings of the 19th International Conference on Managed Programming
                    Languages and Runtimes, {MPLR} 2022, Brussels, Belgium, September
                    14-15, 2022},
  pages = {3--15},
  publisher = {{ACM}},
  year = {2022},
  url = {https://doi.org/10.1145/3546918.3546925},
  doi = {10.1145/3546918.3546925},
  timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/pppj/ShimchenkoPW22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, energy}
}

Compressed Forwarding Tables Reconsidered

Jonas Norlinder, Erik Österlund, and Tobias Wrigstad

In Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, MPLR 2022, Brussels, Belgium, September 14-15, 2022, 2022

Keywords: memory management zgc

DOI:10.1145/3546918.3546928 Show BibTeX

@inproceedings{DBLP:conf/pppj/NorlinderOW22,
  author = {Norlinder, Jonas and {\"{O}}sterlund, Erik and Wrigstad, Tobias},
  editor = {Boix, Elisa Gonzalez and Wrigstad, Tobias},
  title = {Compressed Forwarding Tables Reconsidered},
  booktitle = {Proceedings of the 19th International Conference on Managed Programming
                    Languages and Runtimes, {MPLR} 2022, Brussels, Belgium, September
                    14-15, 2022},
  pages = {45--63},
  publisher = {{ACM}},
  year = {2022},
  url = {https://doi.org/10.1145/3546918.3546928},
  doi = {10.1145/3546918.3546928},
  timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/pppj/NorlinderOW22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, zgc}
}

Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, MPLR 2022, Brussels, Belgium, September 14-15, 2022

2022

Keywords: managed languages

DOI:10.1145/3546918 Show BibTeX

@proceedings{DBLP:conf/pppj/2022,
  editor = {Boix, Elisa Gonzalez and Wrigstad, Tobias},
  title = {Proceedings of the 19th International Conference on Managed Programming
                    Languages and Runtimes, {MPLR} 2022, Brussels, Belgium, September
                    14-15, 2022},
  publisher = {{ACM}},
  year = {2022},
  url = {https://doi.org/10.1145/3546918},
  doi = {10.1145/3546918},
  isbn = {978-1-4503-9696-7},
  timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/pppj/2022.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {managed languages}
}

Rusty Links in Local Chains

James Noble, Julian Mackay, and Tobias Wrigstad

CoRR, 2022

Keywords: rust ownership

DOI:10.48550/ARXIV.2205.00795 Show BibTeX

@article{DBLP:journals/corr/abs-2205-00795,
  author = {Noble, James and Mackay, Julian and Wrigstad, Tobias},
  title = {Rusty Links in Local Chains},
  journal = {CoRR},
  volume = {abs/2205.00795},
  year = {2022},
  url = {https://doi.org/10.48550/arXiv.2205.00795},
  doi = {10.48550/ARXIV.2205.00795},
  eprinttype = {arXiv},
  eprint = {2205.00795},
  timestamp = {Tue, 03 May 2022 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2205-00795.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {rust, ownership}
}

2021

Jupyter Notebooks on GitHub: Characteristics and Code Clones

Malin Källén, and Tobias Wrigstad

Art Sci. Eng. Program., 2021

Keywords: software mining python

DOI:10.22152/PROGRAMMING-JOURNAL.ORG/2021/5/15 Show BibTeX

@article{DBLP:journals/programming/KallenW21,
  author = {K{\"{a}}ll{\'{e}}n, Malin and Wrigstad, Tobias},
  title = {Jupyter Notebooks on GitHub: Characteristics and Code Clones},
  journal = {Art Sci. Eng. Program.},
  volume = {5},
  number = {3},
  pages = {15},
  year = {2021},
  url = {https://doi.org/10.22152/programming-journal.org/2021/5/15},
  doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2021/5/15},
  timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/programming/KallenW21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {software mining, python}
}

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, and Tobias Wrigstad

In Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Virtual Event / Chicago, IL, USA, October 20-22, 2021, 2021

Keywords: dynamic languages concurrency data-race freedom

DOI:10.1145/3486607.3486747 Show BibTeX

@inproceedings{DBLP:conf/oopsla/Fernandez-Reyes21,
  author = {Fernandez{-}Reyes, Kiko and Gariano, Isaac Oscar and Noble, James and Greenwood{-}Thessman, Erin and Homer, Michael and Wrigstad, Tobias},
  editor = {Meuter, Wolfgang De and Baniassad, Elisa L. A.},
  title = {Dala: a simple capability-based dynamic language design for data race-freedom},
  booktitle = {Onward! 2021: Proceedings of the 2021 {ACM} {SIGPLAN} International
                    Symposium on New Ideas, New Paradigms, and Reflections on Programming
                    and Software, Virtual Event / Chicago, IL, USA, October 20-22, 2021},
  pages = {1--17},
  publisher = {{ACM}},
  year = {2021},
  url = {https://doi.org/10.1145/3486607.3486747},
  doi = {10.1145/3486607.3486747},
  timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/oopsla/Fernandez-Reyes21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {dynamic languages, concurrency, data-race freedom}
}

ISMM ’21: 2021 ACM SIGPLAN International Symposium on Memory Management, Virtual Event, Canada, 22 June 2021

2021

Keywords: memory management

DOI:10.1145/3459898 Show BibTeX

@proceedings{DBLP:conf/iwmm/2021,
  editor = {Wang, Zhenlin and Wrigstad, Tobias},
  title = {{ISMM} '21: 2021 {ACM} {SIGPLAN} International Symposium on Memory
                    Management, Virtual Event, Canada, 22 June 2021},
  publisher = {{ACM}},
  year = {2021},
  url = {https://doi.org/10.1145/3459898},
  doi = {10.1145/3459898},
  isbn = {978-1-4503-8448-3},
  timestamp = {Thu, 06 Jan 2022 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/iwmm/2021.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management}
}

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, and Tobias Wrigstad

CoRR, 2021

Keywords: dynamic languages gradual typing concurrency

Show BibTeX

@article{DBLP:journals/corr/abs-2109-07541,
  author = {Fernandez{-}Reyes, Kiko and Gariano, Isaac Oscar and Noble, James and Greenwood{-}Thessman, Erin and Homer, Michael and Wrigstad, Tobias},
  title = {Dala: {A} Simple Capability-Based Dynamic Language Design For Data
                    Race-Freedom},
  journal = {CoRR},
  volume = {abs/2109.07541},
  year = {2021},
  url = {https://arxiv.org/abs/2109.07541},
  eprinttype = {arXiv},
  eprint = {2109.07541},
  timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2109-07541.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {dynamic languages, gradual typing, concurrency}
}

2020

Implementation of SHAPES Case Studies (Artifact)

Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach

Dagstuhl Artifacts Ser., 2020

Keywords: cache performance managed languages

DOI:10.4230/DARTS.6.2.19 Show BibTeX

@article{DBLP:journals/darts/TasosFDWE20,
  author = {Tasos, Alexandros and Franco, Juliana and Drossopoulou, Sophia and Wrigstad, Tobias and Eisenbach, Susan},
  title = {Implementation of {SHAPES} Case Studies (Artifact)},
  journal = {Dagstuhl Artifacts Ser.},
  volume = {6},
  number = {2},
  pages = {19:1--19:3},
  year = {2020},
  url = {https://doi.org/10.4230/DARTS.6.2.19},
  doi = {10.4230/DARTS.6.2.19},
  timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/darts/TasosFDWE20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {cache performance, managed languages}
}

Reference Capabilities for Safe Parallel Array Programming

Beatrice Åkerblom, Elias Castegren, and Tobias Wrigstad

Art Sci. Eng. Program., 2020

Keywords: ownership type systems concurrency

DOI:10.22152/PROGRAMMING-JOURNAL.ORG/2020/4/1 Show BibTeX

@article{DBLP:journals/programming/AkerblomCW20,
  author = {{\AA}kerblom, Beatrice and Castegren, Elias and Wrigstad, Tobias},
  title = {Reference Capabilities for Safe Parallel Array Programming},
  journal = {Art Sci. Eng. Program.},
  volume = {4},
  number = {1},
  pages = {1},
  year = {2020},
  url = {https://doi.org/10.22152/programming-journal.org/2020/4/1},
  doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2020/4/1},
  timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/programming/AkerblomCW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, type systems, concurrency}
}

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

Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach

Sci. Comput. Program., 2020

Keywords: cache performance type systems

DOI:10.1016/J.SCICO.2020.102481 Show BibTeX

@article{DBLP:journals/scp/TasosFDWE20,
  author = {Tasos, Alexandros and Franco, Juliana and Drossopoulou, Sophia and Wrigstad, Tobias and Eisenbach, Susan},
  title = {Reshape your layouts, not your programs: {A} safe language extension
                    for better cache locality},
  journal = {Sci. Comput. Program.},
  volume = {197},
  pages = {102481},
  year = {2020},
  url = {https://doi.org/10.1016/j.scico.2020.102481},
  doi = {10.1016/J.SCICO.2020.102481},
  timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/scp/TasosFDWE20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {cache performance, type systems}
}

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, and Susan Eisenbach

In 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), 2020

Keywords: cache performance type systems

DOI:10.4230/LIPICS.ECOOP.2020.31 Show BibTeX

@inproceedings{DBLP:conf/ecoop/TasosFDWE19,
  author = {Tasos, Alexandros and Franco, Juliana and Drossopoulou, Sophia and Wrigstad, Tobias and Eisenbach, Susan},
  editor = {Hirschfeld, Robert and Pape, Tobias},
  title = {Reshape Your Layouts, Not Your Programs: {A} Safe Language Extension
                    for Better Cache Locality {(SCICO} Journal-first)},
  booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
                    November 15-17, 2020, Berlin, Germany (Virtual Conference)},
  series = {LIPIcs},
  volume = {166},
  pages = {31:1--31:3},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year = {2020},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.31},
  doi = {10.4230/LIPICS.ECOOP.2020.31},
  timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl = {https://dblp.org/rec/conf/ecoop/TasosFDWE19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {cache performance, type systems}
}

SICP JS: Ketchup on Caviar?

Martin Henz, and Tobias Wrigstad

In Proceedings of the 2020 Scheme and Functional Programming Workshop, Online, Virtual Event, August 20-28, 2020, 2020

Keywords: javascript didactics scheme lisp

Show BibTeX

@inproceedings{DBLP:conf/icfp/HenzW20,
  author = {Henz, Martin and Wrigstad, Tobias},
  editor = {Saleil, Baptiste and Adams, Michael D.},
  title = {{SICP} {JS:} Ketchup on Caviar?},
  booktitle = {Proceedings of the 2020 Scheme and Functional Programming Workshop,
                    Online, Virtual Event, August 20-28, 2020},
  series = {{CSE} Technical Reports},
  volume = {{CSE-TR-001-21}},
  pages = {1},
  publisher = {University of Michigan},
  year = {2020},
  timestamp = {Tue, 15 Feb 2022 12:32:42 +0100},
  biburl = {https://dblp.org/rec/conf/icfp/HenzW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {javascript, didactics, scheme, lisp}
}

ThinGC: complete isolation with marginal overhead

Albert Mingkun Yang, Erik Österlund, Jesper Wilhelmsson, Hanna Nyblom, and Tobias Wrigstad

In ISMM ’20: 2020 ACM SIGPLAN International Symposium on Memory Management, ISMM 2020, virtual [London, UK], June 16, 2020, 2020

Keywords: memory management

DOI:10.1145/3381898.3397213 Show BibTeX

@inproceedings{DBLP:conf/iwmm/YangOWNW20,
  author = {Yang, Albert Mingkun and {\"{O}}sterlund, Erik and Wilhelmsson, Jesper and Nyblom, Hanna and Wrigstad, Tobias},
  editor = {Ding, Chen and Maas, Martin},
  title = {ThinGC: complete isolation with marginal overhead},
  booktitle = {{ISMM} '20: 2020 {ACM} {SIGPLAN} International Symposium on Memory
                    Management, {ISMM} 2020, virtual [London, UK], June 16, 2020},
  pages = {74--86},
  publisher = {{ACM}},
  year = {2020},
  url = {https://doi.org/10.1145/3381898.3397213},
  doi = {10.1145/3381898.3397213},
  timestamp = {Mon, 06 Jul 2020 16:02:26 +0200},
  biburl = {https://dblp.org/rec/conf/iwmm/YangOWNW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management}
}

Improving program locality in the GC using hotness

Albert Mingkun Yang, Erik Österlund, and Tobias Wrigstad

In Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, 2020

Keywords: memory management cache performance

DOI:10.1145/3385412.3385977 Show BibTeX

@inproceedings{DBLP:conf/pldi/YangOW20,
  author = {Yang, Albert Mingkun and {\"{O}}sterlund, Erik and Wrigstad, Tobias},
  editor = {Donaldson, Alastair F. and Torlak, Emina},
  title = {Improving program locality in the {GC} using hotness},
  booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
                    Programming Language Design and Implementation, {PLDI} 2020, London,
                    UK, June 15-20, 2020},
  pages = {301--313},
  publisher = {{ACM}},
  year = {2020},
  url = {https://doi.org/10.1145/3385412.3385977},
  doi = {10.1145/3385412.3385977},
  timestamp = {Tue, 09 Jun 2020 13:45:15 +0200},
  biburl = {https://dblp.org/rec/conf/pldi/YangOW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, cache performance}
}

Jupyter Notebooks on GitHub: Characteristics and Code Clones

Malin Källén, Ulf Sigvardsson, and Tobias Wrigstad

CoRR, 2020

Keywords: python software mining

Show BibTeX

@article{DBLP:journals/corr/abs-2007-10146,
  author = {K{\"{a}}ll{\'{e}}n, Malin and Sigvardsson, Ulf and Wrigstad, Tobias},
  title = {Jupyter Notebooks on GitHub: Characteristics and Code Clones},
  journal = {CoRR},
  volume = {abs/2007.10146},
  year = {2020},
  url = {https://arxiv.org/abs/2007.10146},
  eprinttype = {arXiv},
  eprint = {2007.10146},
  timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2007-10146.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {python, software mining}
}

2019

Godot: All the Benefits of Implicit and Explicit Futures (Artifact)

Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, and Tobias Wrigstad

Dagstuhl Artifacts Ser., 2019

Keywords: concurrency formal semantics

DOI:10.4230/DARTS.5.2.1 Show BibTeX

@article{DBLP:journals/darts/Fernandez-Reyes19,
  author = {Fernandez{-}Reyes, Kiko and Clarke, Dave and Henrio, Ludovic and Johnsen, Einar Broch and Wrigstad, Tobias},
  title = {Godot: All the Benefits of Implicit and Explicit Futures (Artifact)},
  journal = {Dagstuhl Artifacts Ser.},
  volume = {5},
  number = {2},
  pages = {01:1--01:2},
  year = {2019},
  url = {https://doi.org/10.4230/DARTS.5.2.1},
  doi = {10.4230/DARTS.5.2.1},
  timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/darts/Fernandez-Reyes19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {concurrency, formal semantics}
}

Run, actor, run: towards cross-actor language benchmarking

Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, and Tobias Wrigstad

In Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2019, Athens, Greece, October 22, 2019, 2019

Keywords: benchmarking actors concurrency

DOI:10.1145/3358499.3361224 Show BibTeX

@inproceedings{DBLP:conf/agere/BlessingFYDW19,
  author = {Blessing, Sebastian and Fernandez{-}Reyes, Kiko and Yang, Albert Mingkun and Drossopoulou, Sophia and Wrigstad, Tobias},
  editor = {Bergenti, Federico and Castegren, Elias and Koster, Joeri De and Franco, Juliana},
  title = {Run, actor, run: towards cross-actor language benchmarking},
  booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Programming
                    Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH
                    2019, Athens, Greece, October 22, 2019},
  pages = {41--50},
  publisher = {{ACM}},
  year = {2019},
  url = {https://doi.org/10.1145/3358499.3361224},
  doi = {10.1145/3358499.3361224},
  timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl = {https://dblp.org/rec/conf/agere/BlessingFYDW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {benchmarking, actors, concurrency}
}

Godot: All the Benefits of Implicit and Explicit Futures

Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, and Tobias Wrigstad

In 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom, 2019

Keywords: concurrency formal semantics

DOI:10.4230/LIPICS.ECOOP.2019.2 Show BibTeX

@inproceedings{DBLP:conf/ecoop/Fernandez-Reyes19,
  author = {Fernandez{-}Reyes, Kiko and Clarke, Dave and Henrio, Ludovic and Johnsen, Einar Broch and Wrigstad, Tobias},
  editor = {Donaldson, Alastair F.},
  title = {Godot: All the Benefits of Implicit and Explicit Futures},
  booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
                    July 15-19, 2019, London, United Kingdom},
  series = {LIPIcs},
  volume = {134},
  pages = {2:1--2:28},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year = {2019},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.2},
  doi = {10.4230/LIPICS.ECOOP.2019.2},
  timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl = {https://dblp.org/rec/conf/ecoop/Fernandez-Reyes19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {concurrency, formal semantics}
}

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

Beatrice Åkerblom, Elias Castegren, and Tobias Wrigstad

In ICOOOLPS ’19: Proceedings of the 14th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, London, UK, 19 July 2019, 2019

Keywords: ownership type systems

DOI:10.1145/3340670.3342427 Show BibTeX

@inproceedings{DBLP:conf/ecoop/AkerblomCW19,
  author = {{\AA}kerblom, Beatrice and Castegren, Elias and Wrigstad, Tobias},
  title = {Progress Report: Exploring {API} Design for Capabilities for Programming
                    with Arrays},
  booktitle = {{ICOOOLPS} '19: Proceedings of the 14th Workshop on Implementation,
                    Compilation, Optimization of Object-Oriented Languages, Programs and
                    Systems, London, UK, 19 July 2019},
  pages = {3:1--3:8},
  publisher = {{ACM}},
  year = {2019},
  url = {https://doi.org/10.1145/3340670.3342427},
  doi = {10.1145/3340670.3342427},
  timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/ecoop/AkerblomCW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, type systems}
}

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

Eva Fjällström, Christoffer Forsberg, Felix Trulsson, Steffi Knorn, Kjell Staffas, Damiano Varagnolo, and Tobias Wrigstad

In 17th European Control Conference, ECC 2019, Naples, Italy, June 25-28, 2019, 2019

Keywords: didactics

DOI:10.23919/ECC.2019.8795910 Show BibTeX

@inproceedings{DBLP:conf/eucc/FjallstromFTKSV19,
  author = {Fj{\"{a}}llstr{\"{o}}m, Eva and Forsberg, Christoffer and Trulsson, Felix and Knorn, Steffi and Staffas, Kjell and Varagnolo, Damiano and Wrigstad, Tobias},
  title = {Courses-Concepts-Graphs as a Tool to Measure the Importance of Concepts
                    in University Programmes},
  booktitle = {17th European Control Conference, {ECC} 2019, Naples, Italy, June
                    25-28, 2019},
  pages = {3076--3083},
  publisher = {{IEEE}},
  year = {2019},
  url = {https://doi.org/10.23919/ECC.2019.8795910},
  doi = {10.23919/ECC.2019.8795910},
  timestamp = {Thu, 11 Feb 2021 14:14:57 +0100},
  biburl = {https://dblp.org/rec/conf/eucc/FjallstromFTKSV19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {didactics}
}

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

Malin Källén, and Tobias Wrigstad

In Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2019, Athens, Greece, October 21-22, 2019, 2019

Keywords: scientific computing java

DOI:10.1145/3357390.3361026 Show BibTeX

@inproceedings{DBLP:conf/pppj/KallenW19,
  author = {K{\"{a}}ll{\'{e}}n, Malin and Wrigstad, Tobias},
  editor = {Hosking, Antony L. and Finocchi, Irene},
  title = {Performance of an {OO} compute kernel on the {JVM:} revisiting Java
                    as a language for scientific computing applications},
  booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Conference on
                    Managed Programming Languages and Runtimes, {MPLR} 2019, Athens, Greece,
                    October 21-22, 2019},
  pages = {144--156},
  publisher = {{ACM}},
  year = {2019},
  url = {https://doi.org/10.1145/3357390.3361026},
  doi = {10.1145/3357390.3361026},
  timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/pppj/KallenW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {scientific computing, java}
}

Safely Abstracting Memory Layouts

Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach

CoRR, 2019

Keywords: cache performance

Show BibTeX

@article{DBLP:journals/corr/abs-1901-08006,
  author = {Franco, Juliana and Tasos, Alexandros and Drossopoulou, Sophia and Wrigstad, Tobias and Eisenbach, Susan},
  title = {Safely Abstracting Memory Layouts},
  journal = {CoRR},
  volume = {abs/1901.08006},
  year = {2019},
  url = {http://arxiv.org/abs/1901.08006},
  eprinttype = {arXiv},
  eprint = {1901.08006},
  timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/corr/abs-1901-08006.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {cache performance}
}

Reference Capabilities for Safe Parallel Array Programming

Beatrice Åkerblom, Elias Castegren, and Tobias Wrigstad

CoRR, 2019

Keywords: ownership concurrency type systems

Show BibTeX

@article{DBLP:journals/corr/abs-1905-13716,
  author = {{\AA}kerblom, Beatrice and Castegren, Elias and Wrigstad, Tobias},
  title = {Reference Capabilities for Safe Parallel Array Programming},
  journal = {CoRR},
  volume = {abs/1905.13716},
  year = {2019},
  url = {http://arxiv.org/abs/1905.13716},
  eprinttype = {arXiv},
  eprint = {1905.13716},
  timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-1905-13716.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, concurrency, type systems}
}

Mastery Learning-Like Teaching with Achievements

Tobias Wrigstad, and Elias Castegren

CoRR, 2019

Keywords: didactics

Show BibTeX

@article{DBLP:journals/corr/abs-1906-03510,
  author = {Wrigstad, Tobias and Castegren, Elias},
  title = {Mastery Learning-Like Teaching with Achievements},
  journal = {CoRR},
  volume = {abs/1906.03510},
  year = {2019},
  url = {http://arxiv.org/abs/1906.03510},
  eprinttype = {arXiv},
  eprint = {1906.03510},
  timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-1906-03510.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {didactics}
}

Towards Gradual Checking of Reference Capabilities

Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, and Tobias Wrigstad

CoRR, 2019

Keywords: gradual typing ownership

Show BibTeX

@article{DBLP:journals/corr/abs-1909-01465,
  author = {Fernandez{-}Reyes, Kiko and Gariano, Isaac Oscar and Noble, James and Wrigstad, Tobias},
  title = {Towards Gradual Checking of Reference Capabilities},
  journal = {CoRR},
  volume = {abs/1909.01465},
  year = {2019},
  url = {http://arxiv.org/abs/1909.01465},
  eprinttype = {arXiv},
  eprint = {1909.01465},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-1909-01465.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {gradual typing, ownership}
}

2018

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

Elias Castegren, Joel Wallin, and Tobias Wrigstad

Journal of Logical and Algebraic Methods of Programming, 2018

Keywords: ownership actors

DOI:10.1016/J.JLAMP.2018.06.007 Show BibTeX

@article{DBLP:journals/jlp/CastegrenWW18,
  author = {Castegren, Elias and Wallin, Joel and Wrigstad, Tobias},
  title = {Bestow and atomic: Concurrent programming using isolation, delegation
                    and grouping},
  journal = {Journal of Logical and Algebraic Methods of Programming},
  volume = {100},
  pages = {130--151},
  year = {2018},
  url = {https://doi.org/10.1016/j.jlamp.2018.06.007},
  doi = {10.1016/J.JLAMP.2018.06.007},
  timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/jlp/CastegrenWW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, actors}
}

Attached and detached closures in actors

Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Tobias Wrigstad, and Albert Mingkun Yang

In Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2018, Boston, MA, USA, November 5, 2018, 2018

Keywords: actors concurrency

DOI:10.1145/3281366.3281371 Show BibTeX

@inproceedings{DBLP:conf/agere/Castegren0FWY18,
  author = {Castegren, Elias and Clarke, Dave and Fernandez{-}Reyes, Kiko and Wrigstad, Tobias and Yang, Albert Mingkun},
  editor = {Koster, Joeri De and Bergenti, Federico and Franco, Juliana},
  title = {Attached and detached closures in actors},
  booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Programming
                    Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH
                    2018, Boston, MA, USA, November 5, 2018},
  pages = {54--61},
  publisher = {{ACM}},
  year = {2018},
  url = {https://doi.org/10.1145/3281366.3281371},
  doi = {10.1145/3281366.3281371},
  timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/agere/Castegren0FWY18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {actors, concurrency}
}

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

Alexandros Tasos, Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou, and Susan Eisenbach

In Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS@ECOOP 2018, Amsterdam, Netherlands, July 16-21, 2018, 2018

Keywords: cache performance type systems

DOI:10.1145/3242947.3242951 Show BibTeX

@inproceedings{DBLP:conf/ecoop/TasosFWDE18,
  author = {Tasos, Alexandros and Franco, Juliana and Wrigstad, Tobias and Drossopoulou, Sophia and Eisenbach, Susan},
  editor = {Felgentreff, Tim and Zendra, Olivier},
  title = {Extending {SHAPES} for {SIMD} Architectures: An approach to native,
                    support for Struct of Arrays in languages},
  booktitle = {Proceedings of the 13th Workshop on Implementation, Compilation, Optimization
                    of Object-Oriented Languages, Programs and Systems, ICOOOLPS@ECOOP
                    2018, Amsterdam, Netherlands, July 16-21, 2018},
  pages = {23--29},
  publisher = {{ACM}},
  year = {2018},
  url = {https://doi.org/10.1145/3242947.3242951},
  doi = {10.1145/3242947.3242951},
  timestamp = {Fri, 21 Dec 2018 06:42:46 +0100},
  biburl = {https://dblp.org/rec/conf/ecoop/TasosFWDE18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {cache performance, type systems}
}

Correctness of a Concurrent Object Collector for Actor Languages

Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, and Tobias Wrigstad

In Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, 2018

Keywords: memory management formal semantics

DOI:10.1007/978-3-319-89884-1_31 Show BibTeX

@inproceedings{DBLP:conf/esop/FrancoCDVW18,
  author = {Franco, Juliana and Clebsch, Sylvan and Drossopoulou, Sophia and Vitek, Jan and Wrigstad, Tobias},
  editor = {Ahmed, Amal},
  title = {Correctness of a Concurrent Object Collector for Actor Languages},
  booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
                    {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                    and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                    14-20, 2018, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {10801},
  pages = {885--911},
  publisher = {Springer},
  year = {2018},
  url = {https://doi.org/10.1007/978-3-319-89884-1\_31},
  doi = {10.1007/978-3-319-89884-1\_31},
  timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
  biburl = {https://dblp.org/rec/conf/esop/FrancoCDVW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, formal semantics}
}

C\unicode9837: a new modular approach to implementing efficient and tunable collections

Stephan Brandauer, Elias Castegren, and Tobias Wrigstad

In Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2018, Boston, MA, USA, November 7-8, 2018, 2018

Keywords: cache performance

DOI:10.1145/3276954.3276956 Show BibTeX

@inproceedings{DBLP:conf/oopsla/BrandauerCW18,
  author = {Brandauer, Stephan and Castegren, Elias and Wrigstad, Tobias},
  editor = {Boix, Elisa Gonzalez and Gabriel, Richard P.},
  title = {C{\unicode{9837}}: a new modular approach to implementing efficient
                    and tunable collections},
  booktitle = {Proceedings of the 2018 {ACM} {SIGPLAN} International Symposium on
                    New Ideas, New Paradigms, and Reflections on Programming and Software,
                    Onward! 2018, Boston, MA, USA, November 7-8, 2018},
  pages = {57--71},
  publisher = {{ACM}},
  year = {2018},
  url = {https://doi.org/10.1145/3276954.3276956},
  doi = {10.1145/3276954.3276956},
  timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/oopsla/BrandauerCW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {cache performance}
}

Parallel programming with arrays in Kappa

Beatrice Åkerblom, Elias Castegren, and Tobias Wrigstad

In Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2018, Philadelphia, PA, USA, June 19, 2018, 2018

Keywords: concurrency ownership

DOI:10.1145/3219753.3219757 Show BibTeX

@inproceedings{DBLP:conf/pldi/AkerblomCW18,
  author = {{\AA}kerblom, Beatrice and Castegren, Elias and Wrigstad, Tobias},
  editor = {Scholz, Sven{-}Bodo and Shivers, Olin},
  title = {Parallel programming with arrays in Kappa},
  booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Libraries,
                    Languages, and Compilers for Array Programming, ARRAY@PLDI 2018, Philadelphia,
                    PA, USA, June 19, 2018},
  pages = {24--33},
  publisher = {{ACM}},
  year = {2018},
  url = {https://doi.org/10.1145/3219753.3219757},
  doi = {10.1145/3219753.3219757},
  timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/pldi/AkerblomCW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {concurrency, ownership}
}

OOlong: an extensible concurrent object calculus

Elias Castegren, and Tobias Wrigstad

In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, 2018

Keywords: formal semantics concurrency ownership

DOI:10.1145/3167132.3167243 Show BibTeX

@inproceedings{DBLP:conf/sac/CastegrenW18,
  author = {Castegren, Elias and Wrigstad, Tobias},
  editor = {Haddad, Hisham M. and Wainwright, Roger L. and Chbeir, Richard},
  title = {OOlong: an extensible concurrent object calculus},
  booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
                    {SAC} 2018, Pau, France, April 09-13, 2018},
  pages = {1022--1029},
  publisher = {{ACM}},
  year = {2018},
  url = {https://doi.org/10.1145/3167132.3167243},
  doi = {10.1145/3167132.3167243},
  timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
  biburl = {https://dblp.org/rec/conf/sac/CastegrenW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {formal semantics, concurrency, ownership}
}

Bestow and Atomic: Concurrent Programming using Isolation, Delegation and Grouping

Elias Castegren, Joel Wallin, and Tobias Wrigstad

CoRR, 2018

Keywords: actors ownership concurrency

Show BibTeX

@article{DBLP:journals/corr/abs-1807-10130,
  author = {Castegren, Elias and Wallin, Joel and Wrigstad, Tobias},
  title = {Bestow and Atomic: Concurrent Programming using Isolation, Delegation
                    and Grouping},
  journal = {CoRR},
  volume = {abs/1807.10130},
  year = {2018},
  url = {http://arxiv.org/abs/1807.10130},
  eprinttype = {arXiv},
  eprint = {1807.10130},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-1807-10130.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {actors, ownership, concurrency}
}

2017

Orca: GC and type system co-design for actor languages

Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek

Proc. ACM Program. Lang., 2017

Keywords: memory management actors ownership

DOI:10.1145/3133896 Show BibTeX

@article{DBLP:journals/pacmpl/ClebschFDYWV17,
  author = {Clebsch, Sylvan and Franco, Juliana and Drossopoulou, Sophia and Yang, Albert Mingkun and Wrigstad, Tobias and Vitek, Jan},
  title = {Orca: {GC} and type system co-design for actor languages},
  journal = {Proc. {ACM} Program. Lang.},
  volume = {1},
  number = {{OOPSLA}},
  pages = {72:1--72:28},
  year = {2017},
  url = {https://doi.org/10.1145/3133896},
  doi = {10.1145/3133896},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/pacmpl/ClebschFDYWV17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, actors, ownership}
}

Relaxed Linear References for Lock-free Data Structures

Elias Castegren, and Tobias Wrigstad

In 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain, 2017

Keywords: ownership concurrency

DOI:10.4230/LIPICS.ECOOP.2017.6 Show BibTeX

@inproceedings{DBLP:conf/ecoop/CastegrenW17,
  author = {Castegren, Elias and Wrigstad, Tobias},
  editor = {M{\"{u}}ller, Peter},
  title = {Relaxed Linear References for Lock-free Data Structures},
  booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
                    June 19-23, 2017, Barcelona, Spain},
  series = {LIPIcs},
  volume = {74},
  pages = {6:1--6:32},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year = {2017},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.6},
  doi = {10.4230/LIPICS.ECOOP.2017.6},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl = {https://dblp.org/rec/conf/ecoop/CastegrenW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, concurrency}
}

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

Albert Mingkun Yang, and Tobias Wrigstad

In Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, ISMM 2017, Barcelona, Spain, June 18, 2017, 2017

Keywords: memory management ownership

DOI:10.1145/3092255.3092274 Show BibTeX

@inproceedings{DBLP:conf/iwmm/YangW17,
  author = {Yang, Albert Mingkun and Wrigstad, Tobias},
  editor = {Kirsch, Christoph M. and Titzer, Ben L.},
  title = {Type-assisted automatic garbage collection for lock-free data structures},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} International Symposium on
                    Memory Management, {ISMM} 2017, Barcelona, Spain, June 18, 2017},
  pages = {14--24},
  publisher = {{ACM}},
  year = {2017},
  url = {https://doi.org/10.1145/3092255.3092274},
  doi = {10.1145/3092255.3092274},
  timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl = {https://dblp.org/rec/conf/iwmm/YangW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {memory management, ownership}
}

Spencer: interactive heap analysis for the masses

Stephan Brandauer, and Tobias Wrigstad

In Proceedings of the 14th International Conference on Mining Software Repositories, MSR 2017, Buenos Aires, Argentina, May 20-28, 2017, 2017

Keywords: software mining

DOI:10.1109/MSR.2017.35 Show BibTeX

@inproceedings{DBLP:conf/msr/BrandauerW17,
  author = {Brandauer, Stephan and Wrigstad, Tobias},
  editor = {Gonz{\'{a}}lez{-}Barahona, Jes{\'{u}}s M. and Hindle, Abram and Tan, Lin},
  title = {Spencer: interactive heap analysis for the masses},
  booktitle = {Proceedings of the 14th International Conference on Mining Software
                    Repositories, {MSR} 2017, Buenos Aires, Argentina, May 20-28, 2017},
  pages = {113--123},
  publisher = {{IEEE} Computer Society},
  year = {2017},
  url = {https://doi.org/10.1109/MSR.2017.35},
  doi = {10.1109/MSR.2017.35},
  timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/msr/BrandauerW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {software mining}
}

You can have it all: abstraction and good cache performance

Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, and Susan Eisenbach

In Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017, 2017

Keywords: cache performance

DOI:10.1145/3133850.3133861 Show BibTeX

@inproceedings{DBLP:conf/oopsla/FrancoHWDE17,
  author = {Franco, Juliana and Hagelin, Martin and Wrigstad, Tobias and Drossopoulou, Sophia and Eisenbach, Susan},
  editor = {Torlak, Emina and van der Storm, Tijs and Biddle, Robert},
  title = {You can have it all: abstraction and good cache performance},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} International Symposium on
                    New Ideas, New Paradigms, and Reflections on Programming and Software,
                    Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
  pages = {148--167},
  publisher = {{ACM}},
  year = {2017},
  url = {https://doi.org/10.1145/3133850.3133861},
  doi = {10.1145/3133850.3133861},
  timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl = {https://dblp.org/rec/conf/oopsla/FrancoHWDE17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {cache performance}
}

Actors without Borders: Amnesty for Imprisoned State

Elias Castegren, and Tobias Wrigstad

In Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017, 2017

Keywords: type systems actors ownership

DOI:10.4204/EPTCS.246.4 Show BibTeX

@inproceedings{DBLP:journals/corr/CastegrenW17,
  author = {Castegren, Elias and Wrigstad, Tobias},
  editor = {Vasconcelos, Vasco T. and Haller, Philipp},
  title = {Actors without Borders: Amnesty for Imprisoned State},
  booktitle = {Proceedings Tenth Workshop on Programming Language Approaches to Concurrency-
                    and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden,
                    29th April 2017},
  series = {{EPTCS}},
  volume = {246},
  pages = {10--20},
  year = {2017},
  url = {https://doi.org/10.4204/EPTCS.246.4},
  doi = {10.4204/EPTCS.246.4},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl = {https://dblp.org/rec/journals/corr/CastegrenW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {type systems, actors, ownership}
}

Spencer: Interactive Heap Analysis for the Masses

Stephan Brandauer, and Tobias Wrigstad

CoRR, 2017

Keywords: sofware mining

Show BibTeX

@article{DBLP:journals/corr/BrandauerW17,
  author = {Brandauer, Stephan and Wrigstad, Tobias},
  title = {Spencer: Interactive Heap Analysis for the Masses},
  journal = {CoRR},
  volume = {abs/1703.05615},
  year = {2017},
  url = {http://arxiv.org/abs/1703.05615},
  eprinttype = {arXiv},
  eprint = {1703.05615},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/BrandauerW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {sofware mining}
}

2016

Vats: A Safe, Reactive Storage Abstraction

Dave Clarke, and Tobias Wrigstad

In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 2016

Keywords: concurrency

DOI:10.1007/978-3-319-30734-3_11 Show BibTeX

@inproceedings{DBLP:conf/birthday/ClarkeW16,
  author = {Clarke, Dave and Wrigstad, Tobias},
  editor = {{\'{A}}brah{\'{a}}m, Erika and Bonsangue, Marcello M. and Johnsen, Einar Broch},
  title = {Vats: {A} Safe, Reactive Storage Abstraction},
  booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
                    de Boer on the Occasion of His 60th Birthday},
  series = {Lecture Notes in Computer Science},
  volume = {9660},
  pages = {140--154},
  publisher = {Springer},
  year = {2016},
  url = {https://doi.org/10.1007/978-3-319-30734-3\_11},
  doi = {10.1007/978-3-319-30734-3\_11},
  timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
  biburl = {https://dblp.org/rec/conf/birthday/ClarkeW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {concurrency}
}

Reference Capabilities for Concurrency Control

Elias Castegren, and Tobias Wrigstad

In 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, 2016

Keywords: concurrency ownership type systems

DOI:10.4230/LIPICS.ECOOP.2016.5 Show BibTeX

@inproceedings{DBLP:conf/ecoop/CastegrenW16,
  author = {Castegren, Elias and Wrigstad, Tobias},
  editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.},
  title = {Reference Capabilities for Concurrency Control},
  booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
                    July 18-22, 2016, Rome, Italy},
  series = {LIPIcs},
  volume = {56},
  pages = {5:1--5:26},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year = {2016},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.5},
  doi = {10.4230/LIPICS.ECOOP.2016.5},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl = {https://dblp.org/rec/conf/ecoop/CastegrenW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {concurrency, ownership, type systems}
}

2015

Measuring polymorphism in python programs

Beatrice Åkerblom, and Tobias Wrigstad

In Proceedings of the 11th Symposium on Dynamic Languages, DLS 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015, 2015

Keywords: dynamic languages python software mining

DOI:10.1145/2816707.2816717 Show BibTeX

@inproceedings{DBLP:conf/dls/AkerblomW15,
  author = {{\AA}kerblom, Beatrice and Wrigstad, Tobias},
  editor = {Serrano, Manuel},
  title = {Measuring polymorphism in python programs},
  booktitle = {Proceedings of the 11th Symposium on Dynamic Languages, {DLS} 2015,
                    part of {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  pages = {114--128},
  publisher = {{ACM}},
  year = {2015},
  url = {https://doi.org/10.1145/2816707.2816717},
  doi = {10.1145/2816707.2816717},
  timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/dls/AkerblomW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {dynamic languages, python, software mining}
}

Disjointness domains for fine-grained aliasing

Stephan Brandauer, Dave Clarke, and Tobias Wrigstad

In Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015, 2015

Keywords: ownership

DOI:10.1145/2814270.2814280 Show BibTeX

@inproceedings{DBLP:conf/oopsla/BrandauerCW15,
  author = {Brandauer, Stephan and Clarke, Dave and Wrigstad, Tobias},
  editor = {Aldrich, Jonathan and Eugster, Patrick},
  title = {Disjointness domains for fine-grained aliasing},
  booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
                    Object-Oriented Programming, Systems, Languages, and Applications,
                    {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
                    25-30, 2015},
  pages = {898--916},
  publisher = {{ACM}},
  year = {2015},
  url = {https://doi.org/10.1145/2814270.2814280},
  doi = {10.1145/2814270.2814280},
  timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl = {https://dblp.org/rec/conf/oopsla/BrandauerCW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership}
}

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

Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, and Albert Mingkun Yang

In Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, 2015

Keywords: concurrency parallelism actors

DOI:10.1007/978-3-319-18941-3_1 Show BibTeX

@inproceedings{DBLP:conf/sfm/BrandauerCCFJPT15,
  author = {Brandauer, Stephan and Castegren, Elias and Clarke, Dave and Fernandez{-}Reyes, Kiko and Johnsen, Einar Broch and Pun, Ka I and Tarifa, Silvia Lizeth Tapia and Wrigstad, Tobias and Yang, Albert Mingkun},
  editor = {Bernardo, Marco and Johnsen, Einar Broch},
  title = {Parallel Objects for Multicores: {A} Glimpse at the Parallel Language
                    Encore},
  booktitle = {Formal Methods for Multicore Programming - 15th International School
                    on Formal Methods for the Design of Computer, Communication, and Software
                    Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
                    Lectures},
  series = {Lecture Notes in Computer Science},
  volume = {9104},
  pages = {1--56},
  publisher = {Springer},
  year = {2015},
  url = {https://doi.org/10.1007/978-3-319-18941-3\_1},
  doi = {10.1007/978-3-319-18941-3\_1},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl = {https://dblp.org/rec/conf/sfm/BrandauerCCFJPT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {concurrency, parallelism, actors}
}

Refined Ownership: - Fine-Grained Controlled Internal Sharing

Elias Castegren, Johan Östlund, and Tobias Wrigstad

Keywords: ownership type systems

DOI:10.1007/978-3-319-18941-3_5 Show BibTeX

@inproceedings{DBLP:conf/sfm/CastegrenOW15,
  author = {Castegren, Elias and {\"{O}}stlund, Johan and Wrigstad, Tobias},
  editor = {Bernardo, Marco and Johnsen, Einar Broch},
  title = {Refined Ownership: - Fine-Grained Controlled Internal Sharing},
  booktitle = {Formal Methods for Multicore Programming - 15th International School
                    on Formal Methods for the Design of Computer, Communication, and Software
                    Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
                    Lectures},
  series = {Lecture Notes in Computer Science},
  volume = {9104},
  pages = {179--210},
  publisher = {Springer},
  year = {2015},
  url = {https://doi.org/10.1007/978-3-319-18941-3\_5},
  doi = {10.1007/978-3-319-18941-3\_5},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/sfm/CastegrenOW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, type systems}
}

2014

In-Flow Peer Review

Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, and Tobias Wrigstad

In Proceedings of the Working Group Reports of the 2014 on Innovation & Technology in Computer Science Education Conference, ITiCSE-WGR 2014, Uppsala, Sweden, June 23-25, 2014, 2014

Keywords: didactics

DOI:10.1145/2713609.2713612 Show BibTeX

@inproceedings{DBLP:conf/iticse/ClarkeCFHKPTW14,
  author = {Clarke, Dave and Clear, Tony and Fisler, Kathi and Hauswirth, Matthias and Krishnamurthi, Shriram and Politz, Joe Gibbs and Tirronen, Ville and Wrigstad, Tobias},
  editor = {Clear, Alison and Lister, Raymond},
  title = {In-Flow Peer Review},
  booktitle = {Proceedings of the Working Group Reports of the 2014 on Innovation
                    {\&} Technology in Computer Science Education Conference, ITiCSE-WGR
                    2014, Uppsala, Sweden, June 23-25, 2014},
  pages = {59--79},
  publisher = {{ACM}},
  year = {2014},
  url = {https://doi.org/10.1145/2713609.2713612},
  doi = {10.1145/2713609.2713612},
  timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/iticse/ClarkeCFHKPTW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {didactics}
}

Tracing dynamic features in python programs

Beatrice Åkerblom, Jonathan Stendahl, Mattias Tumlin, and Tobias Wrigstad

In 11th Working Conference on Mining Software Repositories, MSR 2014, Proceedings, May 31 - June 1, 2014, Hyderabad, India, 2014

Keywords: software mining dynamic languages python

DOI:10.1145/2597073.2597103 Show BibTeX

@inproceedings{DBLP:conf/msr/AkerblomSTW14,
  author = {{\AA}kerblom, Beatrice and Stendahl, Jonathan and Tumlin, Mattias and Wrigstad, Tobias},
  editor = {Devanbu, Premkumar T. and Kim, Sung and Pinzger, Martin},
  title = {Tracing dynamic features in python programs},
  booktitle = {11th Working Conference on Mining Software Repositories, {MSR} 2014,
                    Proceedings, May 31 - June 1, 2014, Hyderabad, India},
  pages = {292--295},
  publisher = {{ACM}},
  year = {2014},
  url = {https://doi.org/10.1145/2597073.2597103},
  doi = {10.1145/2597073.2597103},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/msr/AkerblomSTW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {software mining, dynamic languages, python}
}

Scaling Future Software: The Manycore Challenge

Frank S. Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, and Tobias Wrigstad

ERCIM News, 2014

Keywords: concurrency parallelism actors

Show BibTeX

@article{DBLP:journals/ercim/BoerJCDYW14,
  author = {de Boer, Frank S. and Johnsen, Einar Broch and Clarke, Dave and Drossopoulou, Sophia and Yoshida, Nobuko and Wrigstad, Tobias},
  title = {Scaling Future Software: The Manycore Challenge},
  journal = {{ERCIM} News},
  volume = {2014},
  number = {99},
  year = {2014},
  url = {http://ercim-news.ercim.eu/en99/challenges-for-icst/scaling-future-software-the-manycore-challenge},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/ercim/BoerJCDYW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {concurrency, parallelism, actors}
}

2013

Beyond the Geneva Convention on the Treatment of Object Aliasing

Dave Clarke, James Noble, and Tobias Wrigstad

In Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 2013

Keywords: ownership

DOI:10.1007/978-3-642-36946-9_1 Show BibTeX

@incollection{DBLP:series/lncs/ClarkeNW13,
  author = {Clarke, Dave and Noble, James and Wrigstad, Tobias},
  editor = {Clarke, Dave and Noble, James and Wrigstad, Tobias},
  title = {Beyond the Geneva Convention on the Treatment of Object Aliasing},
  booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
  series = {Lecture Notes in Computer Science},
  volume = {7850},
  pages = {1--6},
  publisher = {Springer},
  year = {2013},
  url = {https://doi.org/10.1007/978-3-642-36946-9\_1},
  doi = {10.1007/978-3-642-36946-9\_1},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl = {https://dblp.org/rec/series/lncs/ClarkeNW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership}
}

Ownership Types: A Survey

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

In Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 2013

Keywords: ownership type systems

DOI:10.1007/978-3-642-36946-9_3 Show BibTeX

@incollection{DBLP:series/lncs/ClarkeOSW13,
  author = {Clarke, Dave and {\"{O}}stlund, Johan and Sergey, Ilya and Wrigstad, Tobias},
  editor = {Clarke, Dave and Noble, James and Wrigstad, Tobias},
  title = {Ownership Types: {A} Survey},
  booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
  series = {Lecture Notes in Computer Science},
  volume = {7850},
  pages = {15--58},
  publisher = {Springer},
  year = {2013},
  url = {https://doi.org/10.1007/978-3-642-36946-9\_3},
  doi = {10.1007/978-3-642-36946-9\_3},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl = {https://dblp.org/rec/series/lncs/ClarkeOSW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, type systems}
}

Structured Aliasing

Tobias Wrigstad

In Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 2013

Keywords: ownership aliasing

DOI:10.1007/978-3-642-36946-9_22 Show BibTeX

@incollection{DBLP:series/lncs/Wrigstad13,
  author = {Wrigstad, Tobias},
  editor = {Clarke, Dave and Noble, James and Wrigstad, Tobias},
  title = {Structured Aliasing},
  booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
  series = {Lecture Notes in Computer Science},
  volume = {7850},
  pages = {512--513},
  publisher = {Springer},
  year = {2013},
  url = {https://doi.org/10.1007/978-3-642-36946-9\_22},
  doi = {10.1007/978-3-642-36946-9\_22},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl = {https://dblp.org/rec/series/lncs/Wrigstad13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, aliasing}
}

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2013

Keywords: ownership aliasing

DOI:10.1007/978-3-642-36946-9 Show BibTeX

@book{DBLP:series/lncs/7850,
  editor = {Clarke, Dave and Noble, James and Wrigstad, Tobias},
  title = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
  series = {Lecture Notes in Computer Science},
  volume = {7850},
  publisher = {Springer},
  year = {2013},
  url = {https://doi.org/10.1007/978-3-642-36946-9},
  doi = {10.1007/978-3-642-36946-9},
  isbn = {978-3-642-36945-2},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl = {https://dblp.org/rec/series/lncs/7850.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, aliasing}
}

2012

Multiple Aggregate Entry Points for Ownership Types

Johan Östlund, and Tobias Wrigstad

In ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, 2012

Keywords: ownership

DOI:10.1007/978-3-642-31057-7_8 Show BibTeX

@inproceedings{DBLP:conf/ecoop/OstlundW12,
  author = {{\"{O}}stlund, Johan and Wrigstad, Tobias},
  editor = {Noble, James},
  title = {Multiple Aggregate Entry Points for Ownership Types},
  booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
                    Beijing, China, June 11-16, 2012. Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {7313},
  pages = {156--180},
  publisher = {Springer},
  year = {2012},
  url = {https://doi.org/10.1007/978-3-642-31057-7\_8},
  doi = {10.1007/978-3-642-31057-7\_8},
  timestamp = {Fri, 27 Mar 2020 08:51:54 +0100},
  biburl = {https://dblp.org/rec/conf/ecoop/OstlundW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership}
}

Structured Aliasing

Tobias Wrigstad

In ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, 2012

Keywords: aliasing ownership

DOI:10.1007/978-3-642-31057-7_11 Show BibTeX

@inproceedings{DBLP:conf/ecoop/Wrigstad12,
  author = {Wrigstad, Tobias},
  editor = {Noble, James},
  title = {Structured Aliasing},
  booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
                    Beijing, China, June 11-16, 2012. Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {7313},
  pages = {232},
  publisher = {Springer},
  year = {2012},
  url = {https://doi.org/10.1007/978-3-642-31057-7\_11},
  doi = {10.1007/978-3-642-31057-7\_11},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/ecoop/Wrigstad12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {aliasing, ownership}
}

2010

Tribal ownership

Nicholas Cameron, James Noble, and Tobias Wrigstad

In Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA, 2010

Keywords: ownership type systems

DOI:10.1145/1869459.1869510 Show BibTeX

@inproceedings{DBLP:conf/oopsla/CameronNW10,
  author = {Cameron, Nicholas and Noble, James and Wrigstad, Tobias},
  editor = {Cook, William R. and Clarke, Siobh{\'{a}}n and Rinard, Martin C.},
  title = {Tribal ownership},
  booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                    Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
                    October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  pages = {618--633},
  publisher = {{ACM}},
  year = {2010},
  url = {https://doi.org/10.1145/1869459.1869510},
  doi = {10.1145/1869459.1869510},
  timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/oopsla/CameronNW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, type systems}
}

Integrating typed and untyped code in a scripting language

Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, and Jan Vitek

In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, 2010

Keywords: dynamic languages type system gradual typing

DOI:10.1145/1706299.1706343 Show BibTeX

@inproceedings{DBLP:conf/popl/WrigstadNLOV10,
  author = {Wrigstad, Tobias and Nardelli, Francesco Zappa and Lebresne, Sylvain and {\"{O}}stlund, Johan and Vitek, Jan},
  editor = {Hermenegildo, Manuel V. and Palsberg, Jens},
  title = {Integrating typed and untyped code in a scripting language},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                    of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
                    2010},
  pages = {377--388},
  publisher = {{ACM}},
  year = {2010},
  url = {https://doi.org/10.1145/1706299.1706343},
  doi = {10.1145/1706299.1706343},
  timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
  biburl = {https://dblp.org/rec/conf/popl/WrigstadNLOV10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {dynamic languages, type system, gradual typing}
}

Welterweight Java

Johan Östlund, and Tobias Wrigstad

In Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings, 2010

Keywords: formal semantics type systems

DOI:10.1007/978-3-642-13953-6_6 Show BibTeX

@inproceedings{DBLP:conf/tools/OstlundW10,
  author = {{\"{O}}stlund, Johan and Wrigstad, Tobias},
  editor = {Vitek, Jan},
  title = {Welterweight Java},
  booktitle = {Objects, Models, Components, Patterns, 48th International Conference,
                    {TOOLS} 2010, M{\'{a}}laga, Spain, June 28 - July 2, 2010. Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {6141},
  pages = {97--116},
  publisher = {Springer},
  year = {2010},
  url = {https://doi.org/10.1007/978-3-642-13953-6\_6},
  doi = {10.1007/978-3-642-13953-6\_6},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl = {https://dblp.org/rec/conf/tools/OstlundW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {formal semantics, type systems}
}

2009

Understanding the dynamics of JavaScript

Sylvain Lebresne, Gregor Richards, Johan Östlund, Tobias Wrigstad, and Jan Vitek

In Proceedings for the 1st workshop on Script to Program Evolution, STOP ’09, Genova, Italy, July 6, 2009, 2009

Keywords: dynamic languages javascript software mining

DOI:10.1145/1570506.1570510 Show BibTeX

@inproceedings{DBLP:conf/ecoop/LebresneROWV09,
  author = {Lebresne, Sylvain and Richards, Gregor and {\"{O}}stlund, Johan and Wrigstad, Tobias and Vitek, Jan},
  editor = {Wrigstad, Tobias and Nystrom, Nate and Vitek, Jan},
  title = {Understanding the dynamics of JavaScript},
  booktitle = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
                    '09, Genova, Italy, July 6, 2009},
  pages = {30--33},
  publisher = {{ACM}},
  year = {2009},
  url = {https://doi.org/10.1145/1570506.1570510},
  doi = {10.1145/1570506.1570510},
  timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/ecoop/LebresneROWV09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {dynamic languages, javascript, software mining}
}

Software hardening: a research agenda

Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom, and Jan Vitek

In Proceedings for the 1st workshop on Script to Program Evolution, STOP ’09, Genova, Italy, July 6, 2009, 2009

Keywords: gradual typing

DOI:10.1145/1570506.1570513 Show BibTeX

@inproceedings{DBLP:conf/ecoop/WrigstadEFNV09,
  author = {Wrigstad, Tobias and Eugster, Patrick and Field, John and Nystrom, Nate and Vitek, Jan},
  editor = {Wrigstad, Tobias and Nystrom, Nate and Vitek, Jan},
  title = {Software hardening: a research agenda},
  booktitle = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
                    '09, Genova, Italy, July 6, 2009},
  pages = {58--70},
  publisher = {{ACM}},
  year = {2009},
  url = {https://doi.org/10.1145/1570506.1570513},
  doi = {10.1145/1570506.1570513},
  timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/ecoop/WrigstadEFNV09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {gradual typing}
}

Loci: Simple Thread-Locality for Java

Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, and Jan Vitek

In ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, 2009

Keywords: ownership concurrency java

DOI:10.1007/978-3-642-03013-0_21 Show BibTeX

@inproceedings{DBLP:conf/ecoop/WrigstadPMZV09,
  author = {Wrigstad, Tobias and Pizlo, Filip and Meawad, Fadi and Zhao, Lei and Vitek, Jan},
  editor = {Drossopoulou, Sophia},
  title = {Loci: Simple Thread-Locality for Java},
  booktitle = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
                    Genoa, Italy, July 6-10, 2009. Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {5653},
  pages = {445--469},
  publisher = {Springer},
  year = {2009},
  url = {https://doi.org/10.1007/978-3-642-03013-0\_21},
  doi = {10.1007/978-3-642-03013-0\_21},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl = {https://dblp.org/rec/conf/ecoop/WrigstadPMZV09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, concurrency, java}
}

Thorn: robust, concurrent, extensible scripting on the JVM

Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, and Tobias Wrigstad

In Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, 2009

Keywords: dynamic languages ownership concurrency isolation

DOI:10.1145/1640089.1640098 Show BibTeX

@inproceedings{DBLP:conf/oopsla/BloomFNORSVW09,
  author = {Bloom, Bard and Field, John and Nystrom, Nathaniel and {\"{O}}stlund, Johan and Richards, Gregor and Strnisa, Rok and Vitek, Jan and Wrigstad, Tobias},
  editor = {Arora, Shail and Leavens, Gary T.},
  title = {Thorn: robust, concurrent, extensible scripting on the {JVM}},
  booktitle = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                    Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
                    October 25-29, 2009, Orlando, Florida, {USA}},
  pages = {117--136},
  publisher = {{ACM}},
  year = {2009},
  url = {https://doi.org/10.1145/1640089.1640098},
  doi = {10.1145/1640089.1640098},
  timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl = {https://dblp.org/rec/conf/oopsla/BloomFNORSVW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {dynamic languages, ownership, concurrency, isolation}
}

Thorn: robust concurrent scripting on the JVM

Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, and Tobias Wrigstad

In Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, 2009

Keywords: dynamic languages ownership concurrency isolation

DOI:10.1145/1639950.1640016 Show BibTeX

@inproceedings{DBLP:conf/oopsla/BloomFNORSVW09a,
  author = {Bloom, Bard and Field, John and Nystrom, Nathaniel and {\"{O}}stlund, Johan and Richards, Gregor and Strnisa, Rok and Vitek, Jan and Wrigstad, Tobias},
  editor = {Arora, Shail and Leavens, Gary T.},
  title = {Thorn: robust concurrent scripting on the {JVM}},
  booktitle = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                    Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
                    October 25-29, 2009, Orlando, Florida, {USA}},
  pages = {789--790},
  publisher = {{ACM}},
  year = {2009},
  url = {https://doi.org/10.1145/1639950.1640016},
  doi = {10.1145/1639950.1640016},
  timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl = {https://dblp.org/rec/conf/oopsla/BloomFNORSVW09a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {dynamic languages, ownership, concurrency, isolation}
}

Proceedings for the 1st workshop on Script to Program Evolution, STOP ’09, Genova, Italy, July 6, 2009

2009

Keywords: gradual typing

DOI:10.1145/1570506 Show BibTeX

@proceedings{DBLP:conf/ecoop/2009stop,
  editor = {Wrigstad, Tobias and Nystrom, Nate and Vitek, Jan},
  title = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
                    '09, Genova, Italy, July 6, 2009},
  publisher = {{ACM}},
  year = {2009},
  url = {https://doi.org/10.1145/1570506},
  doi = {10.1145/1570506},
  isbn = {978-1-60558-543-7},
  timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/ecoop/2009stop.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {gradual typing}
}

Minimal Ownership for Active Objects

David G. Clarke, Tobias Wrigstad, Johan Östlund, and Einar Broch Johnsen

In Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009, 2009

Keywords: actors ownership isolation

Show BibTeX

@inproceedings{DBLP:conf/dagstuhl/ClarkeWOJ09,
  author = {Clarke, David G. and Wrigstad, Tobias and {\"{O}}stlund, Johan and Johnsen, Einar Broch},
  editor = {O'Hearn, Peter W. and Poetzsch{-}Heffter, Arnd and Sagiv, Mooly},
  title = {Minimal Ownership for Active Objects},
  booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07.
                    - 24.07.2009},
  series = {Dagstuhl Seminar Proceedings},
  volume = {09301},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year = {2009},
  url = {http://drops.dagstuhl.de/opus/volltexte/2010/2437/},
  timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
  biburl = {https://dblp.org/rec/conf/dagstuhl/ClarkeWOJ09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {actors, ownership, isolation}
}

2008

Minimal Ownership for Active Objects

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

In Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, 2008

Keywords: actors ownership isolation

DOI:10.1007/978-3-540-89330-1_11 Show BibTeX

@inproceedings{DBLP:conf/aplas/ClarkeWOJ08,
  author = {Clarke, Dave and Wrigstad, Tobias and {\"{O}}stlund, Johan and Johnsen, Einar Broch},
  editor = {Ramalingam, G.},
  title = {Minimal Ownership for Active Objects},
  booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
                    Bangalore, India, December 9-11, 2008. Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {5356},
  pages = {139--154},
  publisher = {Springer},
  year = {2008},
  url = {https://doi.org/10.1007/978-3-540-89330-1\_11},
  doi = {10.1007/978-3-540-89330-1\_11},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl = {https://dblp.org/rec/conf/aplas/ClarkeWOJ08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {actors, ownership, isolation}
}

Aliasing, Confinement, and Ownership in Object-Oriented Programming

Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, and Tobias Wrigstad

In Object-Oriented Technology. ECOOP 2008 Workshop Reader, ECOOP 2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports, 2008

Keywords: aliasing ownership isolation

DOI:10.1007/978-3-642-02047-6_4 Show BibTeX

@inproceedings{DBLP:conf/ecoopw/ClarkeDMNW08,
  author = {Clarke, Dave and Drossopoulou, Sophia and M{\"{u}}ller, Peter and Noble, James and Wrigstad, Tobias},
  editor = {Eugster, Patrick},
  title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
  booktitle = {Object-Oriented Technology. {ECOOP} 2008 Workshop Reader, {ECOOP}
                    2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports},
  series = {Lecture Notes in Computer Science},
  volume = {5475},
  pages = {30--41},
  publisher = {Springer},
  year = {2008},
  url = {https://doi.org/10.1007/978-3-642-02047-6\_4},
  doi = {10.1007/978-3-642-02047-6\_4},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl = {https://dblp.org/rec/conf/ecoopw/ClarkeDMNW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {aliasing, ownership, isolation}
}

Formal Techniques for Java-Like Programs

Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, and Tobias Wrigstad

In Object-Oriented Technology. ECOOP 2008 Workshop Reader, ECOOP 2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports, 2008

Keywords: formal semantics

DOI:10.1007/978-3-642-02047-6_8 Show BibTeX

@inproceedings{DBLP:conf/ecoopw/AlbertBDHILMW08,
  author = {Albert, Elvira and Banerjee, Anindya and Drossopoulou, Sophia and Huisman, Marieke and Igarashi, Atsushi and Leavens, Gary T. and M{\"{u}}ller, Peter and Wrigstad, Tobias},
  editor = {Eugster, Patrick},
  title = {Formal Techniques for Java-Like Programs},
  booktitle = {Object-Oriented Technology. {ECOOP} 2008 Workshop Reader, {ECOOP}
                    2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports},
  series = {Lecture Notes in Computer Science},
  volume = {5475},
  pages = {70--76},
  publisher = {Springer},
  year = {2008},
  url = {https://doi.org/10.1007/978-3-642-02047-6\_8},
  doi = {10.1007/978-3-642-02047-6\_8},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/ecoopw/AlbertBDHILMW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {formal semantics}
}

Ownership, Uniqueness, and Immutability

Johan Östlund, Tobias Wrigstad, Dave Clarke, and Beatrice Åkerblom

In Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, 2008

Keywords: ownership type systems

DOI:10.1007/978-3-540-69824-1_11 Show BibTeX

@inproceedings{DBLP:conf/tools/OstlundWCA08,
  author = {{\"{O}}stlund, Johan and Wrigstad, Tobias and Clarke, Dave and {\AA}kerblom, Beatrice},
  editor = {Paige, Richard F. and Meyer, Bertrand},
  title = {Ownership, Uniqueness, and Immutability},
  booktitle = {Objects, Components, Models and Patterns, 46th International Conference,
                    {TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
                    Proceedings},
  series = {Lecture Notes in Business Information Processing},
  volume = {11},
  pages = {178--197},
  publisher = {Springer},
  year = {2008},
  url = {https://doi.org/10.1007/978-3-540-69824-1\_11},
  doi = {10.1007/978-3-540-69824-1\_11},
  timestamp = {Wed, 24 Jun 2020 15:26:33 +0200},
  biburl = {https://dblp.org/rec/conf/tools/OstlundWCA08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, type systems}
}

2007

Existential Owners for Ownership Types

Tobias Wrigstad, and Dave Clarke

Journal of Object Technology, 2007

Keywords: ownership type systems

DOI:10.5381/JOT.2007.6.4.A5 Show BibTeX

@article{DBLP:journals/jot/WrigstadC07,
  author = {Wrigstad, Tobias and Clarke, Dave},
  title = {Existential Owners for Ownership Types},
  journal = {Journal of Object Technology},
  volume = {6},
  number = {4},
  pages = {141--159},
  year = {2007},
  url = {https://doi.org/10.5381/jot.2007.6.4.a5},
  doi = {10.5381/JOT.2007.6.4.A5},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/jot/WrigstadC07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, type systems}
}

Tribe: a simple virtual class calculus

Dave Clarke, Sophia Drossopoulou, James Noble, and Tobias Wrigstad

In Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, 2007

Keywords: ownership type systems

DOI:10.1145/1218563.1218578 Show BibTeX

@inproceedings{DBLP:conf/aosd/ClarkeDNW07,
  author = {Clarke, Dave and Drossopoulou, Sophia and Noble, James and Wrigstad, Tobias},
  editor = {Barry, Brian M. and de Moor, Oege},
  title = {Tribe: a simple virtual class calculus},
  booktitle = {Proceedings of the 6th International Conference on Aspect-Oriented
                    Software Development, {AOSD} 2007, Vancouver, British Columbia, Canada,
                    March 12-16, 2007},
  series = {{ACM} International Conference Proceeding Series},
  volume = {208},
  pages = {121--134},
  publisher = {{ACM}},
  year = {2007},
  url = {https://doi.org/10.1145/1218563.1218578},
  doi = {10.1145/1218563.1218578},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/aosd/ClarkeDNW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, type systems}
}

Aliasing, Confinement, and Ownership in Object-Oriented Programming

Dave Clarke, Sophia Drossopoulou, James Noble, and Tobias Wrigstad

In Object-Oriented Technology. ECOOP 2007 Workshop Reader, Berlin, Germany, July 30-31, 2007, Final Reports, 2007

Keywords: ownership aliasing isolation

DOI:10.1007/978-3-540-78195-0_5 Show BibTeX

@inproceedings{DBLP:conf/ecoopw/ClarkeDNW07,
  author = {Clarke, Dave and Drossopoulou, Sophia and Noble, James and Wrigstad, Tobias},
  editor = {Cebulla, Michael},
  title = {Aliasing, Confinement, and Ownership in Object-Oriented Programming},
  booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
                    Germany, July 30-31, 2007, Final Reports},
  series = {Lecture Notes in Computer Science},
  volume = {4906},
  pages = {40--49},
  publisher = {Springer},
  year = {2007},
  url = {https://doi.org/10.1007/978-3-540-78195-0\_5},
  doi = {10.1007/978-3-540-78195-0\_5},
  timestamp = {Sun, 02 Jun 2019 21:21:54 +0200},
  biburl = {https://dblp.org/rec/conf/ecoopw/ClarkeDNW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, aliasing, isolation}
}

2006

Ownership-Based Alias Management (PhD Thesis)

Tobias Wrigstad

Royal Institute of Technology, Stockholm, Sweden, 2006

Keywords: ownership aliasing isolation type systems formal semantics

Show BibTeX

@phdthesis{DBLP:phd/basesearch/Wrigstad06,
  author = {Wrigstad, Tobias},
  title = {Ownership-Based Alias Management (PhD Thesis)},
  school = {Royal Institute of Technology, Stockholm, Sweden},
  year = {2006},
  url = {https://nbn-resolving.org/urn:nbn:se:kth:diva-3956},
  urn = {urn:nbn:se:kth:diva-3956},
  timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl = {https://dblp.org/rec/phd/basesearch/Wrigstad06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, aliasing, isolation, type systems, formal semantics}
}

2003

External Uniqueness Is Unique Enough

Dave Clarke, and Tobias Wrigstad

In ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings, 2003

Keywords: ownership aliasing isolation

DOI:10.1007/978-3-540-45070-2_9 Show BibTeX

@inproceedings{DBLP:conf/ecoop/ClarkeW03,
  author = {Clarke, Dave and Wrigstad, Tobias},
  editor = {Cardelli, Luca},
  title = {External Uniqueness Is Unique Enough},
  booktitle = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
                    Darmstadt, Germany, July 21-25, 2003, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {2743},
  pages = {176--200},
  publisher = {Springer},
  year = {2003},
  url = {https://doi.org/10.1007/978-3-540-45070-2\_9},
  doi = {10.1007/978-3-540-45070-2\_9},
  timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
  biburl = {https://dblp.org/rec/conf/ecoop/ClarkeW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership, aliasing, isolation}
}

2002

Alias Control with Read-Only References

Mats Skoglund, and Tobias Wrigstad

In Proceedings of the 6th Joint Conference on Information Science, March 8-13, 2002, Research Triangle Park, North Carolina, USA, 2002

Keywords: ownership

Show BibTeX

@inproceedings{DBLP:conf/jcis/SkoglundW02,
  author = {Skoglund, Mats and Wrigstad, Tobias},
  editor = {Caulfield, H. John and Chen, Shu{-}Heng and Cheng, Heng{-}Da and Duro, Richard J. and Honavar, Vasant G. and Kerre, Etienne E. and Lu, Mi and Romay, Manuel Gra{\~{n}}a and Shih, Timothy K. and Ventura, Dan and Wang, Paul P. and Yang, Yuanyuan},
  title = {Alias Control with Read-Only References},
  booktitle = {Proceedings of the 6th Joint Conference on Information Science, March
                    8-13, 2002, Research Triangle Park, North Carolina, {USA}},
  pages = {387--391},
  publisher = {{JCIS} / Association for Intelligent Machinery, Inc.},
  year = {2002},
  timestamp = {Mon, 13 Nov 2017 18:15:11 +0100},
  biburl = {https://dblp.org/rec/conf/jcis/SkoglundW02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {ownership}
}