Faculty Candidate Seminars

Generalizing Beyond the Training Distribution through Compositional Generation

Generalizing Beyond the Training Distribution through Compositional Generation

Programmable Software Systems for Correct High-performance Applications

Circular Interactive Material: making ubiquitous computing more scalable and sustainable

Learning from Interaction

Efficient Deep Learning with Sparsity: Algorithms, Systems, and Applications

Towards Principled Sequential Decision-Making

Intelligent Textiles for Physical Interactions

Unleashing the Power of Ubiquitous IoT Sensors for Ambient Intelligence

Finding Shortest Paths in the Real World

Building Planetary-Scale Collaborative Intelligence

Towards Principled Modeling of Inductive Bias for Generalizable Machine Learning

Causal Inference for Robust, Reliable, and Responsible NLP

Data Privacy in the Decentralized Era

Understanding Language Models through Discovery and by Design

Designing efficient and scalable cache management systems

The Binomial Theorem

Modern Clouds: Side-Channel Attacks and Defenses

Hardware-Aware Efficient Primitives for Machine Learning

Impacting the future one failure at a time

Accessible Foundation Models: Systems, Algorithms, and Science

Catch M(oor)e If You Can: Agile Hardware/Software Co-Design for Hyperscale Cloud Systems

Content Moderation in Social Media: The Steel Armor of Social Media

Sub-cent Processors, Earable Computers, and Space Microdatacenters: Novel Computer Systems for Truly Ubiquitous Computing

An Introduction to Inheritance in Java

Neurons to Numerical Analysis: Applications of machine learning in scientific computing

What Can Cryptography Do For Decentralized Mechanism Design?

Teaching Faculty Candidate Seminar: Introduction to Hash Tables

Perceiving Humans in 4D

Wireless Sensing for Ubiquitous Internet of Things

(Un)trustworthy Machine Learning: How to Balance Security, Accuracy, and Privacy

Distance-Estimation in Modern Graphs: Algorithms and Impossibility

Programming Distributed Systems

A Hybrid Computing Ecosystem For Practical Quantum Advantage

Robust IoT Communication and Sensing with Extreme Efficiency

Learning to Re-create Reality in 3D

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

Protecting User Privacy by Helping Developers

Expansion, Codes and Optimization at the Frontiers

The Design of a General-Purpose Distributed Execution System

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

Intelligent Mobile Systems for Equitable Healthcare

Quantum and Cryptography: Challenges and Opportunities

Privacy-Preserving Accountability Online

Building Robust Systems Through System-Memory Co-Design

Pseudorandomness and Space Complexity: New Methods, New Insights, and New Milestones

Analyzing and Securing Software via Robust and Generalizable Learning

Empowering Users on Social Media for Better Content Credibility

Designing Provably Performant Networked Systems

Enabling Compositional Generalization of AI Systems

Reinforcement Learning from Static Datasets: Algorithms, Analysis and Applications

Looking Past the Abstractions: Characterizing Information Flow in Real-World Systems

Interactive and Grounded Language Learning

Building Sustainable Computational Materials

Software and Architecture for Reliable Quantum Computing

Socially Responsible and Factual Reasoning for Equitable AI Systems

Self-Supervised Reinforcement Learning

The Gale-Shapley Algorithm

Rethinking System Design for Expressive Cryptography

Fire! Sensing Smoke Across the US using Multiple Linear Regression

Binary Search Trees

Database Concepts

Teaching Demonstration (Hashtables)

Introduction to Dynamic Programming

First Look at Binary Search Trees

Prediction, Causality and the Great In-between

Faster, smarter, and greener systems for data-center scale AI

Learning to Generate Data by Estimating Gradients of the Data Distribution

Beyond ISAs: Striking a Balance between Generality and Specialization for AI/ML

Unleashing the Potential of In-Network Computing

Towards a Foundation for Reinforcement Learning

Machine Learning Powered Query Optimization

Optimizing CPU Efficiency and Tail Latency in Datacenters

Formal Verification of a Concurrent File System

Efficient and Accurate Systems for Querying Unstructured Data

Putting Your Database on Autopilot: Self-driving Database Management Systems

Translating AI to Impact: Uncertainty and Human-agent Interactions in Multi-agent Systems for Public Health and Conservation

From Specialists to Generalists: Inductive Biases of Deep Learning for Higher Level Cognition

Grounding Language by Seeing, Hearing, and Interacting

Consistency and Performance in Distributed Storage Systems

