Geneva / Galilee / Oslo / Boston / New York / Washington / DC / New Orleans / /
Company
MIT Laboratory / ACM Press / Addison-Wesley Longman Publishing Co. Inc. / Needham / /
Country
Netherlands / Norway / United States / Israel / / /
Facility
University of New South Wales / Rensselaer Polytechnic Institute / this /
IndustryTerm
physical processor / compiler infrastructure / resource accounting boundaries / web browser / ownership type systems / job processing / resource accounting / tools infrastructure / path finding algorithm / type systems / less intrusive type systems / /
OperatingSystem
Linux / /
Organization
Stockholm University / MIT / University of New South Wales / Computer Science Department / Rensselaer Polytechnic Institute / Texas A&M University / IEEE Computer Society / /
Person
Junghwan Rhee / John Hogg / Robert Biddle / Arnd Poetzsch-Heffter / K. Rustan M. Leino / Bart Jacobs / Jonathan Aldrich / Alan Wills / Dave Clarke / Sophia Drossopoulou / Steven Richman / Dennis deChampeaux / David Gerard Clarke / Robert Lee / Craig Chambers / Emmett Witchel / Wolfram Schulte / Liuba Shrira / Krste Asanovic / Chuang-Hue Moh / William Beebee / Alex Potanin / Chandrasekhar Boyapati / Alexandru Salcianu / Jr. / Valentin Kostadinov / Doug Lea / Jan Vitek / James Noble / Frank Piessens / Werner Dietl / Jan Smans / IFIP TC / Richard Holt / Gary T. Leavens / Philip Wadler / Job Guest / Barbara Liskov / Martin Rinard / Boris Bokowski / Tobias Wrigstad / Luke Wagner Jaakko / /
Position
editor / guard / class Worker / General / player / statically verifiable programming model for concurrent objectoriented programs / programmer / /
ProgrammingLanguage
Java / J / DC / C++ / /
ProvinceOrState
Louisiana / New York / New South Wales / /
PublishedMedium
Lecture Notes in Computer Science / /
Region
South Wales / North Holland / /
Technology
object-oriented programming / Linux / API / same physical processor / possibly expensive algorithm / path finding algorithm / operating system / Technology of Object-Oriented Languages / shared memory / Operating systems / Object Technology / artificial intelligence / Java / /
Using ownership types to support library aliasing boundaries Luke Wagner Jaakko J¨arvi Bjarne Stroustrup