Dissertation Defenses

Rescuing Data Center Processors

Automating the Detection and Correction of Failures in Modern Persistent Memory Systems

Cognitive Modeling of Aggregate and Individual Performance on the Remote Associates Test

Leveraging the Cloud for Software Security Services

Learning to Use Memory

Information and Decision Theoretic Approaches to Problems in Active Diagnosis

On Detection of Current and Next-Generation Botnets

Uniparallel Execution and its Uses

Unsupervised Graph-Based Similarity Learning Using Heterogeneous Features

Large Scale Malware Analysis, Detection and Signature Generation

Overcoming Hard-Faults in High-Performance Microprocessors

Simplify Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis

The Optimal Reward Problem: Designing Effective Reward for Bounded Agents

Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications

Performance, Power, and Thermal Modeling and Optimization for High-Performance Computer Systems

Glass Box Software Model Checking

Delivering Affordable Fault-tolerance to Commodity Computer Systems

Near Threshold Computing: From Single-Core to Many-Core Energy Efficient Architectures

Single Mode Optical Fiber Based Devices and Systems for Mid-Infrared Light Generation, Communication and Metrology

Efficient and Robust Spectrum Management for Cognitive Radio Networks

Power-Efficient Accelerators for High-Performance Applications

Compiling Stream Applications for Heterogeneous Architectures

Database Querying Through Direct Manipulation

Identifying Roles in Social Networks Using Linguistic Analysis