#7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work

Building Better Systems

コンテンツは Galois Inc., Joey Dodds, and Shpat Morina によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Galois Inc., Joey Dodds, and Shpat Morina またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作物をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

3+ y ago 1:13:38

MP3•エピソードのホーム

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/

22 つのエピソード