Tobias Wrigstad

 

   

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

See the PowerPoint presentation!

Abstract
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.