Systems Seminars

Towards Collaborative Autonomy

Persistent Memory Programming on Conventional Hardware

DEI Speaker Series – How the Stock Market is a Cryptography Problem (and no, this isn’t about cryptocurrency)

The End of Testing? The Promise of Verification-Driven Software Engineering

The Demikernel Datapath Architecture for Microsecond-scale Datacenter Systems

The Challenge of Autonomy

Towards Building Internet of Vehicles

Addressing challenges in real-time perception processing for automated driving

Addressing challenges in real-time perception processing for automated driving

Feedback-Driven Processors

Supercharge analytics over large IoT data: an OS approach

Scaling database systems to high-performance computers

Seven Things: Frank Zappa, T. Coraghasen Boyle, and Twenty-one Years in Security

Model-driven network management

wPerf: Generic Off-CPU Analysis to Identify Bottleneck Waiting Events

Screaming Channels: When Electromagnetic Side Channels Meet Radio Transceivers

Backtracking System Intrusions at Enterprise Scale

Make Your Database Dream of Electric Sheep: Designing for Autonomous Operation

Inferring Insertion Times in Bloom Filters

How the IIoT Makes Cars Autonomous, Medical Systems Smart, and Energy Renewable

Fixing healthcare IT

GAON: General-purpose Application Offload to Near-Network Processors

Vehicular communications A broad overview

Securing Physically Unclonable Functions

Reliably Managing Unreliable Data

Global Measurement of DNS Manipulation

Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis

Influence Maximization (IM) on Social Networks: The State-of-the-Art and the Gaps that Remain

Defending dissidents against targeted digital surveillance

Data-driven Serendipity Navigation in Urban Places

Kraken: Leveraging Live Traffic Tests to Identify and Resolve Resource Utilization Bottlenecks in Large Scale Web Services

What New Bugs Live in the Cloud? (and How to Exterminate Them)

Rethinking the Database for the Data Science Era

Building and Interacting with Domain-Specific Knowledge Bases

The Moral Character of Cryptographic Work

Computer security: I think we can win!

Marrying Generational GC and Region Techniques for High-Throughput, Low-Latency Big Data Memory Management

Majority Spanning Trees, Cotrees and Their Applications

Provisioning Queries and Analytics

Some Topics in Model-Data Ecosystems

The journey from faster to better

Supporting Visual Analytics with Scalable Visualization Recommendations

Microsoft Research India Overview

I Don&#39t Want to be the Mitt Romney of Databases

Internet privacy: Towards more transparency

Really Catching Click-Fraud

Real Time Analytics@Twitter

Battery-in-the-Loop: Battery-Aware Energy Management in Cyber-Physical Systems

Cybersecurity for Industrial Control Systems (and Introduction to RISEC/AIST)

Doppelgänger Finder: Taking Stylometry To The Underground

Current events in Tor

Large Scale Machine Learning with the SimSQL System

The Password That Never Was

Software Architecture For Embedded Vehicle Control

Energy-Efficient Congestion Control

Develop Electrical Control Systems As Cyber-Physical Systems For Next Generation Automobiles

Real-Time Embedded Software in Aerospace Applications

SRAM fingerprinting using power-up state and minimum data retention voltages

Practical systems for overcoming processor imperfections

Combinatorial Solutions for the Generalized Russian Cards Problem

Privacy-Preserving Ridge Regression on Hundreds of Millions of Records

The Paradoxes of Network Security in the Medical Environment

Medical Devices: Introduction to Risk Management

Cyber War, Cyber Peace, Stones, and Glass Houses

Bug Parades, Zombies, and the BSIMM: A Decade of Software Security

Flat Datacenter Storage

Modular Programming for Software Defined Networks

The Impact of Big Data and IoT on Service and Network Management

Qualcomm Innovation Fellowship Info Session

The Great Indoors: The Next Frontier in Location-Based Services

The Rise of Smart Systems

Iago Attacks: Why The System Call API Is a Bad Untrusted RPC Interface

Visualizing Time and Sequence Data

Computing for Development: A New High Impact Research Area

Extreme Scale Visual Analytics

Information Diffusion in Online Social Networks: From Analyzing Trends to Stopping Misinformation

High-Dimensional Similarity Search for Large Datasets

Ultra Scalable Messaging Systems

Improving the Performance and Robustness of Web Applications

Semantic Integration of Real World Data

Security Problems in India's Electronic Voting System

Better Architectures and New Security Applications for Coarse Network Monitoring

Logic-based, data-driven enterprise network security analysis

