Digital Equipment Corp. / HP Inc. / Verified Software / Compaq / VMWare Inc. / Intel Inc. / /
Country
United States / Spain / /
Currency
USD / ATS / / /
Facility
University of Hawaii / Computer Science Department Boston University / Progress Matthew Danish Hongwei Xi Computer Science Department Boston University / /
IndustryTerm
legacy software / communications channels / software protection model / software isolation / basic algorithm / system software reliability / systems software / basic hardware / Examples encoding deduction systems / type systems / software-based protection / /
OperatingSystem
Linux / Singularity / SPIN / /
Organization
National Science Foundation / USENIX Association / Association for Computing Machinery / University of Hawaii / Boston University / /
Person
Adam Petcher / David Becker / Jochen Liedtke / Gabriel Parmer / Ilya Bagrak / Larry Paulson / Kenneth C. Knowlton / Dirk Leinenbach / Andrew Tolmach / James Cheney / Marc Fiuczynski / Gary Wong / Todd Schiller / Dan Grossman / Bryce Denny / Luca Cardelli / Norbert W. Schirmer / Westley Weimer / Michael W. Hicks / George C. Necula / Susan Eggers / Rui Shi / Swaroop Sridhar / Craig Chambers / Aaron Stump / Eyad Alkassar / Guru / Stefan Savage / Trevor Jim / Gun Sirer / Timothy Simpson / J. Greg Morrisett / Zachary Anderson / Scott McPeak / Christophe Bothamy / Jeremy Condit / Matthias Blume / Galen C. Hunt / Scott F. Smith / Matthew Harren / Thomas Hallgren / Brian N. Bershad / Rebekah Leslie / David Gay / Artem Starostin / James R. Larus / Richard West / Lars Birkedal / Jonathan S. Shapiro / Yanling Wang / Kevin Elphinstone / Greg Morrisett / Aleksandar Nanevski / Mark P. Jones / Avraham Shinnar / Paul Govereau / Rob Ennals / Mark A. Hillebrand / Tobias Nipkow / Hugo Herbelin / Donald Becker / Simon Marlow / Simon Peyton-Jones / /
Operating System Development with ATS Work in Progress Matthew Danish Hongwei Xi