Mission-critical systems are those imperative systems whose failures can result in catastrophic consequences. Traditional techniques, such as manual investigation and testing, cannot ensure the absence of errors and security vulnerabilities within these systems. This dissertation leverages formal methods to comprehensively examine several mission-critical systems and their essential components. For each...
Machine learning is seeping into every fabric in various practical domains such as autonomous driving, wearable computing, and smart buildings. However, in the actual development and integration, especially when the learning-based components are frequently included as components of large complex systems where the physical instances can be included as interactable...
Memory management and address translation need significant optimizations in order to not behindrances in the near future. Currently, plenty of work has started to address issues within the
current abstraction of the hardware-software codesign of paging. I argue that a new abstraction
is needed in order to properly address this...
Recent developments in deep learning have led to breakthroughs in rendering novel views from sparse input views of a scene.While the accuracy of these algorithms has improved dramatically, it has come at a huge computational cost.
While developments in graphics hardware have ameliorated some of the computational burdens, deep learning-based...
This research looks at the robotic shape formation problem, which is one of the fundamental problems in robotic swarm systems. Here, the task is to move a group of robots to form a user-specified shape. In this dissertation, the task of shape formation is divided to four problems: (i) using...
Security and robustness are two critical problems in modern computing system. In this disserta- tion, we study these two problems in both hardware system and learning system.Firstly, we discuss the robustness problem in hardware system. Modern microprocessors suffer from significant on-chip variation at the advanced technology nodes. The development of...
We address the problem of efficient maintenance of the answer to a new type of query: Continuous Maximizing Range-Sum (Co-MaxRS) for moving objects trajectories. The traditional static/spatial MaxRS problem finds a location for placing the centroid of a given (axes-parallel) rectangle $R$ so that the sum of the weights of...
Abstract The work presented in this dissertation addresses three broad areas of video signal processing: video transmission, motion estimation and error concealment. In the first category, focused on the source-side, we present two machine learning models for efficient content-aware resource allocation and packet prioritization for video transmission over shared/constrained, lossy...