Dissertation Defenses

Systems for Challenged Network Environments

Correct Communication in Multi-Core Processors

Characterization and Optimization of Resource Utilization for Cellular Networks

Scalable Interconnect Architectures for Many-Core Systems

Discover, Analyze, and Validate Attacks With Introspective Side Channels

Wireless Testing of Integrated Circuits

Effective and Efficient Memory for Generally Intelligent Agents

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

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

Improving Software Configuration Troubleshooting with Causality Analysis

Speculative Execution Across Layers

Hardware Mechanisms for Distributed Dynamic Software Analysis

Provenance in Modifiable Datasets

Probabilistic Methods for Analyzing and Simulating Digital Circuits

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

Distributed Approaches for Solving Constraint-based Multiagent Scheduling Problems

Graphical Multiagent Models

Using Collective Discourse to Generate Surveys of Scientific Paradigms

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

Security and Collaboration Protocols for Mobile and Sensor Networks

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

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

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