CyLab Seminar
Anonymous
CyLab Seminar Panther Hollow Conference, Mehrabian Collaborative Innovation Center 4105 Anonymous (not verified) Wed, 09/06/2023 - 12:00 In Person and Virtual - ET
Program Analysis in the Face of Uncertainty
ARLEN COX, ANDREW RUEF Arlen Cox is a research staff member at the Institute for Defense Analyses / Center for Computing Sciences whose PhD focused on abstract interpretation, static analysis, formal methods, and programming languages. Andrew Ruef is a c