Towards Scalable Representation Learning for Visual Recognition

Verifiable Machine Learning for Security

Co-designing Distributed Systems and Storage Stacks for Improved Reliability

Processor Microarchitecture Security

The Complexity of Near-Term Quantum Computers

Learning to address novel situations through human-robot collaboration

Empowering People to Have Secure and Private Interactions with Digital Technologies

Introduction to Data Science

Matching in Evolving Environments

Architecting Emerging Quantum Technologies

Advancing Sound Accessibility

Theoretical Foundations for Emerging Multiprocessor Hardware

Quantum Computation and Cryptography: a changing landscape

Computing Using Time

Teaching Faculty Candidate Seminar: Gerald Soosai Raj

Teaching Faculty Candidate Seminar–Gina Bai

Teaching Faculty Candidate Seminar–Elba Garza

Teaching Faculty Candidate Seminar: Alan Weide

Teaching Faculty Candidate Seminar: Saquib Razak

Compositional Reasoning in Robot Learning

Bridging Algorithmic and Statistical Randomness in Machine Learning

IDEs for Ideas

Enabling Hyperscale Web Services

SAUL: Towards Effective Data Science

Architecting Quantum Computing Systems in the Presence of Noise

Eliminating Bugs in Real Systems

Sample-Efficient Nonconvex Optimization Algorithms for Machine Learning

Perception and Decision-Making Systems for Human-Robot Teaming in Safety-Critical Environments

Diversity and Fairness in Data Summarization Algorithms

Probabilistic proofs: theory, hardware, and everything in between

Defining and Ensuring Algorithmic Fairness in Artificial Intelligence

Opening the Black Box: Towards Theoretical Understanding of Deep Learning

Physically Interactive Intelligence — A path towards autonomous embodied agents

Wireless Systems that See the Invisible with Machine Learning: Through-Wall Vision, Emotion Recognition, and Health Monitoring

AI for Population Health: Melding Data and Algorithms on Networks

Introduction to Red-Black Tree

Prioritizing Computation and Analyst Resources in Large-scale Data Analytics

Learning Through Interaction in Cooperative Multi-Agent Systems

Introduction to Cache Organization

I Am Error: How Math Can Automatically Fix Mistakes

Hash Tables Lecture

Towards Structured-Infused and Disentangled Representation Learning

New Compilation Techniques for Reconfigurable Analog Devices

Language Grounding with Robots

Harnessing Examples for Learning at Scale

Bending Fuzzers to One’s Own Will

Learning Spoken Language Through Vision

Auditing Outsourced Services

Rethinking Operating System and Hardware Abstractions for Good and Evil

Designing Collective Behavior in Robotic Swarms

Connecting Blockchains to the Real World

Automating Failure Diagnosis for Distributed Systems

Foundations of Optimizable Gradual Typing

Learning from Societal Data: Theory and Practice

Analyzing Programs in the Era of Software 2.0

Better Foundations for Secure Software: Minimize Trust and Verify It

Progressive Automated Formal Verification of Hardware and Software Systems

Algorithmic Paradigms for Dynamic Graphs

Scalability and Methods of Deep Learning from an Optimization Viewpoint

The Value Alignment Problem in Artificial Intelligence

Machine Learning for Accelerating Scientific Discovery

Towards Scalable and Reliable Architectures for Quantum Computing Platforms

Human-AI Systems for Visual Information Access

New Approaches to Real-Time Robotic Mapping and Information Gathering

Efficient Machine Learning via Data Summarization

Breaking and Building End-to-End Encrypted Systems

Control Hijacking I

Binary Search Trees for Sentiment Analysis

Introduction to Hashing and Hash Tables

Abstraction in Reinforcement Learning

Improving Team Performance and Dynamics within Human-Robot Teams

Knowledge Is Power: Sensing The Physical World Around Devices

Intro to RISC-V Assembly

Stable Matchings

Distributive Justice for Machine Learning: An Interdisciplinary Perspective on Defining, Measuring, and Remedying Algorithmic Unfairness

Foundations of Intelligent Systems with (Deep) Function Approximators

Sketching Graphs and Matrices

On Sunflowers and Its Friends in Computer Science and Mathematics

Data Structures Meet Circuits and Cryptography

Semantic Foundations for Live Programming Environments

Solving Hard Problems Automatically

Computational Wireless Sensing at Scale

Designing Robust Defenses for Modern Payment Systems

Web Automation for Everyone: From PBD to PBX

Protecting Privacy by Splitting Trust

