Upcoming Events

Rescuing Data Center Processors

Automating the Detection and Correction of Failures in Modern Persistent Memory Systems

Cognitive Modeling of Aggregate and Individual Performance on the Remote Associates Test

EECS Juneteenth Celebration: Tech Empowering Our Communities

EECS 494 Computer Game Showcase

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

Integrated System Architectures for High-Performance Internet Servers

Architectural Optimization for Performance- and Energy-Constrained Sensor Processors

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

Interactive Hatching and Stippling by Example

Sublinear Algorithms for Compressed Sensing

Rethinking State, Action, and Reward in Reinforcement Learning

Progress Towards Trustworthy Services

Reasoning about Rationality and Beliefs

Reflections on Virtual Acoustics – Pun Intended

ARTS: Available, Robust and Trustworthy Software

CSE Graduate Honors Competition and Reception

Quartermaster: A Resource Utility System

Seaweed: Distributed Scalable Query Optimization

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

Bridging Computer Science and Behavioral Science: Research Examples

Iron Laws for Multi-Core Scalability

Large-scale phylogenetic reconstruction and the Tree of Life

Agent-Based Systems for Coordinating Activities

Stability Under Finite-Rate Feedback

Integration of Communication and Control for Delay-Sensitive

Dual Photography

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

Kernel-Based Tracking of Geometric Templates

EECS Fall Bash

Patents, and Their Importance to Computer Engineers

Gowers Uniformity, influence of variables, and PCPs

SOSP PRACTICE TALK-Speculative Execution in a Distributed File System

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

Designing NICs in CMT Environment

Crossbow – Network stack virtualization & Resource control

Google meeting with CoE Grad and Undergrad students

An Agent-Based Model of Language Acquisition and Evolution

Google meeting with CSE PhD students

Uncertainty in an unknown world

A Routing Control Platform for IP Networks

A Different Kind of Education — Adventures with Startups

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

On the Complexity of Numerical Analysis

Bots and Botnets – The Automation of Computer Network Attack

Symposium on High Frequency Microelectronics

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

Fast Multilevel Logic Optimization using Local Transformations

The Cognitive Architecture Approach to AI Research

Shilling Recommender Systems for Fun and Profit

The search for a quantum algorithm for Graph Isomorphism

Reading group: Synthesis, Verification and Test

Empirical Game-Theoretic Analysis for Practical Strategic Reasoning

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

FRAIG: A new datastructure for formal verification and circuit synthesis

AI Seminar

Model-Based Quality of Service Control

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

CANCELLED – You Have a GREAT Idea¦Now What?

Malleable Network Processors

Algorithms for Constraint-based Temporal Reasoning with Preferences

Generating Trading Agent Strategies

Efficient Methods for Solving the Multiagent Plan Coordination Problem

Natural Language Relations: Classifications and Application

Gate-Level Techniques for Low Power and Reliable Circuit Design

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

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

Tensor norms and their applications in quantum information

Fault Tolerance in Mobile Embedded Computer Networks

Analysis and Minimization of Leakage Current

Nielsen's Theorem on characterizing pure state transformations

Using Predictions for Planning and Modeling in Stochastic Environments

Formal Specification and Verification of Reconfigurable Hybrid Systems

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

Liberating Threads from Sequential Programs

Ultrafast Short Wavelength Radiation from Laser Accelerated Electrons

The Information Theory of Sleeping Sensors and Idle Servers

Virtual Global Communications

Quadratic Lower Bounds on Matrix Rigidity

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

Hebbian Networks for Averting the Problem of Catastrophic Interference

A Geometric Perspective on Machine Learning

Diamond: A System for Brute-force Interactive Search

Adding Preferences to Temporal Constraint Satisfaction Problems

Coping with Information Overload

Probabilistic Techniques for Mobile Robot Mapping and Exploration

Query Processing for Large-Scale Brokering

Computational Discovery of Genetic Regulatory Networks

Program Analysis with Binary Decision Diagrams

New Notions of Security

Secure content distribution using untrusted servers

Managing Confidentiality for Exchanged Data

Checkpointed Processor Architecture

Preserving privacy of digital information

Statistical Static Timing Analysis and Circuit Optimization

New Algorithms and Insights for Routing Problems

Hardware and Software Design for 10 Gigabit Network Servers

Linear Programming and Arrangements

Automatically Checking the Correctness of Program Analyses and

Embedded Streaming Multimedia Computation with the RSVP(TM) Architecture

XML Query Evaluation

Learning to Walk by Actuating a Passive Dynamic Walker

Incentive Mechanisms for Anonymous Communication

Context Awareness without Privacy Destruction

Random Interpretation

Hardware Acceleration and associated Algorithms for Packet searches

Robots that Cover, Climb, and SLAM!

Where Microprocessor Technology is Taking Us Next