Galilee / San Francisco / Tucson / San Antonio / Montreal / Petersburg Beach / Asheville / Paris / Pittsburgh / Portland / St. Petersburg / Orlando / Seattle / Boston / Baltimore / New York / La Jolla / New Orleans / Gdansk / Charleston / San Diego / /
Company
Cambridge University Press / McGraw-Hill / MIT Laboratory / Copper Mountain / CPS / /
Country
Netherlands / Israel / Poland / /
Event
Reorganization / M&A / /
Facility
University of Copenhagen / Newton Institute / Carnegie Mellon University / Cornell University / /
IndustryTerm
capability systems / monadic type systems / language technology / software-based fault isolation / effects systems / Region-based type systems / systems software / language technologies / web browsers / effect systems / unverified software / region inference algorithm / dynamic systems / hybrid systems / language using known region inference algorithms / memory management / /
OperatingSystem
SPIN / /
Organization
Cambridge University / Cornell University / School of Computer Science / Carnegie Mellon University / MIT / Department of Computer Science / University of Copenhagen / Newton Institute / /
Person
George Necula / Karl Crary / Robert Wahbe / Dan Grossman / Karl Crary Carnegie / David Walker / Simon L. Peyton / J. M. Lucassen / Rakesh Ghiya / Susan Eggers / Alexander Aiken / Steven Lucco / Eugenio Moggi / Craig Chambers / Fred Smith / Deyu Hu / Stephanie Weirich / Stefan Savage / Mads Tofte / Steve Zdancewic / D. K. Gifford / Dexter Kozen / Grzegorz Czajkowski / David Gay / Thorsten von Eicken / Greg Morrisett / Martin Elsman / Neal Glew / David N. Turner / L. Peyton Jones / Jean-Pierre Talpin / Emin Sirer / Chi-Chao Chang / Peter Lee / David Becker / Marc Fiuczynski / Nick Rothwell / John C. Reynolds / Andrew K. Wright / Pierre Jouvelot / Przemyslaw Pardyak / Laurie J. Hendren / John M. Lucassen / Robert Harper / Chris Hawblitzel / Gifford / Tim Lindholm / Magnus Vejlstrup / John Launchbury / Jean-Yves Girard / Matthias Felleisen / Alain Deutsch / Susan Graham / Frank Yellin / Lars Birkedal / Philip Wadler / Alex Aiken / Thomas Anderson / /
Position
trusted garbage collector / programmer / garbage collector / first author was / /
Product
Capability Calculus / /
ProgrammingLanguage
Java / Lisp / Modula-3 / C / Assembly Language / ML / /
ProvinceOrState
New York / South Carolina / California / Arizona / Texas / Oregon / Pennsylvania / Florida / Massachusetts / /
PublishedMedium
Theoretical Computer Science / /
Region
North Holland / /
Technology
Functional Programming / programming language technology / operating system / Java / language technology / Dom / region inference algorithm / Alpha / Virtual Machine / Operating systems / language technologies / language using known region inference algorithms / /
Typed Memory Management in a Calculus of Capabilitiesā Karl Crary Carnegie Mellon University David Walker Cornell University