Faculty Candidate Seminars

Human Computation

Declarative Networking: Extensible Networks with Declarative Queries

Toward Introspective and Adaptive system Architectures

AEGIS: Architectural EnGine for Information Security

A Novel Approach to Planning for Physical Systems

What we can solve with a sublinear number of samples

Cryptography with Noisy Data

Theoretical challenges in the design of advertisement auctions

SSH Proofs, TCP Leaks, and Not-so-AccuVotes: Comuter Security from Proofs to People

Two Sides of Intrusion Detection: Strengthening and Attacking Model-Based Detectors

The adaptive k-armed bandit

Finding the Shortest Path

How Accurate are our Maps of the Internet? The Bias of Traceroute Sampling

Modular Static Analysis with Sets and Relations

Repeated Decision Making and Online Optimization

Efficient Query Processing for Modern Data Management

Merrimac – High-Performance Highly-Efficient Scientific Computing with Streams

Scalable Automated Methods for Software Reliability

Motion Planning for Legged Robots on Irregular and Steep Terrain