Dissertation Defenses

Improving Select Applications of Long-Read DNA Sequencing

Enabling Direct Bluetooth-WiFi Communications

Understanding understanding: How do we reason about computational logic?

Understanding understanding: How do we reason about computational logic?

Enabling Direct Bluetooth-WiFi Communications

Improving Select Applications of Long-Read DNA Sequencing

Language Supervision for Computer Vision

Learning Visual Representations from Cross-Modal Correspondence

Towards Query Processing in Video Database Management Systems

Artificial Intelligence Algorithms for Large Economic and Computer Games

Systems and Debugging Supports for Hardware Designs

Exploring In-Context Reinforcement Learning

Data-driven Solutions for Blood Glucose Management

Human-Centered Natural Language Processing for Countering Misinformation

Aligning Objectives of Machine Learning with Clinical Care

Improving Web Automation Tools through UI Context and Demonstration

On Improving Robustness of Deep Neural Networks for Computer Vision

Overcoming Barriers to Information Exchange on the Web

Investigating the VPN Ecosystem through the lens of Security, Privacy, and Usability

Analysis of Situated Interactive Non-Expert Instruction of A Hierarchical Task to a Learning Robot

Multiagent Learning by Iterative Refinement of Game Models

Neural Language Generation for Content Adaptation: Explainable, Efficient Low-Resource Text Simplification and Evaluation

Mitigating Microarchitectural Vulnerabilities to Improve Cloud Security and Reliability

Simulation-based Approaches for Evaluating Information Elicitation and Information Aggregation Mechanisms

Efficient Game Solving through Transfer Learning

Efficient Data Movement for Accelerating Data-Intensive Applications

Social Reference Processing with Collaborative Human-AI Systems

Applying Software-Based Side-Channels to Hardware Vulnerabilities

Discovering Structured Representations for Reinforcement Learning

Understanding, Modeling and Leveraging Temporal Change in Mental Health

Minimalist Systems for Pervasive Machine Learning

Towards an Algorithmic Account of Phonological Rules and Representations

Achieving Security and Privacy via Encrypted Architectures

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

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

Rescuing Data Center Processors

Where are the Humans in Human-AI Interaction: The Missing Human-Centered Perspective on Interpretability Tools for Machine Learning

A Statistical Approach to Stochastic Computing Design and Analysis

Implicit Design Choices and Their Impact on Emotion Recognition Model Development and Evaluation

Overcoming the Performance and Security Challenges of Building Highly-Distributed Fault-Tolerant Embedded Systems

Accelerated Systems for Portable DNA Sequencing

Characterizing Laser Signal Injection and its Impact on the Security of Cyber-Physical Systems

Crafting Machine Learning Defenses against Adversaries

Practical Memory Disaggregation

Exploiting App Differences for Security Analysis of Multi-Geo Mobile Ecosystems

Steerable AI-powered Art-making Tools

Secure and Safe Autonomous Driving: an Adversary’s Perspective

Enabling Practical Deployments of Privacy-Preserving Technologies

Sequential Decision Making for Large Scale Machine Learning

Efficient and Dependable Deep Learning Systems

Theory of Mind in Collaborative Tasks between Embodied Agents

Towards Generalizable Neural Networks for Graph Applications

Acceleration Techniques of Sparse Linear Algebra on Emerging Architectures

Building User-Driven Edge Devices

Optimizing Emerging Graph Applications Using Hardware-Software Co-Design

Efficient, Reconfigurable, and QoS-Aware Systems for Deep Neural Networks

Compiler Support for Robust and High Performance Autonomous Driving Environments

Securing Connected and Automated Vehicle through Proactive Vulnerability Analysis and Security Enhancement

In-SRAM Computing for Neural Network Acceleration

Automating the Verification of Distributed Systems

Bringing Practical Security to Vehicles

A Cognitive Architecture Realization of Event Cognition Capabilities

Efficient utilization of heterogeneous compute and memory systems

Towards Human Action Understanding in Social Media Videos using Multimodal Models

