Lockheed Martin / Sun Microsystems / NASA Jet Propulsion Laboratory / /
Country
United States / India / /
Currency
USD / / /
Event
Reorganization / /
Facility
Dean F. Sutherland William L. Scherlis Institute / NASA Jet Propulsion Laboratory / /
IndustryTerm
large systems / inference algorithm / prototype analysis tool / call site / particular call site / flow-insensitive analysis tool / data races using type systems / analysis results in very large systems / work-list algorithm / prototype tools / consistency checking algorithm / robot-motion-planning tool / prototype static analysis tool / simulation infrastructure / eCommerce server / software systems / larger systems / /
Organization
Dean F. Sutherland William L. Scherlis Institute for Software Research / U.S. government / National Aeronautics and Space Administration / Carnegie Mellon / /
Person
Job waitChangeJob / Dean F. Sutherland William / /
Position
Verification General / Open-source Graphic Editor / reader/writer / writer / model of thread usage policy / General / model of the thread usage policy / policy model / model of the intended policy / Eclipse program editor / /
Product
ExamineJob / DBChanger / Electric tool / Electric / /
ProgrammingLanguage
Ada / Java / Objective-C / C++ / /
RadioStation
KLOC / /
Technology
Reducing annotation density The consistency checking algorithm / chip design / Java / API / inference algorithm / simulation / work-list algorithm / GUI / /
Composable Thread Coloring ∗ Dean F. Sutherland William L. Scherlis Institute for Software Research, Carnegie Mellon