Baskar Sridharan

Learn More
Using a large Web search service as a case study, we highlight the challenges that modern Web services face in understanding and diagnosing the response time experienced by users. We show that search response time (SRT) varies widely over time and also exhibits counter-intuitive behavior. It is actually higher during off-peak hours, when the query load is(More)
A collection of one or more devices, each described by its digital device manual and reachable over a network, is a ConnectedSpace. A set of safety policies may be enforced on a ConnectedSpace to ensure the safety of the environment in which the ConnectedSpace is deployed. The enforcement of these safety policies by one or more safely controllers governs(More)
A collection of one or more devices, each described by their Digital Device Manual and reachable over a network, is a ConnectedSpace. A set of policies may be enforced on the ConnectedSpace to ensure its safe behavior. Such safety policies are monitored and enforced by a safety controller. We show how a safety controller is synthesized by expressing the(More)
Azure Data Lake Store (ADLS) is a fully-managed, elastic, scalable, and secure file system that supports Hadoop distributed file system (HDFS) and Cosmos semantics. It is specifically designed and optimized for a broad spectrum of Big Data analytics that depend on a very high degree of parallel reads and writes, as well as collocation of compute and data(More)
A collection of one or more devices, each described by its Digital Device Manual and reachable over 0. network, is a ConnectedSpace. The behavior of each device is expressed using an extended finite state machine. A set of policies may be enforced on the ConnecledSpace to ensure its safe behavior. Such safety policies are monitored and enforced by a safety(More)
  • 1