Sample-Efficient Algorithms for Hard-Exploration Problems in Reinforcement Learning

Learning General and Correct Procedural Knowledge in a Cognitive Architecture

Integrating visualization grammars with the task language of data analysts

Toward Practical Application-Aware Big Data Systems

Modeling Trading Strategies in Financial Markets with Data, Simulation, and Deep Reinforcement Learning

Advances in Deep Reinforcement Learning: Intrinsic Rewards, Temporal Credit Assignment, State Representations, and Value-equivalent Models

Improving Application Connectivity with Network-conscious Systems

Assessment of Privacy Risks in Mobile and Web Applications

Application-Aware Scheduling in Deep Learning Software Stacks

Dynamic Connectivity, Hopsets, and Byzantine Agreement

Advancing Digital Safety for High-Risk Communities

The Value Equivalence Principle for Model-Based Reinforcement Learning

Context-Aware Detection and Resolution of Data Anomalies for Semi-Autonomous Cyber-Physical Systems

On Addressing the Problem of Discovery for Reinforcement Learning

Augmenting Structure with Text for Improved Graph Learning

Predictable Performance and Low Cost for Geo-Distributed Applications

Constructing Meaning, Piece by Piece: A Computational Cognitive Model of Human Sentence Comprehension

Towards Free, Open, and Ubiquitous Hardware Design

Incorporating Expert Interpretation and Reasoning to Guide Model Selection in Machine Learning

In-Memory Acceleration for General Data Parallel Applications

Improving Mobile Internet Performance with Cross-Device Network Transport and Cross-Layer Application Adaptation

Provably Efficient Reinforcement Learning under Linear Model Structures: From Tabular to Feature based Exploration

Graph Summarization Meets Representation Learning for Scalable Feature Summarization: Methods & Applications

Accelerated Systems for Pattern Matching

From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols

Compiler Auto-tuning For Code Optimization

Data-Centric Execution Inspection

Optimizing Spare Linear Algebra on Reconfigurable Architecture

Provably Efficient Reinforcement Learning: From Single-Agent MDPs to Markov Games

Efficient Resource Management for Deep Learning Clusters

Cautiously Optimistic Program Analyses for Secure and Reliable Software

Enforcing Realism and Temporal Consistency for Large-Scale Video Inpainting

Architectural Enhancements for Data Transport in Datacenter Systems

Towards Closing the Programmability-Efficiency Gap using Software-Defined Hardware

Towards Learning the Foundations of Manipulation Actions with Unguided Exploration

Enabling Hyperscale Web Services

Understanding User Cognition: from Spatial Ability to Code Writing and Review

Ride-Sharing Optimization Algorithms for Urban Commuting

A Comprehensive Computational Model of PRIMs Theory for Task-Independent Procedural Learning

Multi-task Hierarchical Reinforcement Learning for Compositional Tasks

Developing Trustworthy Hardware with Security-Driven Design & Verification

Sample efficient learning and generalization with text representations

On Learning Neural End-to-End Goal-Oriented Dialog Systems

Datacenter Architectures for the Microservices Era

Evaluating and Improving Internet Load Balancing with Large-Scale Latency Measurements

Improving the Generalization Performance of Deep Learning Models Applied to Clinical Time Series by Addressing Task Specific Structure

Expanding Task Diversity in Explanation-Based Interactive Task Learning

Computational Modeling and Design of Financial Markets: Towards Manipulation-Resistant and Expressive Markets

Streaming Architectures for Medical Image Reconstruction

A Holistic Solution for Reliability of 3D Parallel Systems

Leveraging Longitudinal Data for Personalized Prediction and Word Representations

Software Model Checking with Uninterpreted Functions

Design Optimization of In-Vehicle Network

Algebraic Frameworks for Cryptographic Primitives

Automatic Quantification and Prediction of Affect in Spoken Interactions

Models and Algorithms for Human Action Understanding

Customized Systems of Deep Neural Networks for Energy Efficiency

