Tobias Wrigstad

ORCID:
0000-0002-4269-5408

Short presentation

I'm posting updates on everything exciting at my external page wrigstad.com.

Keywords

  • concurrent programs
  • memory management
  • parallel programming
  • programming languages
  • software engineering
  • type systems

Research

My research started in type systems for ownership and encapsulation, then moved away from types to dynamic programming languages (aka scripting languages), then combined these with types in gradual typing. I started working on actor languages, and then application of several of the results from my earlier type systems and ownership work to concurrency and parallelism in the form of capabilities, which were simpler yet more versatile. The quest for performance led me to garbage collection, memory management, and arrays.

My current research focuses on managed programming languages and their safe and efficient execution, through improved memory management techniques. There are several synergies with past work on capabilities as well as gradual typing which I mean to explore in the near future.

In addition to this, I have been studying scientific computing software from a software engineering perspective, which has led to large-scale analysis of code repositories of data science programs written predominantly in untyped languages, to find errors and support the development of correct, reusable, reproducable scientific computing.

Publications

Recent publications

All publications

Articles

Books

Chapters

Conferences

Reports

Other

Tobias Wrigstad

FOLLOW UPPSALA UNIVERSITY ON

facebook
instagram
twitter
youtube
linkedin