Player FM 앱으로 오프라인으로 전환하세요!
#7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work
Manage episode 288985734 series 2824530
Dr. Aditya Thakur, a computer science professor at U.C. Davis, walks us through his work on developing analysis tools that he wished he had while working in industry at places like Google. Aside from program analysis, we talk about making a research group successful by exposing them to industry. Towards the end, he shares his work on techniques and tools for repairing a trained deep neural network once a mistake has been discovered. Along the way, we learn about things like abstract interpretation, non-determinism, the trickiness of parallelism, and other concepts pertinent to analysis in an approachable way.
You can watch this episode on our Youtube Channel: https://youtube.com/c/BuildingBetterSystemsPodcast
Joey Dodds: https://galois.com/team/joey-dodds/
Shpat Morina: https://galois.com/team/shpat-morina/
Aditya Thakur: http://thakur.cs.ucdavis.edu/
Galois, Inc.: https://galois.com/
Contact us: podcast@galois.com
22 에피소드
Manage episode 288985734 series 2824530
Dr. Aditya Thakur, a computer science professor at U.C. Davis, walks us through his work on developing analysis tools that he wished he had while working in industry at places like Google. Aside from program analysis, we talk about making a research group successful by exposing them to industry. Towards the end, he shares his work on techniques and tools for repairing a trained deep neural network once a mistake has been discovered. Along the way, we learn about things like abstract interpretation, non-determinism, the trickiness of parallelism, and other concepts pertinent to analysis in an approachable way.
You can watch this episode on our Youtube Channel: https://youtube.com/c/BuildingBetterSystemsPodcast
Joey Dodds: https://galois.com/team/joey-dodds/
Shpat Morina: https://galois.com/team/shpat-morina/
Aditya Thakur: http://thakur.cs.ucdavis.edu/
Galois, Inc.: https://galois.com/
Contact us: podcast@galois.com
22 에피소드
모든 에피소드
×플레이어 FM에 오신것을 환영합니다!
플레이어 FM은 웹에서 고품질 팟캐스트를 검색하여 지금 바로 즐길 수 있도록 합니다. 최고의 팟캐스트 앱이며 Android, iPhone 및 웹에서도 작동합니다. 장치 간 구독 동기화를 위해 가입하세요.