High-level synthesis has accelerated the adoption of autotuners to explore design spaces. Design-space size increases exponentially in the number of design parameters, and synthesizing a single configuration for a device-scale application easily consumes hours, so existing autotuners are frequently demonstrated with small kernels and few configurations to render the problem tractable. This dissertation shows that […]

Signal Temporal Logic (STL) is a common way to express a broad range of real-time constraints that can be imposed on control systems. Spatial robustness of STL specifications, quantifying permissible spatial perturbations, has been widely studied in the literature. However, despite the importance of various time-critical systems, temporal robustness of STL has not yet been […]

Epidemiological spreading processes constitute the core of a large number of disparate networks. In some, faster spread is desirable, in others containing the spread is critically important. We focus on understanding the spatio-temporal spread of epidemics over contact networks with the goal of facilitating or containing the spread as the case may be. In this […]