Invited talk at Rebooting Conference

Prof. Shobha Vasudevan gave a presentation on “Verification in the era of machine learning” at the International Conference of Rebooting Computing. Read my paper here.