Where Microprocessor Technology is Taking Us Next

Robots that Cover, Climb, and SLAM!

Hardware Acceleration and associated Algorithms for Packet searches

Random Interpretation

Context Awareness without Privacy Destruction

Incentive Mechanisms for Anonymous Communication

Learning to Walk by Actuating a Passive Dynamic Walker

XML Query Evaluation

Embedded Streaming Multimedia Computation with the RSVP(TM) Architecture

Automatically Checking the Correctness of Program Analyses and

Linear Programming and Arrangements

Hardware and Software Design for 10 Gigabit Network Servers

New Algorithms and Insights for Routing Problems

Statistical Static Timing Analysis and Circuit Optimization

Preserving privacy of digital information

Checkpointed Processor Architecture

Managing Confidentiality for Exchanged Data

Secure content distribution using untrusted servers

New Notions of Security

Program Analysis with Binary Decision Diagrams

Computational Discovery of Genetic Regulatory Networks

Query Processing for Large-Scale Brokering

Probabilistic Techniques for Mobile Robot Mapping and Exploration

Coping with Information Overload

Adding Preferences to Temporal Constraint Satisfaction Problems

Diamond: A System for Brute-force Interactive Search

A Geometric Perspective on Machine Learning

Hebbian Networks for Averting the Problem of Catastrophic Interference

Electrical Characterization of A1GaN/GaN MODFET: A reliability-driven low frequency noise-based study

Quadratic Lower Bounds on Matrix Rigidity

Virtual Global Communications

The Information Theory of Sleeping Sensors and Idle Servers

Ultrafast Short Wavelength Radiation from Laser Accelerated Electrons

Liberating Threads from Sequential Programs

Physical modeling, inverse scattering, & applications of Optical Coherence Tomography, Nonlinear Raman Microscopy, and Near-Field Microscopy

Formal Specification and Verification of Reconfigurable Hybrid Systems

Using Predictions for Planning and Modeling in Stochastic Environments

Nielsen's Theorem on characterizing pure state transformations

Analysis and Minimization of Leakage Current

Fault Tolerance in Mobile Embedded Computer Networks

Tensor norms and their applications in quantum information

UCAV Path Planning in the Presence of Radar-Guided Surface-to-Air Missile Threats

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

Gate-Level Techniques for Low Power and Reliable Circuit Design

Natural Language Relations: Classifications and Application

Efficient Methods for Solving the Multiagent Plan Coordination Problem

Generating Trading Agent Strategies

Algorithms for Constraint-based Temporal Reasoning with Preferences

Malleable Network Processors

Systematic Observations of the Genetic Algorithm in a Changing Environment: Case Studies Using the Shaky Ladder Hyperplane Defined Functions

Model-Based Quality of Service Control

AI Seminar

FRAIG: A new datastructure for formal verification and circuit synthesis

The NSF Cyberinfrastructure Movement and the Role for the CSE Research Community

Empirical Game-Theoretic Analysis for Practical Strategic Reasoning

Reading group: Synthesis, Verification and Test

The search for a quantum algorithm for Graph Isomorphism

Shilling Recommender Systems for Fun and Profit

The Cognitive Architecture Approach to AI Research

Fast Multilevel Logic Optimization using Local Transformations

Deploying Sensor Nets with Guaranteed Capacity and Fault Tolerance by Jonathan L. Bredin, Erik D. Demaine, MohammadTaghi Hajiaghayi and Daniela Rus

Symposium on High Frequency Microelectronics

Bots and Botnets – The Automation of Computer Network Attack

On the Complexity of Numerical Analysis

Computational and Empirical Explorations of Fast, Complex Cognition: Interactive Skill, Language Processing, and Humor Perception

A Different Kind of Education — Adventures with Startups

A Routing Control Platform for IP Networks

Uncertainty in an unknown world

Google meeting with CSE PhD students

An Agent-Based Model of Language Acquisition and Evolution

Google meeting with CoE Grad and Undergrad students

Crossbow – Network stack virtualization & Resource control

Designing NICs in CMT Environment

SOSP PRACTICE TALK-FS2: Dynamic Data Replication in Free Disk Space for Improving Disk Performance and Energy-Consumption

SOSP PRACTICE TALK-Speculative Execution in a Distributed File System

Gowers Uniformity, influence of variables, and PCPs

Patents, and Their Importance to Computer Engineers

EECS Fall Bash

Kernel-Based Tracking of Geometric Templates

Deploying Sensor Nets with Guaranteed Capacity and Fault Tolerance, by Jonathan L. Bredin, Erik D. Demaine, MohammadTaghi Hajiaghayi and Daniela Rus.

Integration of Communication and Control for Delay-Sensitive

Dual Photography

Stability Under Finite-Rate Feedback

Agent-Based Systems for Coordinating Activities

Large-scale phylogenetic reconstruction and the Tree of Life

Iron Laws for Multi-Core Scalability

Bridging Computer Science and Behavioral Science: Research Examples

Games, Planning, Categorial Grammars, and Control of Discrete Event Systems

Seaweed: Distributed Scalable Query Optimization

Quartermaster: A Resource Utility System

CSE Graduate Honors Competition and Reception

ARTS: Available, Robust and Trustworthy Software

Reflections on Virtual Acoustics – Pun Intended

Reasoning about Rationality and Beliefs

Progress Towards Trustworthy Services

Rethinking State, Action, and Reward in Reinforcement Learning

Sublinear Algorithms for Compressed Sensing

Interactive Hatching and Stippling by Example

Max-stable Random Sketches: Estimation of Distances, Norms and Dominance Norms

Architectural Optimization for Performance- and Energy-Constrained Sensor Processors

Integrated System Architectures for High-Performance Internet Servers

APPLICATION-SPECIFIC ARCHITECTURE FRAMEWORK FOR HIGH-PERFORMANCE LOW-POWER EMBEDDED COMPUTING

EECS 494 Computer Game Showcase