multi-million line software systems / larger applications / sound verification tools / large systems / inference algorithm / call site / large applications / software tools / function call site / computing / allocation site / /
Organization
Brian Hackett Alex Aiken Computer Science Department / Stanford University / /
Person
Brian Hackett Alex Aiken / / /
Position
engine list head / guard / using head / satisfiable guard / *head / representative / head of list / /
ProgrammingLanguage
E / SQL / C / /
ProvinceOrState
Oregon / /
Technology
DNS / unix / inference algorithm / checking algorithm / dom / ssl / /