Towards a Unified Theory of Approximate Optimization

Overcoming the Deep Learning Power Wall with Principled Unsafe Optimization

From Barriers to Bridges: Designing Infrastructures for Help in Online Programming Communities

Democratizing Domain-Specific Accelerators for Next-Generation Computing

Caches: Beyond the Pipeline

Towards Embodied Visual Intelligence

Solving Linear Equations

Context-Driven Implicit Interactions

Using JavaScript and Canvas to Create an Interactive Website (And the Accessibility Issues that May Arise)

Investigating Network Interference at Global Scale

Human-Centric Machine Learning: Enabling Machine Learning for High-Stakes Decision-Making

Beyond Inheritance: The Composition Pattern for Real-Time Visualization, Simulation, and Game Development

Interactive Systems for Code and Data Demography

Computational Models of Human Behavior

Recovering a Functional and Three Dimensional Understanding of Images

Better Understandings of Efficient Data Structures

Unsupervised Learning for Large Scale Medical Image Analysis

Machine Learning By the People, For the People

Characterizing the Space of Adversarial Examples in Machine Learning

Provable and Practical Algorithms for Non-convex Problems in Machine Learning

Understanding How Deep Neural Networks See

Introduction to Random Variables

Sensing + Interaction On and Around the Body

Perceiving the 3D World from Images and Videos

Towards Generalizable Imitation in Robotics

Spam, Drugs, and Diesel: An Evidence-Based Approach to Computer Security

Functional Programming in a Discrete Structures Course

Compositional Visual Intelligence

Towards Ambient Intelligence in AI-Assisted Hospitals

Data Science for Human Well-being

Knowledge from Deep Understanding of Language

Introduction to Linked Lists in C

Real World Security: From Theory to Practice and Back Again

Game Trees

TupleMerge: Building Online Packet Classifiers by Omitting Bits

Expectation and Variance

Rethinking Distributed Systems for the Datacenter

Towards New Systems for Mobile/Cloud Applications

CSE Lecturer Candidate Seminar

Learning from People

Safeguarding Users from Adversarial Networks

Representation Learning for Health with Multi-modal Clinical Data

Ignorance is Bliss: Building Systems with Nothing to Lose

Robots in Clutter: Learning to Understand Environmental Changes

Natural Language Understanding with Paraphrases and Composition

Declarative Interaction Design for Data Visualization

Software-Hardware Systems for the Internet of Things

Safe Machine Learning

New Algorithms for High-Dimensional Data

Social Cybersecurity: Reshaping Security Through An Empirical Understanding of Human Social Behavior

Learning Robot Manipulation Skills through Experience and Generalization

Relaxing Bottlenecks for Fast Machine Learning

Computational Design and Fabrication to Augment the Physical World

Towards Practical Machine Learning with Differential Privacy and Beyond

Sophisticated Batteryless Sensing

Towards a Theory of Fairness in Machine Learning

Perception for Robust, Autonomous Robotic Manipulation – A Question of Balancing Prior Knowledge and Learning From Data

CSE Lecturer Candidate Seminar: Andrew Lukefahr

Online social interactions: a lens on humans and a world for humans

Middleboxes as a Cloud Service

The Human Side of Computer Vision

CSE Lecturer Candidate Seminar: Brandon Myers

Provable Security for Cryptocurrencies and Emergent Distributed Systems

Interacting with Personal Fabrication Machines

Passwords, keys, and coins: improving security from user interfaces to applied crypto protocols

Sustainable Reliability for Distributed Systems

CSE Lecturer Candidate Seminar: Hector Garcia

Unleashing Hardware Potential through Better OS Abstractions

DeepDive: A Data Management System for Machine Learning Workloads

CSE Lecturer Candidate Seminar: Drew Roselli

Performance-aware Repair for Concurrent Programs

Small Summaries, Efficient Algorithms and Fundamental Limits

Wireless Systems that Extend Our Senses: Seeing Through Walls, Gesture Control, and Vital Sign Monitoring

Stamping Out Concurrency Bugs

CSE Lecturer Candidate Seminar #5

CSE Lecturer Candidate Seminar #4

CSE Lecturer Candidate Seminar #3

CSE Lecturer Candidate Seminar #2

CSE Lecturer Candidate Seminar #1

Power Struggles: Designing Processors In the Energy-Constrained Future

Energy Efficient Architectures Using Three Dimensional Integration and Near-Threshold Computing

Making Data Analysis Really About Analysis

