3 papers
cs.PF2020
Optimal Resource Allocation for Elastic and Inelastic Jobs
Benjamin Berg, Mor Harchol-Balter, Benjamin Moseley +2
Modern data centers are tasked with processing heterogeneous workloads consisting of various classes of jobs. These classes differ in their arrival rates, size distributions, and j…
cs.LG2018
Efficient Formal Safety Analysis of Neural Networks
Shiqi Wang, Kexin Pei, Justin Whitehouse +2
Neural networks are increasingly deployed in real-world safety-critical domains such as autonomous driving, aircraft collision avoidance, and malware detection. However, these netw…
cs.AI2018
Formal Security Analysis of Neural Networks using Symbolic Intervals
Shiqi Wang, Kexin Pei, Justin Whitehouse +2
Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world security-critical domains including autonomous vehicles and collision avoidance systems, formally chec…