Sriram K. Rajamani. Models and programs: better together (keynote). In Hridesh Rajan, editor, SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, Companion Volume. pages 1, ACM, 2020. [doi]
Abstract is missing.