Building Mobile Technologies for Underserved Communities

Performance and Reliability in Modern Storage Systems

Structuring Peer Interactions for Learning at Scale

Whats in My Data? Fast, Principled Algorithms for Exploring Large Graphs

Mending the Application-Network Gap in Big Data Analytics

Towards One-Size-Fits-All Data Systems

Revealing Reality Through Reverse Engineering

Rise of the Planet of the Apps: Security and Privacy in the Age of Bad Code

Learnersourcing: Improving Video Learning with Large-Scale Interaction Data

Building a Better Web Browser

Designing Programming Languages to Build Provably Secure Systems

Programming using Automata and Transducers

Crowd-Agents: Creating Crowd-Powered Interactive Systems

Building an Operating System for the Data Center

Unlocking Cellular Computation and Information Processing through Multidimensional Single-Cell Data

Hardware and Software for Approximate Computing

Inference Attacks: Understanding Privacy in the Era of &#34Privacy is Dead&#34

Verified Approximate Computing

Dependable Cyber-Physical Systems

The Good, The Bad, and the Ugly: An Exploration of the Interplay between Networks and Malice

Separating Data from Metadata for Robustness and Scalability

Learning Architectures for Visual Object Recognition

The Promise and Computational Challenges of Personalized Medicine

Software Defined Transport

Packet Transport Mechanisms for Data Center Networks

Understanding Epigenomic Drivers of Human Diseases

Security & Privacy for Existing and Emerging Technologies

Leveraging Data Across Time and Space to Build Predictive Models for Healthcare-Associated Infections

The Origins of Division of Labor and Developmental Complexity: Using Digital Organisms to Understand Major Transitions in Evolution

Stronger Consistency and Semantics for Geo-Replicated Storage

Congestion-Aware Traffic Routing for Large-Scale Multi-Agent Systems

Human-Powered Data Management

Learning in an Adversarial World, with Connections to Pricing, Hedging, and Routing

Toward Data-Scalable Systems

Improving Software Reliability through Decoupled Dynamic Analysis

Large-Scale Visual Recognition Powered by Big Data

Enabling End-Users to Program General-Purpose Robots

Turbulent Fluids for Interactive Graphics

Learning with Humans in the Loop

Using Architecture Support to make Concurrent and Parallel Software Less Buggy and More Reliable

Building the Next Generation of Data-Intensive Systems: From Complex Event Processing to Large-Scale Analytics

Solving Problems with Video Games

Everything I Know About Fast Databases I Learned at the Dog Track

Understanding Daily Activities in Egocentric Video

Static Verification for Web Scripting Languages

RSA in the Real World

Whats Wrong with the Program I Havent Written Yet?

Scaling Software and Hardware for Thousand-Core Systmes

Modeling People from Billions of Photos

Expanding Capabilities for Functional Encryption

SEEC: A Framework for the Self-aware Management of Goals and Constraints in Modern Computing Systems

Crowd-Powered Systems

Discovering Social Network Structure

Toward Richer Visual Recognition: Attributes, Visual Phrases, and Sentences

No Free Lunch in Data Privacy

Deterministic Parallel Java

Why and How: A Reverse Perspective on Data Management

Variational Bayesian Methods for Unsupervised Latent Factor Models of Text and Audio

Very Fast Approximation Algorithms for Big Graphs

Structure and Randomness in Complex Systems

Semantic Image Understanding: From the Web, In Large-Scale, and With Real-World Data

Mechanisms for Usable Multicores

Complex Large-Scale Systems: From Antenna Circuits to Electricity Grids

Toward Visual Learning with Minimal Human Supervision

Extracting and Querying Probabilistic Information in BayesStore

Emotions in Engineering: Methods for the Interpretation of Ambiguous Emotional Content

Sensing and Feedback of Everyday Activities to Promote Environmentally Sustainable Behaviors

Ryan Williams, CSE Faculty Candidate

Emotions in Engineering: Methods for the Interpretation of Ambiguous Emotional Content

Virginia Vassilevska Williams, CSE Faculty Candidate

CSE Fac Candidate, Feng Liu

CSE Fac Candidate, Jingrui He

CSE Fac Candidate, Honglak Lee

CSE Fac Candidate, Alexandru Niculescu-Mizil

CSE Fac Candidate, Eftychios Sifakis

POWER ELECTRONIC CONVERTERS IN POWER SYSTEMS

Learning from Collective Preferences, Behavior, and Beliefs

Electromechanical Energy Conversion – The Dawn of a New Era?

