University of Madison-Wisconsin / Generic Shape Analysis Mooly Sagiv Tel Aviv University / Stanford University / /
IndustryTerm
sound solution / shape analysis algorithm / /
Organization
Tel Aviv University / University of Madison-Wisconsin / Stanford University / /
Person
Reinhard Wilhelm / Alexey Loginov / Bill McCloskey / Akash Lal / Noam Rinetzky / Tal Lev-Ami / Greta Yorsh / Roman Manevich / Eran Yahav / Igor Bogodlov / Tom Reps / Denis Gopan / John Field / /