All Seminars

Building Virtual Networks for Experimentation and Profit

Probabilistic Robotics with Applications To Navigation

An Exploratory Model of Language Acquisition and Evolution

A Strategic Model for Information Markets

TOSCA: A new biologically-inspired cognitive architecture

Recent results in the search for new quantum algorithms

A Global Geometric Framework for Nonlinear Dimensionality Reduction

Nonparametric Anomaly Prediction and Discovery

Publish and Perish

Graduate Student Presentations

An Optimal Binary Search Tree?

Autonomous Bidding Agents: Strategies and Lessons from the Trading Agent Competition **

Synthesis, Verification, and Test Reading Group

Autonomy Augmentation to improve

Computer Architecture Research: Some Criticisms and Some Opportunities

Niagara 2 and Paralleo Programing with Transactional Memory

Slaying Trolls: Market Based Patent Reform and High Tech Inventors

How Does Miss Clustering Affect The Cost of A Cache Miss

Automated Test Generation Using a Constraint Solver

High-Performance Peer-to-Peer Overlays, or, Heuristics Considered Harmful

DipZoom: An Internet Measurements Marketplace

Human Computation

PADS: An End-to-end System for Processing Ad Hoc Data

An Efficient and Scalable Approach to CNN Queries in a Road Network

Resource Allocation with MDP-Induced Preferences

Practical Issues in Mechanism Design

Multiple Instruction Stream Processor

Declarative Networking: Extensible Networks with Declarative Queries

Decentralized Control and Optimization Techniques for Autonomic Performance Management of Distributed Computing Systems

Toward Introspective and Adaptive system Architectures

Unifying Cognitive Processing, Appraisal and Emotion

AEGIS: Architectural EnGine for Information Security

The future of virtualization at Microsoft

A Novel Approach to Planning for Physical Systems

What we can solve with a sublinear number of samples

Cryptography with Noisy Data

Bayesian Logistic Regression in Text Classification and Mining (Plus A Big New Test Collection)

Controlled Predictive State Models for Dynamical Systems with Continuous Observations

Theoretical challenges in the design of advertisement auctions

Using Empirical Game Theory to Analyze Four-Player Chaturanga

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

On Mediating Policies

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

The adaptive k-armed bandit

Finding the Shortest Path

Incorporating Mental Imagery into a Cognitive Architecture

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

Thermal Design and Gate Sizing for Fin FETs

Efficient Query Processing for Modern Data Management

Investigating a Multi-Device Framework for Collaborative Inquiry Learning

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

Scalable Automated Methods for Software Reliability

Kernel Predictive Linear Gaussian Models for Nonlinear Stochastic Dynamical Systems

The Binaural Display of Reverberant Space using MIMO State-Space Systems

Motion Planning for Legged Robots on Irregular and Steep Terrain

Fault Diagnosis and Logic Debugging Using Boolean Satisfiability