Sledovat
Tobias Wrigstad
Tobias Wrigstad
Professor of Computer Science, Uppsala University
E-mailová adresa ověřena na: it.uu.se - Domovská stránka
Název
Citace
Citace
Rok
External uniqueness is unique enough
D Clarke, T Wrigstad
European Conference on Object-Oriented Programming, 176-200, 2003
2252003
Integrating typed and untyped code in a scripting language
T Wrigstad, FZ Nardelli, S Lebresne, J Östlund, J Vitek
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
1312010
Ownership Types: A Survey
D Clarke, J Östlund, I Sergey, T Wrigstad
Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013
1232013
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...
Formal Methods for Multicore Programming, 1-56, 2015
932015
Minimal ownership for active objects
D Clarke, T Wrigstad, J Östlund, EB Johnsen
Asian Symposium on Programming Languages and Systems, 139-154, 2008
932008
Tribe: a simple virtual class calculus
D Clarke, S Drossopoulou, J Noble, T Wrigstad
Proceedings of the 6th international conference on Aspect-oriented software …, 2007
722007
Reference capabilities for concurrency control
E Castegren, T Wrigstad
ECOOP 2016, July 17–22, Rome, Italy, 2016
602016
Ownership, uniqueness, and immutability
J Östlund, T Wrigstad, D Clarke, B Åkerblom
Objects, Components, Models and Patterns: 46th International Conference …, 2008
602008
Thorn: robust, concurrent, extensible scripting on the JVM
B Bloom, J Field, N Nystrom, J Östlund, G Richards, R Strniša, J Vitek, ...
ACM SIGPLAN Notices 44 (10), 117-136, 2009
572009
Loci: Simple Thread-Locality for Java
T Wrigstad, F Pizlo, F Meawad, L Zhao, J Vitek
ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009
552009
Ownership-Based Alias Management
T Wrigstad
Phd, Royal Institute of Technology Stockholm, 2006
422006
A mode system for read-only references in Java
M Skoglund, T Wrigstad
3rd Workshop on Formal Techniques for Java Programs, Budapest, Hungary, 2001
412001
Tracing dynamic features in python programs
B Åkerblom, J Stendahl, M Tumlin, T Wrigstad
Proceedings of the 11th Working Conference on Mining Software Repositories …, 2014
402014
Aliasing in Object-oriented Programming: Types, Analysis and Verification
D Clarke, T Wrigstad, J Noble
Springer, 2013
392013
Welterweight java
J Östlund, T Wrigstad
International Conference on Modelling Techniques and Tools for Computer …, 2010
382010
External uniqueness
D Clarke, T Wrigstad
Informal Proceedings of International Workshop on Foundations of Object …, 2003
362003
Orca: GC and type system co-design for actor languages
S Clebsch, J Franco, S Drossopoulou, AM Yang, T Wrigstad, J Vitek
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
322017
The nuts and bolts of Jeepform
T Wrigstad
The Foundation Stone of Nordic Larp, 139, 2014
322014
Existential owners for ownership types
T Wrigstad, D Clarke
Journal of Object Technology 6 (4), 141-159, 2007
292007
Improving program locality in the GC using hotness
AM Yang, E Österlund, T Wrigstad
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
282020
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20