Efficiency in Machine Learning with Focus on Deep Learning and Recommender Systems

Election Security is Harder Than You Think

Enabling and Improving Centralized Control in Network and Cyber-Physical Systems: An Application-Driven Approach

Towards the First Practical Applications of Quantum Computers

Interactional Slingshots: Providing Support Structure to User Interactions in Hybrid Intelligence Systems

Understanding and Improving the Performance of Web Page Loads

Machine Learning for Physiological Time Series: Representing and Controlling Blood Glucose for Diabetes Management

Understanding Word Embedding Stability Across Languages and Applications

Unsupervised Structural Embedding Methods for Efficient Collective Network Mining

A Parallel Tensor Network Contraction Algorithm and Its Applications in Quantum Computation

Learning to Generate 3D Training Data

Robust Deep Learning in the Open World with Lifelong Learning and Representation Learning

Learning Single-Image 3D from the Internet

Machine Learning in Adversarial Environments

Automatic Designs in Deep Neural Networks

Domain-specific Architectures for Data-intensive Applications

Efficient Belief Propagation for Perception and Manipulation in Clutter

Efficiently Finding Approximately-Optimal Queries for Improving Policies and Guaranteeing Safety

Enhancing System Transparency, Trust, and Privacy with Internet Measurement

Making and Keeping Probabilistic Commitments for Trustworthy Multiagent Coordination

Robust Scene Estimation for Goal-directed Robotic Manipulation in Unstructured Environments

Clarifying Oblique Specifications of Relational Queries

Improving Programming Support for Hardware Accelerators Through Automata Processing Abstractions

Democratizing Self-Service Data Preparation through Program Synthesis for Non-expert Users

Agent-based Models for Analyzing Strategic Adaptations to Government Regulation

Thwarting Advanced Code-reuse Attacks

Using Sensor Redundancy in Vehicles and Smartphones for Driving Security and Safety

Towards Seamless Human-Mobility Interaction

Runtime Systems for Persistent Memories

Enabling Usable and Performant Trusted Execution

Thermal and QoS-Aware Embedded Systems

Estimation of Information Measures and Applications in Machine Learning

Multimodal Character Representation for Visual Story Understanding

Learning Hierarchical Compositional Task Definitions through Online Situated Interactive Language Instruction

Demographic-Aware Natural Language Processing

Efficient Deep Neural Network Computation on Processors

Addressing Variability in Speech when Recognizing Emotion and Mood In-the-Wild

Designing and Evaluating Physical Adversarial Attacks and Defenses for Machine Learning Algorithms

Energy Efficient Algorithms in Low-Energy Wireless Sensor Networks

Rethinking Context Management of Data Parallel Processors in an Era of Irregular Computing

Towards a More Predictable Database System

Building and Querying Structured Knowledge Sources from Natural Language Text

Its Data All the Way Down: Exploring the Relationship Between Machine Learning and Data Management

Reducing Redundant Computation and Data in Non-deterministic Systems by Exploiting the Computation-data Duality

Requirements Testing and Verification for Smart Systems through Systematic Software Analysis

Dynamics and Social Networks

Design of Sequential Stochastic Computing Systems

High Availability Localization and Mapping

Classical Computation in the Quantum World

Preventing Capability Abuse through Systematic Analysis of Exposed Interfaces

Cross-Layer System Design for Autonomous Driving

Locality of Distributed Graph Problems

Computational Linguistic Models for Personal Values and Human Activities

Enabling Fairness in Cloud Computing Infrastructures

Visual Recognition and Synthesis of Human-Object Interactions

Leveraging Processor Features for System Security

Using Large-Scale Empirical Methods to Understand Fragile Cryptographic Ecosystems

Efficient Algorithms for a Mesh-Connected Computer with Additional Global Bandwidth

Extracting Insights from Differences: Analyzing Node-aligned Social Graphs

Stable Profiles in Simulation-Based Games via Reinforcement Learning and Statistics

Multi-Policy Decision Making for Reliable Navigation in Dynamic Uncertain Environments

