NASA Ames Research Center / Martin Rinard2 University of California at Irvine / /
IndustryTerm
software system / hostile server / malicious server / software failures / Internet domain / log-structured file systems / Internet infrastructure / software errors / Internet services / invariant detection tool / air-traffic control tools / vulnerable server / software error detection / vulnerable caching server / constraint systems / corrupted software system / repair tool / software systems / automatic consistency constraint generation algorithm / flight plan processing / recovery systems / dynamic analysis tool / Internet name server / generate-and-check algorithm / integrity management systems / open-source software suite / translation algorithm / automatic specification generation tool / repair algorithm / map generation algorithm / 5ESS telephone switch / enforcement tools / Internet service / authoritative server / /
OperatingSystem
Linux / /
Organization
University of California / MIT / BIND Domain Name Service / USA MIT Computer Science and Artificial Intelligence Lab / NASA Ames Research Center / /
Person
Red Team / Partial Daikon / Lee Badger / / /
Position
guard / air-traffic controller / rdata.head / rdataset.private1.rdata.head / model / and producing constraints over the relations / unified lattice model for static analysis / controller / programmer / /
Product
Fault Injection / runs / flight plan / /
ProgrammingLanguage
Java / C / php / /
ProvinceOrState
Maine / California / /
Technology
SOA / Object-Oriented Programming / Abstraction Our algorithm / 1.2 Arrays The algorithm / map generation algorithm / Linux / API / repair algorithm / translation algorithm / operating system / generate-and-check algorithm / Data Structure Repair The repair algorithm / DNS protocol / public key / DNS / Java / automatic consistency constraint generation algorithm / caching / /
Inference and enforcement of data structure consistency specifications Brian Demsky1 , Michael D. Ernst2 , Philip J. Guo2 , Stephen McCamant2 , Jeff H. Perkins2 , Martin Rinard2 University of California at Irvine, Irvine