Faculty Candidate Seminars

Motion Planning for Legged Robots on Irregular and Steep Terrain

Scalable Automated Methods for Software Reliability

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

Efficient Query Processing for Modern Data Management

Repeated Decision Making and Online Optimization

Modular Static Analysis with Sets and Relations

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

Finding the Shortest Path

The adaptive k-armed bandit

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

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

Theoretical challenges in the design of advertisement auctions

Cryptography with Noisy Data

What we can solve with a sublinear number of samples

A Novel Approach to Planning for Physical Systems

AEGIS: Architectural EnGine for Information Security

Toward Introspective and Adaptive system Architectures

Declarative Networking: Extensible Networks with Declarative Queries

Human Computation