Decompose and Conquer: Addressing Evasive Errors in Systems on Chip

Improving the Generalizability of Speech Emotion Recognition: Methods for Handling Data and Label Variability

Thermal Energy Storage for Datacenters with Phase Change Materials

Understanding a Dynamic World: Dynamic Motion Estimation for Autonomous Driving using LIDAR

Hardware Mechanisms for Efficient Memory System Security

Interactive Machine Learning with Applications in Health Informatics

Improving User Involvement Through Live Collaborative Creation

Software-Driven and Virtualized Architectures for Scalable 5G Networks

Eliciting and Aggregating Information: An Information Theoretic Approach

Systems and Methods for Measuring and Improving End-User Application Performance on Mobile Devices

Keywords at Work: Investigating Keyword Extraction in Social Media Applications

Data Resource Management in Throughput Processors

Securing Modern Appified Platform Through Systematic Program Analysis and Design

Understanding Financial Market Behavior Through Empirical Game-Theoretic Analysis

From Attack to Defense: Toward Secure In-vehicle Networks

Towards Power- and Energy-efficient Datacenters

Selecting and Generating Computational Meaning Representations for Short Texts

Bridging the Scalability Gap by Exploiting Error Tolerance for Emerging Applications

Maximizing Insight from Modern Economic Analysis

Topological Mapping and Navigation in Real-World Environments

Policy-Based Planning for Robust Robot Navigation

Nation-State Attackers and their Effects on Computer Security

Near Data Processing for Efficient and Trusted Systems

Enabling Program Analysis Through Deterministic Replay and Optimistic Hybrid Analysis

Holistic Management of Energy Storage System for Electric Vehicles

Towards Automatic Speech-Language Assessment for Aphasia Rehabilitation

Improving Application QoE with Flow-Level, Interface-Level, and Device-Level Parallelism

Fast Internet-Wide Scanning: A New Security Perspective

Cost-Effective Support for Low Latency Cloud Storage

Enabling Visibility Into Building Energy Consumption Through Novel Metering Designs and Methods

Location Privacy Protection in the Mobile Era and Beyond

Fast Data Analytics by Learning

Improving RF Localization Through Measurement and Manipulation of the Channel Impulse Response

Perpetual Sensing: Experiences With Energy-Harvesting Sensor Systems

Querying RDBMS Using Natural Language

Securing IoT Platforms Through Systematic Analysis and Design

System Design for Intelligent Web Services

Paving the Path for Heterogeneous Memory Adoption in Production Systems

Improving Software Reliability for Event-Driven Mobile Systems

Deep Learning and Reward Design for Reinforcement Learning

Improving Usability of Mobile Applications Through Speculation and Distraction Minimization

Reining in the Functional Verification of Complex Processor Designs With Automation, Prioritization, and Approximation

Improving Mobile Network Performance Through Measurement-driven System Design Approaches

Regulating and Securing the Interfaces Across Mobile Apps, OS and Users

Scaling Causality Analysis for Production Systems

Energy Efficient Heterogeneous Processor Architectures for General Purpose Applications

Composite Cores: Improving Energy Efficiency Through Fine-Grained Heterogeneity

Leveraging Mixed Expertise in Crowdsourcing

Scale-Adaptive Video Understanding

Enabling Efficient Resource Utilization on Multitasking Throughput Processors

Robust Localization in 3D Prior Maps for Autonomous Driving

Theoretical Tools for Network Analysis: Game Theory, Graph Centrality, and Statistical Inference

Deep Neural Networks for Visual Reasoning, Program Induction, and Text-to-Image Synthesis

Unbounded Scalable Hardware Verification

Designing Accurate and Low-Cost Stochastic Circuits

Spotting Tip of the Iceberg in Social Media: Detecting Target Clusters from Indications of Individual Items

Network Analysis on Incomplete Structures

Control-Flow Security

Efficient Large-Scale Graph Processing

Low-overhead Online Code Transformations

Computational Models of Algorithmic Trading in Financial Markets

