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

High-performance Global Routing for Trillion-gate Systems-on-Chips

Zydeco: Exploring How Mobile Technology Can Scaffold Student Multimedia Data Collection and Use for Science Inquiry

Multi-objective Placement Optimization For High-performance Nanoscale Integrated Circuits

Security and Collaboration Protocols for Mobile and Sensor Networks

Power, Interconnect, and Reliability Techniques for Large Scale Integrated Circuits

Using Collective Discourse to Generate Surveys of Scientific Paradigms

Graphical Multiagent Models

Distributed Approaches for Solving Constraint-based Multiagent Scheduling Problems

MAC/PHY Co-Design of CSMA Wireless Networks Using Software Radios

Probabilistic Methods for Analyzing and Simulating Digital Circuits

Provenance in Modifiable Datasets

Hardware Mechanisms for Distributed Dynamic Software Analysis

Speculative Execution Across Layers

Improving Software Configuration Troubleshooting with Causality Analysis

Interface Design Implications for Recalling the Spatial Configuration of Virtual Auditory Environments

The Analysis, Modeling and Detection of Botnet-based Hosting Services and Future Threats

Effective and Efficient Memory for Generally Intelligent Agents

Wireless Testing of Integrated Circuits

Discover, Analyze, and Validate Attacks With Introspective Side Channels

Scalable Interconnect Architectures for Many-Core Systems

Characterization and Optimization of Resource Utilization for Cellular Networks

Correct Communication in Multi-Core Processors

Systems for Challenged Network Environments