37:00Prof. Martin Vechev (ETH), INSAIT 2022 Conference: Provably Fair and Robust Machine LearningINSAIT Institute548 viewsView & Download
28:35Reliable and Interpretable Artificial Intelligence - Martin VechevETH WSCR743 viewsView & Download
45:07"Learning to Analyze Programs at Scale" Martin Vechev | FLOC 2018Conference on Computer-Aided Verification384 viewsView & Download
44:54Commutativity Race Detection: Concepts, Algorithms and Open Problems - Martin VechevETH WSCR255 viewsView & Download
1:01:30Can Programming Languages Research impact Deep Learning 2.0?ACM SIGPLAN2.6K viewsView & Download
10:19Prof. Martin Vechev, Architect of INSAIT - The Vision of INSAIT (voice: Bulgarian, caption: English)INSAIT Institute771 viewsView & Download
31:50Turning Sofia into MIT: the story behind INSAIT with Martin VechevThe Recursive1.5K viewsView & Download
36:36Race Detection for Event Driven Apps, Martin VechevWorkshop on Software Correctness and Reliability 2013670 viewsView & Download