Maximizing Expected Value of Information in Decision Problems by Querying on a Wish-to-Know Basis

Using Program Visualization to Illuminate the Notional Machines

Energy-Efficient Acceleration of Asynchronous Programs

Information Extraction on Para-Relational Data

Security Hazards When Law is Code

Datacenter Design for Future Cloud Radio Access Network

Hardware Support for Unstructured Big Data and Natural Language Processing

Virtualizing Data Parallel Systems for Portability, Productivity, and Performance

Dependable Computing On Inexact Hardware Through Anomaly Detection

The Logic of Random Pulses: Stochastic Computing

Resource-Efficient Replication and Migration of Virtual Machines

Low-Power and Error-Resilient VLSI Circuits and Systems

Power Management Circuits for Miniature Sensor Systems

Energy-efficient Digital Signal Processing Hardware Design

High Power Chirally-Couple-Core (CCC) Fiber Lasers for Coherent Combining Systems

Comprehensive Single Cell Assay Chips for the Study of Cancer Metastasis and Heterogeneity

Comprehensive Single Cell Assay Chips for the Study of Cancer Metastasis and Heterogeneity

Routing and Topology Reconfiguration for Networkson- Chips Runtime Health

Resistive-RAM for Data Storage

Passive Remote Sensing of Lake Ice and Snow using Wideband Autocorrelation Radiometer (WiBAR)

Ultra-Low Power Optical Interface Circuits for Nearly Invisible Wireless Sensor Nodes

Scaling Empirical Game-Theoretic Analysis

Microelectromechanical Systems for Wireless Radio Front-­ends and Integrated Frequency References

Effective Faceted Browsing

Intelligent Management of Inter-Thread Synchronization Dependencies for Concurrent Programs

Balancing Interactive Performance and Budgeted Resources in Mobile Computing

Computational Cardiology: Improving Markers and Models to Stratify Patients with Heart Disease

Dynamic Orchestration of Massively Data Parallel Execution

Non-Hierarchical Networks for Censorship-Resistant Personal Communication

Database and System Design for Emerging Storage Technologies

Hybrid Techniques for Simulation of Quantum Circuits using the Heisenberg Representation

Characterizing and Mitigating Virtual Machine Interference in Public Clouds

Learning Integrated Relational and Continuous Action Models for Continuous Domains

Energy-Efficient Algorithms on Mesh-Connected Systems With Additional Communication Links

Rethinking Wireless: Building Next-Generation Networks

Holistic System Design for Deterministic Replay

Sublinear Time Algorithms for the Sparse Recovery Problem

ON THE POWER AND LIMITATIONS OF QUANTUM COMPUTATION

Finding and Tolerating Concurrency Bugs

Towards Least Privilege Principle: Limiting Unintended Accesses in Software Systems

Symmetry in Finite Combinatorial Objects: Scalable Methods and Applications

Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations

Reducing End-User Burden in Everyday Data Organization

Harnessing Simulation Acceleration to Solve the Digital Design Verification Challenge

Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation

Mining Multiple Perspectives From Social Media and Scientific Literature

Explanation-Based Auditing

Mechanisms of Controlled Sharing for Social Networking Users

Computer Architectures for Mobile Computer Vision Systems

High-performance Global Routing for Trillion-gate Systems-on-Chips

Zydeco: Exploring How Mobile Technology Can Scaffold Student Multimedia Data Collection and Use for Science Inquiry

Multi-objective Placement Optimization For High-performance Nanoscale Integrated Circuits

Security and Collaboration Protocols for Mobile and Sensor Networks

Power, Interconnect, and Reliability Techniques for Large Scale Integrated Circuits

Using Collective Discourse to Generate Surveys of Scientific Paradigms

Graphical Multiagent Models

Distributed Approaches for Solving Constraint-based Multiagent Scheduling Problems

MAC/PHY Co-Design of CSMA Wireless Networks Using Software Radios

Probabilistic Methods for Analyzing and Simulating Digital Circuits

Provenance in Modifiable Datasets

