Dissertation Defenses

Identifying Roles in Social Networks Using Linguistic Analysis

Database Querying Through Direct Manipulation

Compiling Stream Applications for Heterogeneous Architectures

Power-Efficient Accelerators for High-Performance Applications

Efficient and Robust Spectrum Management for Cognitive Radio Networks

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

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

Delivering Affordable Fault-tolerance to Commodity Computer Systems

Glass Box Software Model Checking

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

Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications

The Optimal Reward Problem: Designing Effective Reward for Bounded Agents

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

Overcoming Hard-Faults in High-Performance Microprocessors

Large Scale Malware Analysis, Detection and Signature Generation

Unsupervised Graph-Based Similarity Learning Using Heterogeneous Features

Uniparallel Execution and its Uses

On Detection of Current and Next-Generation Botnets

Information and Decision Theoretic Approaches to Problems in Active Diagnosis

Learning to Use Memory

Leveraging the Cloud for Software Security Services