40:02

Fitzcarraldo — or How to Hack Academia to Build Stuff

ACM SIGPLAN

40:04

Catching More Bugs with Fewer False Alarms

ACM SIGPLAN

52:48

Testing Deep Neural Networks

ACM SIGPLAN

1:10:11

Models and Programs: Better Together

ACM SIGPLAN

1:34:34

Why Digital Agriculture is Fertile Ground for Software Systems Research

ACM SIGPLAN