Hardware Mechanisms for Distributed Dynamic Software Analysis

Speculative Execution Across Layers

Improving Software Configuration Troubleshooting with Causality Analysis

Interface Design Implications for Recalling the Spatial Configuration of Virtual Auditory Environments

The Analysis, Modeling and Detection of Botnet-based Hosting Services and Future Threats

Effective and Efficient Memory for Generally Intelligent Agents

Wireless Testing of Integrated Circuits

Discover, Analyze, and Validate Attacks With Introspective Side Channels

Scalable Interconnect Architectures for Many-Core Systems

Characterization and Optimization of Resource Utilization for Cellular Networks

Correct Communication in Multi-Core Processors

Systems for Challenged Network Environments

Leveraging the Cloud for Software Security Services

Learning to Use Memory

Information and Decision Theoretic Approaches to Problems in Active Diagnosis

On Detection of Current and Next-Generation Botnets

Uniparallel Execution and its Uses

Unsupervised Graph-Based Similarity Learning Using Heterogeneous Features

Large Scale Malware Analysis, Detection and Signature Generation

Overcoming Hard-Faults in High-Performance Microprocessors

Simplify Design of Wireless Sensor Networks with Programming Languages, Compilers, and Synthesis

The Optimal Reward Problem: Designing Effective Reward for Bounded Agents

Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications

Performance, Power, and Thermal Modeling and Optimization for High-Performance Computer Systems

Glass Box Software Model Checking

Delivering Affordable Fault-tolerance to Commodity Computer Systems

Near Threshold Computing: From Single-Core to Many-Core Energy Efficient Architectures

Single Mode Optical Fiber Based Devices and Systems for Mid-Infrared Light Generation, Communication and Metrology

Efficient and Robust Spectrum Management for Cognitive Radio Networks

Power-Efficient Accelerators for High-Performance Applications

Compiling Stream Applications for Heterogeneous Architectures

Database Querying Through Direct Manipulation

Identifying Roles in Social Networks Using Linguistic Analysis

Hierarchical Functional Category Learning for Efficient Value Function Approximation in Object-based Environments

Enhancing Coexistence, Quality of Service, and Energy Performance in Dynamic Spectrum Access Networks

Yield Enhancement through Pre- and Post-Silicon Adaptation

Efficient Data Center Architectures Using Non-Volatile Memory and Reliability Techniques

Modeling and Design of PEM Fuel Cells for Dead-Ended Anode Operation

Efficient Identification and Utilization of Spectrum Opportunities in Cognitive Radio Networks

Physically-Adaptive Computing via Introspection and Self-Optimization in Reconfigurable Systems

Pssst…or Boo! Assessing the Predictability of Notification Delivery Preferences

Text and Network Mining for Literature-Based Scientific Discovery in Biomedicine

Toward Automated Network Management and Operations

Broadening the Scope of Multi-Objective Optimizations in Physical Synthesis of Integrated Circuits

Simple Partial Models for Complex Dynamical Systems

Sensor-Based Analysis of Object-Use Patterns for the Automatic Assessment of Cognitive Status

Integrating Syntax and Word Alignment in Syntax-Based Machine Translation

Scalable Algorithms for Communication Networks

From Sleeping to Stockpiling:Energy Conservation via Stochastic Scheduling in Wireless Networks

Disaggregated Memory Architectures for Blade Servers

Separating Information Protection from Resource Management

Practical Strategic Reasoning with Applications in Market Games

Cache Resource Allocation in Large-Scale Chip Multiprocessors

Decision Making under Uncertainty: Modeling, Revealing and Characterizing Individual Differences in the Iowa Gambling Task

Polymorphic Pipeline Array: A Flexible Multicore Accelerator for Mobile Multimedia Applications

Essays on the Computation of Economic Equilibria and Its Applications

Context Aware Network Security

High-performance Placement and Routing for the Nanometer Scale

Network and Security Services for Wireless Sensor Networks

Modeling Dynamical Systems with Structured Predictive State Representations