Making Software Robust in Deployed Systems

Computational Prototyping of Power Electronics and Energy Conversion Systems

Compressed Sensing to the Limits: Bounds, Algorithms, and Wireless Applications

Mathematical Techniques for Program Analysis

Leveraging Code Comments to Improve Software Reliability

Manycore Vector-Thread Architectures

Tracking and Reducing Energy Usage in Networked Embedded Systems

Scalable Metric Learning and Fast Similarity Search

High-Throughput Message-Passing Decoder Design for Improved Low Error Rate Performance

Metrics in the Space of Shapes for Optimization and Dynamics

Extracting and Managing Structured Web Data

Problems and algorithms for sequence analysis

Statistical Signal Processing and Random Matrix Theory

Computational Methods for Physiological Data

Markov Logic: Representation, Inference and Learning

Implanting a Fluorescence Microscope: How VLSI Can Change Biomedical Research

Mobile Music Making between Realtime Sound Synthesis and Mobile HCI

Seeing at a Glance: Psychophysical and fMRI Studies on Rapid Natural Scene Perception

Telling the Story of an Image

Secure Web Applications and Expressive Security Policies

Robust and Efficient Robotic Mapping

Security through the Lens of Failure

A Theory of Similarity Functions for Learning and Clustering

Analysis and Defense of Vulnerabilities in Binary Code

Fighting Concurrency Bugs

Optimizing Sensing from Water to the Web

Inferring What's Out There: Probabilistic Reasoning about Unknown Objects

Apprenticeship Learning for Robotic Control with Application to Quadruped Locomotion and Autonomous Helicopter Flight

Hybrid modeling and robustness analysis of cell cycle regulatory circuitry

TBA

Behavior-based Malware Detection

Looking Beyond Performance: Processors for Time Travel

Benchmarking of Energetic Electron Beam Transport in Nail and Wire Targets

Anonymization Techniques for Published Data

From Dream to Reality: Generation of Multi-GeV Electrons Using High Intensity, Ultrafast Laser Pulses

Adaptive Predicated Execution

From Dream to Reality: Generation of Multi-GeV Electrons Using High Intensity, Ultrafast Laser Pulses

Ultrafast structural dynamics observed with atomic scale resolution

Deputy: Dependent Types for Safe Systems Software

Automating the Assembly of Large-Scale, Component-Based Systems

Multiprocessor Architectures for Programmability

Designs of Sensor Networks and Algorithms for Multi Modal Target Tracking

Designing Appropriate Computing Technologies for the Rural Developing World

Ultrafast structural dynamics observed with atomic scale resolution

Sensing and Modeling People's Activities and Interactions in Everyday Environments

Energy Efficient Circuits and Systems for Impulse Ultra-Wideband Communication

Temporal Memory Streaming

Query Execution in Column-Oriented Database Systems

Human Computation

Declarative Networking: Extensible Networks with Declarative Queries

Toward Introspective and Adaptive system Architectures

AEGIS: Architectural EnGine for Information Security

A Novel Approach to Planning for Physical Systems

What we can solve with a sublinear number of samples

Cryptography with Noisy Data

Theoretical challenges in the design of advertisement auctions

SSH Proofs, TCP Leaks, and Not-so-AccuVotes: Comuter Security from Proofs to People

Two Sides of Intrusion Detection: Strengthening and Attacking Model-Based Detectors

The adaptive k-armed bandit

Finding the Shortest Path

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

Efficient Query Processing for Modern Data Management

Merrimac – High-Performance Highly-Efficient Scientific Computing with Streams

Scalable Automated Methods for Software Reliability

Motion Planning for Legged Robots on Irregular and Steep Terrain

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

The Information Theory of Sleeping Sensors and Idle Servers

Probabilistic Techniques for Mobile Robot Mapping and Exploration

Query Processing for Large-Scale Brokering

Program Analysis with Binary Decision Diagrams

New Notions of Security

Secure content distribution using untrusted servers

Managing Confidentiality for Exchanged Data

Preserving privacy of digital information

New Algorithms and Insights for Routing Problems

Linear Programming and Arrangements

Automatically Checking the Correctness of Program Analyses and

Learning to Walk by Actuating a Passive Dynamic Walker

Random Interpretation

Robots that Cover, Climb, and SLAM!

Data mining large databases: scalability considerations

Challenges in Designing Embedded Communication Systems

Fast Back-Projection Algorithms for Image Formation in Computer Tomography and Synthetic Aperture Ra