bug detection tools / unsound bug finding tools / unsound type systems / analysis applications / type systems / bug detection systems / static type systems / particular applications / sound type systems / unsound tools / sound systems / /
Organization
Stanford University Stanford / /
Person
Mayur Naik Brian Hackett Alex / Brian Hackett Alex Aiken / /