Tobias Wrigstad, Associate professor, UPMARC, Uppsala University
Tobias Wrigstad is an associate professor at Uppsala University doing research on programming language technology. He is currently excited about program profiling as a service, concurrent garbage collection, types for lock-free programming, data layout and data-race freedom.
Unlocking parallel performance through types
Beyond knowing whether a variable is a handle to an object or an integer, most type systems capture very little information about a program's non-functional aspects. By aligning the type system with how programmers write code, we can establish powerful guarantees about our programs that can be used by compilers and run-times, without destroying the joy of programming.