Upcoming Events

Or Zamir: Algorithmic Applications of Hypergraph and Partition Containers

Intelligent Mobile Systems for Equitable Healthcare

Crafting Machine Learning Defenses against Adversaries

The Design of a General-Purpose Distributed Execution System

AI for Public Health: Epidemic Forecasting Through a Data-Centric Lens

Expansion, Codes and Optimization at the Frontiers

Protecting User Privacy by Helping Developers

Learning 3D Modeling and Simulation From and For the Real World

AI Seminar: Parisa Kordjamshidi

Zihan Tan: TBD

Friday Night AI | ChatGPT: What is it and what are its abilities and limitations?

Building Virtual Networks for Experimentation and Profit

The co-evolution of socio-technological networks

Rethinking the Internet Architecture

Techniques for Hybrid Electric Vehicle Controller Synthesis

Computatuional Methods for Quasi-Static Problems

User Interface Support for Todays Crazed Information Worker: From Scatterbrained to Focused

Efficient Quantum Circuit Simulation

Probabilistic Robotics with Applications To Navigation

Orkut Buyukkokten (Google) on Online Social Networks

An Exploratory Model of Language Acquisition and Evolution

A Strategic Model for Information Markets

High-Capacity Electromagnetic Solutions for High Speed IC Design

TOSCA: A new biologically-inspired cognitive architecture

Recent results in the search for new quantum algorithms

Satellite Digital Audio Radio in ConUS

Celebrating CSE: Building Dedication

Antennas For Mobile Communication Devices

A Global Geometric Framework for Nonlinear Dimensionality Reduction

Synthetic Aperature Radar

Nonparametric Anomaly Prediction and Discovery

The End of Scaling? Revolutions in Technology and Microarchitecture as we Pass the 90 Nanometer Node

Active Optical Sensing and Communication

Publish and Perish

Google Tech Talk

Graduate Student Presentations

Propositional Satisfiability to Satisfiability Modulo Theories

An Optimal Binary Search Tree?

From Maxwell's Equations to Electromagnetic Waves: A Historic Appraisal

Execution Replay for Intrusion Analysis

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

Constructive Logic and Layout Synthesis

Integral Equation Based EM-Circuit Co-Simulation

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

Improving Performance and Energy Consumption in Region-Based Caching Architectures

EECS CUGS/3.4 Undergrad Meeting

Exploiting Unused Storage Resources to Enhance System's Energy Efficiency, Performance, and Fault Tolerance

Analyzing Intrusions Using Operating System Level Information Flow

Algorithms for Satisfiability Problems in Linear Integer Arithmetic Logic

Accurate Interconnect Modeling for Efficient Circuit Simulation in VLSI Chip Design

Structure-driven Algorithms for Equivalence Verification and Infeasibility Checking

Inference Methods for Message Endpoint Localization in Networks

Supporting Representation Construction in Sensemaking

Automated Test Generation Using a Constraint Solver

How Many Needles are in a Haystack, or how to Solve #P-Complete Counting Problems Fast

Modeling and design of low-power VLSI systems accounting for multiple sources of uncertainty

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

All-optical signal processing in highly nonlinear chalcogenide glass based devices.

Efficient evaluation of XML queries in Timber

Faster Than FDTD

Towards Nanoscale System-on-Chip Design

DipZoom: An Internet Measurements Marketplace

Providing Efficient and Reliable End-host Multicast Services on the Internet

Human Computation

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

Retirement Reception for Betty Cummings

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

Resource Allocation with MDP-Induced Preferences

A Scalable Hybrid Network Monitoring Architecture for Measuring,Characterizing, and Tracking Internet Threat Dynamics

Player Modeling in the Interactive Drama Architecture

Technological and Social Mechanisms for Coordinating Communication

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

Trustworthy Software Systems

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

Abels Proof: Solving the Unsolvable

ARTS: Available, Robust and Trustworthy Software

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

Integrated Resource Allocation and Planning in Stochastic Multiagent Environments

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

Reliable and Energy-Efficient Wireless Sensor Networks for Surveillance and Monitoring

Motion Planning for Legged Robots on Irregular and Steep Terrain

Animation Reuse via Geometry Processing

Fault Diagnosis and Logic Debugging Using Boolean Satisfiability

An Economic-Based Empirical Approach To Modeling the Internet's Inter-Domain Topology and Traffic Matrix