1:14:56rustc - A talk by Mark Mansi about the Rust programming language and compilermadPL2.1K views·4 years ago
58:16Composable, Sound Transformations for Nested Recursion and Loops Kirshanthan SundararajahmadPL129 views·4 years ago
1:00:55Functional Synthesis An Ideal Meeting Ground for Formal Methods and Machine Learning Kuldeep MeelmadPL479 views·5 years ago
1:00:51Objectively Measure Developers' Cognitive Activities Code, Biases, and Brains Yu HuangmadPL110 views·5 years ago
1:11:00How To Find ML Bugs That Expose Data and Bias Outcomes Matt FredriksonmadPL105 views·5 years ago
58:30Automated Testing and Precision Tuning of Numerical Software Cindy Rubio-GonzálezmadPL158 views·5 years ago
1:02:04Algorithmic Verification of String-Manipulating Programs Anthony LinmadPL137 views·5 years ago
1:04:56Programming, Debugging, and Reasoning Techniques for Posits Santosh NagarakattemadPL1.2K views·5 years ago