Using Road Side Units as Delegates for accessing and delivering data to users anywhere in the VANET

From users to energy-efficient mobile Internet

Blacklisting and Filtering Sources of Malicious Traffic

Towards Systematic Design and Configuration of Enterprise Networks

Rivers of Rodents, Lots of Bots, and Cavalcades of Canines: Crowd Simulation at Pixar Animation Studios

Massively Multiplayer Online Games and Virtual Worlds as Macroscopes of Human Behavior

Techniques for Implementing a Persistent, Deduplicating Cache in Flash Memory

TrInc: Small Trusted Hardware for Large Distributed Systems

Botnets and Stepping Stones: Applications of Encrypted Traffic Analysis

Building Systems That Enforce Measurable Security Goals

Preventing Attacks on Web Applications by Learning and Enforcing Intentions

Data Center Challenges: Building Networks for Agility

Helios: Heterogeneous Multiprocessing with Satellite Kernels (To appear at SOSP 2009)

Designing and implementing secure web browsers

Scalable Integrity-Justified Content Provenance

It's the Content, Stupid. How Content is driving Network Evolution.

Provenance for Database Transformations

Nericell: Rich Monitoring of Road and Traffic Conditions using Mobile Smartphones

Designing a Virtual Information Telescope Using Mobile Phones and Social Participation

Coming to Grips with Live Attackers

Challenges in providing online advertising technology solutions

Rethinking Network Protocol Design for Large Scale Sensor Networks

Efficient Pattern Mining across DNA Sequences

Improving Device Drivers for Real-Time Systems

Wizards and Fruitflies — Using Eternal and Ephemeral Overlays for Monitoring Distributed Systems

Processing Web-Scale Data with Pig

Systematic Testing of Software with Structurally Complex Inputs

Whither Wireless

Technologically Smart IP Based Services

Statically Verifying Software Safety Properties with Tracematches

Nanoscale MOS Device Modeling

Autonomously Secure Disks

Simplifying Cyber Foraging for Mobile Devices

Wireless Multimedia Sensor Networks (Muse-Net): Multimedia Communication and Processing in WSNs

Vertical Perimeters: Virtualizable Architecture for High Performance Network Stack

Lessons Learned From The Internet Project

Statically Verifying Software Safety Properties with Tracematches

Building Virtual Networks for Experimentation and Profit

Automated Test Generation Using a Constraint Solver

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

DipZoom: An Internet Measurements Marketplace

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

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

Multiple Instruction Stream Processor

The future of virtualization at Microsoft

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

ARTS: Available, Robust and Trustworthy Software

Quartermaster: A Resource Utility System

Seaweed: Distributed Scalable Query Optimization

A Routing Control Platform for IP Networks

Bots and Botnets – The Automation of Computer Network Attack

Shilling Recommender Systems for Fun and Profit

Malleable Network Processors

Transitional Pervasive Computing – Identifying the opportunities and challenges for seamless mobility

Diamond: A System for Brute-force Interactive Search

Incentive Mechanisms for Anonymous Communication

Context Awareness without Privacy Destruction

Hardware Acceleration and associated Algorithms for Packet searches

Quantum Speed-up of Markov Chain Based Algorithms

PlanetSeer: Internet Path Failure Monitoring and Characterization in Wide-Area Services

Origin Authentication in Interdomain Routing

Co-operation in the corporation: distributed enterprise networkmanagement

Overview of Recent Internet Worm Activity

Supporting Suffix trees within Database Systems

A (Grand?) Unified Theory of Storage Reclamation

Scheduling High Speed Wireless Data in an Adversarial Environment

Toward Distributed Intrusion Detection

Frequency Analysis of Protocols

The Risks of Electronic Voting

Atomicity Analysis for Multithreaded Programs

Samsara: honor among thieves in peer-to-peer storage

Backtracking Intrusions

Fun and Progress with Security Analysis Tools

Operating System Support for Virtual Machines

SkipNet: A Scalable Overlay Network with Practical Locality Properties

The Disk is Dead! Long Live the Disk!

Self-Securing Devices:Better Security via Smarter Devices

Revirt: Enabling Intrusion Analysis through Virtual-Machine Logging

Security Research at IBM

Pastiche: Making Backup Cheap and Easy

Semantically-Smart Disk Systems

tbd

What's Happening at Microsoft Research in Silicon Valley?

A Peek at the DB2 Optimizer Skunkworks

XML Selectivity Estimation and Dynamic Data Caching

EXPERIENCE WITH GRAY-BOX SYSTEMS

Clio: Translating Web Data