Computer Science Department University of Michigan / Stanford University / Massachusetts Institute of Technology / /
IndustryTerm
software upgrades / deadlock-free type systems / region-based memory management / trusted computing base / type systems / software engineering benefits / /
Organization
University of Michigan / Ann Arbor / Stanford University / Massachusetts Institute of Technology / /
Person
Futoshi Iwama / Stephen N. Freund / Chandrasekhar Boyapati / William Beebee / Jr. / Cormac Flanagan / Valentin Kostadinov / William Pugh / James Noble / David G. Clarke / Peter Bertelsen / Raymie Stata / John C. Mitchell / Matthias Felleisen / Dan Grossman / Martin Abadi / Naoki Kobayashi / John M. Potter / Alexandru Salcianu / Jonathan Aldrich / Frank Yellin / Sophia Drossopoulou / Matthew Flatt / Ashis Tarafdar / Neel Krishnaswamy / Gerwin Klein / Steven Richman / Barbara Liskov / Guy Steele / James Gosling / Tim Lindholm / Anindya Banerjee / David A. Naumann / Robert Lee / Martin Wildmoser / Craig Chambers / Robert E. Strom / Martin Rinard / Liuba Shrira / David F. Bacon / Shriram Krishnamurthi / Chuang-Hue Moh / Bill Joy / /
ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), June[removed]A Type System for Preventing Data Races and Deadlocks in the Java Virtual Machine Language Pratibha Permandla