معرفی
Tobias Wrigstad is a faculty member at Uppsala University, Sweden, with research interests spanning type systems, reference capabilities, programming language design, scripting languages, and concurrent/parallel programming. His work focuses on memory management, concurrency safety, and language extensions for performance optimization.
- Education: Not explicitly mentioned in provided data
Research Interests:
- Designing type systems to enforce concurrency safety and memory correctness
- Reference capabilities for manual and automatic memory management
- Actor model programming and garbage collection co-design
- Cache locality optimization without program restructuring
- Formal verification of language designs using Dafny
Recent Publications (2025-2015):
- Explore concurrency safety through region ownership
- Develop parallel array programming models in Kappa
- Investigate energy-efficient garbage collection
- Design capability-based dynamic languages for data race freedom
- Create formal models for heap invariants and incorrectness
- Optimize memory allocation via load barriers
Conference Involvement:
- 2025: IWACO Committee Member, OOPSLA Associate Chair
- 2024: Program Co-Chair for IWACO, Author in VIMPL, MPLR, ISMM
- 2023: SPLASH Steering Committee, ECOOP PC Member
- 2022-2015: Active in PLDI, ECOOP, ICFP, and related workshops
۰مقاله منتشرشده
