Dissertation Defenses

Techniques for Hybrid Electric Vehicle Controller Synthesis

Efficient Quantum Circuit Simulation

Execution Replay for Intrusion Analysis

Constructive Logic and Layout Synthesis

Improving Performance and Energy Consumption in Region-Based Caching Architectures

Exploiting Unused Storage Resources to Enhance System's Energy Efficiency, Performance, and Fault Tolerance

Analyzing Intrusions Using Operating System Level Information Flow

Algorithms for Satisfiability Problems in Linear Integer Arithmetic Logic

Accurate Interconnect Modeling for Efficient Circuit Simulation in VLSI Chip Design

Structure-driven Algorithms for Equivalence Verification and Infeasibility Checking

Inference Methods for Message Endpoint Localization in Networks

Supporting Representation Construction in Sensemaking

Modeling and design of low-power VLSI systems accounting for multiple sources of uncertainty

Efficient evaluation of XML queries in Timber

Providing Efficient and Reliable End-host Multicast Services on the Internet

A Scalable Hybrid Network Monitoring Architecture for Measuring,Characterizing, and Tracking Internet Threat Dynamics

Player Modeling in the Interactive Drama Architecture

Integrated Resource Allocation and Planning in Stochastic Multiagent Environments

Reliable and Energy-Efficient Wireless Sensor Networks for Surveillance and Monitoring

An Economic-Based Empirical Approach To Modeling the Internet's Inter-Domain Topology and Traffic Matrix