The Structure and Dynamics of Information Sharing Networks

Effective Wide-Area Network Performance Monitoring and Diagnosis from End Systems

Energy-efficient information collection and dissemination in wireless sensor networks

Stronger Bidding Strategies through Empirical Game-Theoretic Analysis and Reinforcement Learning

Improving QoS and Management in Multi-Hop Wireless Networks

Protecting Confidential Information from Malicious Software

Leverage Context for File Search and Organization

Consumer Distributed File Systems

Online Low-Cost Defect Tolerance Solutions for Microprocessor Designs

Full-System Critical-Path Analysis and Performance Prediction

Toward a Robust Internet Interdomain Routing

Optimal Combinational Logic Synthesis

System Architecture with Virtualized Resources in a Large-Scale Computing Infrastructure

Toward a Robust Internet Interdomain Routing

Razor: A Variability-Tolerant Design Methodology for Low-Power and Robust Computing

Features on Point-based Surfaces and Their Applications

Effective Verification Solution For Modern Microprocessors

Designing for the Cooperative Use of Multi-user, Multi-device Museum Exhibits

Resolving conflicting design goals through cyber foraging and automated configuration management

On Predictive Linear Gaussian Models

Design, Analysis, and Test of Logic Circuits under Uncertainty

Realizing Software Defined Radio — A Study In Designing Mobile Supercomputers

Incorporating Provenance into Database Systems

Querying Graph Databases

Chip-Level Thermal Analysis, Modeling and Optimization

Efficient Index-based Methods for Processing Large Biological Databases

Systems-Level Support for Mobile Device Connectivity

Structured Preference Representation and Multiattribute Auctions

A Computational Unification of Cognitive Control, Emotion, and Learning

Empirical Game-Theoretic Methods for Strategy Design and Anaylsis in Complex Games

Microarchitecture Choices and Tradeoffs for Maximizing Processing Efficiency

Simulation-Based Hierarchical Synthesis and Verification

Mechanism Design and Analysis Using Simulation-Based Models

Multiattribute Call Markets

Extending Cognitive Architectures with Spatial and Visual Imagery Mechanisms

Topics in Massive Data Summarization

Statistical Performance Analysis and Optimization

Mission-Phasing Techniques for Constrained Agents in Stochastic Environments

Unreliable Silicon: Circuit through System-Level Techniques for Mitigating the Adverse Effects of Process Variation, Device Degradation and Environmental Conditions

Propagation, Detection and Containment of Mobile Malware

Exploiting Host Availability in Distributed Systems

The Fast, Efficient, and Representative Benchmarking of Future Microarchitectures

Architectural and Compiler Mechanisms for Accelerating Single Thread Applications on Multicore Processors

Efficient Query Processing for Spatio-Temporal Databases

Exponential Family Predictive Representations of State

Quantum Communication Complexity and Nonlocality of Bipartite Quantum Operations

Advances in Surface Penetrating Technologies for Imaging, Detection, and Classification

Speculative execution in a commodity operating system

Improving the Storage Manageability, Flexibility, and Security in Virtual Machine Systems

Managing Complex Scheduling Problems with Dynamic and Hybrid Constraints

Functional Error Diagnosis, Correction and Layout Repair of Digital Circuits

Cooperative Data and Computation Partitioning for Decentralized Architectures

Mobility Modeling of Mobile Users

Customizing the Computation Capabilities of Microprocessors

Efficient Algorithms for Temporal Skyline Query Evaluation

Enhancing Intelligent Agents with Episodic Memory

Collaborative Power Management: Piercing Abstraction Barriers for Fast and Energy-Efficient Pervasive Data Access

Declarative Querying of Biological Data

QoS Support in Large-Scale Computer Network Based on Aggregate Scheduling and BGP Routing Enhancement

XML Data Warehousing

Using Graphs and Random Walks For Discovering Latent Semantic

Network Transparency in Wide Area Collaborations

On the Performance of Local Synchronization with Stochastic Task Times

Managing Complex Databases in a Schema Management Framework

Architecting Energy Efficient Servers

A Baseband Processor for Software Defined Radio Terminals

Efficient and Expressive Extensions of Constraint-Based Temporal Reasoning

Flexible Query facilities for Heterogeneous Semi-Structured Data

Exposing Internet Address Use to Enhance Network Security

Distributed Access to Parallel File Systems

Hardware/Software Techniques for Memory Power Optimizations in Embedded Processors

Techniques for Hybrid Electric Vehicle Controller Synthesis

Efficient Quantum Circuit Simulation

Execution Replay for Intrusion Analysis

Constructive Logic and Layout Synthesis

Improving Performance and Energy Consumption in Region-Based Caching Architectures

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

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

Efficient evaluation of XML queries in Timber

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

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

Player Modeling in the Interactive Drama Architecture

Integrated Resource Allocation and Planning in Stochastic Multiagent Environments

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

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

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

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

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

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

Fault Tolerance in Mobile Embedded Computer Networks

Analysis and Minimization of Leakage Current

Using Predictions for Planning and Modeling in Stochastic Environments

Formal Specification and Verification of Reconfigurable Hybrid Systems

Ultrafast Short Wavelength Radiation from Laser Accelerated Electrons

Virtual Global Communications

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

Hebbian Networks for Averting the Problem of Catastrophic Interference

Statistical Static Timing Analysis and Circuit Optimization

XML Query Evaluation

Design Guidelines for Developing Scaffolded, Handheld Software to Support Learners During Science Inquiry

Exploiting Structure in Linear and Non-linear 0-1 Problems

Probabalistic Prediction of Program Performance

Enhancing end-to-end availability and performance by leveraging Internet redundancy

High Performance Dynamic Array Structures

Large-Scale Self-Organized Network Measurement Infrastructure

Improving End-to-End Reliable Transport Using Parallel Transmission Control Protocol Sessions

Content-Based Publish Subscribe Systems: Scalability and Security

Performance modeling and analysis techniques for integrated embedded control software design

Unification of VLSI Placement and Floorplanning

Architecture-Conscious Storage Management

Efficient Dynamic Detection of Input Related Software Faults

Providing Safety and Visibility for Mobile Users

XML Query Optimization in Timber

Hardware Architectures to Support Low Power Natural I/O Applications

Execution Resource Allocation for Distributed Real-time Controllers

A Scalable Instruction Queue Design for Exploiting Parallelism

Simultaneous Subordinate Microthreading

From Brains to Branch Points: Cognitive Constraints in Navigational Design

Noise Modeling, Evaluation and Noise-Tolerant Design of Very Deep Submicron VLSI Circuits

Circuit and Microarchitectural Techniques for Cache Leakage Power Reduction

Neural Mechanisms for Cognitive Control in Complex Cognition

Measurement and Analysis of Routing Protocol Behavior on Production Networks

Modelling Error in Query-by-Humming Applications

DLS Speaker

DB Seminar

Reducing Load Latency through Memory Instruction Characterization

Hardware/Software Mechanisms for More Efficient Resource Utilization on VLIW/EPIC Processors

Reference Tracking in Feedback Control with Saturating Actuators

Countering DDoS Attacks

Network Orient Controls of Internet Services

Construction of Signal-Dependent Cohen’s Class Time-Frequency Representations Using Iterative Blind

Statistical Steganalyis

Methods for Efficient Storage and Indexing in XML Databases

Model-Based System Management for Multi-Tiered Servers

Validating Complex Agent Behavior

An Integrated Approach to OLAP Optimization

Design, Implementation and Use of the MIRV Experimental Compiler for Computer Architecture Research

Piecewise Linear Homeomorphisms for Approximatiion of Invertible Maps

Power Efficient Transmission Protocols for Wireless Networks

Scalable Algorithms for Boolean Satisfiability Enabled by Problem Structure

Growth of In(Ga)As/GaAs Self-Organized Quantum Dots and their Applications to High-Speed Lasers and