All Seminars

Sparse Feature Circuits: Discovering and Editing Interpretable Causal Graphs in Language Models

Generalizing Beyond the Training Distribution through Compositional Generation

MSLD | Midwest Speech & Language Days

Programmable Software Systems for Correct High-performance Applications

MSLD | Midwest Speech & Language Days

An Almost Logarithmic Approximation for Cutwidth

Circular Interactive Material: making ubiquitous computing more scalable and sustainable

Learning from Interaction

The AI Bill of Rights and the Future of Technology Policy

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

Annual Ethical AI Symposium 2024

On the Existence of Seedless Condensers: Exploring the Terrain

Security Protection for the Cyber-physical World

Towards Principled Sequential Decision-Making

Intelligent Textiles for Physical Interactions

Leveraging Formal Methods for Trustworthy AI-assisted Software Development

Connecting the Dots Between AI Ethics & Sustainability

Unlocking musical creativity with generative AI

Towards 4D Reconstruction in the Wild

Unleashing the Power of Ubiquitous IoT Sensors for Ambient Intelligence

Finding Shortest Paths in the Real World

On Building General-Purpose Home Robots

Building Planetary-Scale Collaborative Intelligence

Quantum Research Institute Seminar | Demonstration of algorithmic quantum speedup

Towards Principled Modeling of Inductive Bias for Generalizable Machine Learning

The Synergistic Collaboration of Heterogeneity in Sensing and Communication for Ubiquitous Intelligence

MIDAS Symposium | The AI in Science and Engineering annual symposium

From Pixels to Measurements: Understanding the Dynamic World

MIDAS Symposium | The AI in Science and Engineering annual symposium

Exact Emulators for Planar Graphs

Data Privacy in the Decentralized Era

Causal Inference for Robust, Reliable, and Responsible NLP

Algorithms for Designing Randomized Controlled Trials and for Solving Structured Linear Equations

Reimaging the Cloud: Data-Centric Multi-Acceleration at Scale

Recent progresses on Correlation Clustering

Understanding Language Models through Discovery and by Design

Designing efficient and scalable cache management systems

Towards a Science of Human-AI Decision Making: Empirical Understandings, Computational Models, and Intervention Designs

Technology Meets Creativity: A Workshop on AI and Creative Arts

The Binomial Theorem

Modern Clouds: Side-Channel Attacks and Defenses

We love being a professor. So would YOU!

Hardware-Aware Efficient Primitives for Machine Learning

Using Large Language Models to Understand Human Cognition

From Autonomy to Synergy: Envisioning Next Generation Human-AI Partnerships

Impacting the future one failure at a time

What is a line of “best” fit? A framework for building predictive models

Accessible Foundation Models: Systems, Algorithms, and Science

Fast, Flexible, and Intelligent Next-Generation Networks

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

New techniques for convex optimization and sparsification

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

Realizing AI for Impact: Uncertainty and Human-Agent Collaboration in Multi-Agent Systems for Public Health and Conservation

An Introduction to Inheritance in Java

Strategic Reasoning in Machine Learning, with Implications for Security and Fairness

Code Representation Learning at Scale

New Approximation Bounds for Small-Set Vertex Expansion

Designing Trustworthy Systems

Excellence at scale: Computer Science & Engineering at big public universities

Gaussian Polytope Approximators

Reflections on my Research, Teaching, and Leading: Energy-Efficient, Reliable & Fun Computing Across the Hardware/Software Stack

Rewriting Conventional Societal Narratives with Data and AI

Bridging the Socio-Technical Gap: Towards Explainable and Responsible AI

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

Data-driven Solutions for Blood Glucose Management

Computing and AI: Traversing the Journey from Innovation to Convergence to Translation

Separating MAX 2-AND, MAX DI-CUT and MAX CUT

The promise and pitfalls of AI. Artificial Intelligence: Do you trust it?

What Can Cryptography Do For Decentralized Mechanism Design?

Generative AI Tutorials | Making Generative AI Better for You: Fine-tuning and Experimentation for Custom Research Solutions

Firm Foundations for Private Machine Learning and Statistics

Bridging AI, Data, and Epidemiological Models

Batteries Beyond Batteries

Towards Human-Centered AI Alignment via Interaction: Human-in-the-loop AI Explanation, Evaluation, and Feedback

Automatically Capturing and Reflecting Latent Label Dependencies in Machine Learning Models

Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation

Human-Centered Artificial Intelligence at Howard University

Are there graphs whose shortest path structure requires large edge weights?

MIDAS Annual Data Science & AI Summit 2023

Teaching Faculty Candidate Seminar: Introduction to Hash Tables

MIDAS Annual Data Science & AI Summit 2023

Interaction Design Challenges for AI in Medicine

Deeparnab Chakrabarty: Parallel Submodular Function Minimization

Generative AI Tutorials | Integrating Generative Image AI into Your Research Workflow

Unifying the Cognitive Sciences

Learning Syntactic Structures from Visually Grounded Text and Speech

Victor Reis: Optimal Online Discrepancy Minimization

MIDAS mini-symposium | AI-driven Research Workflows

Imaginative Vision Language Models

Recent Advancements in Quantization, Pruning and Knowledge Distillation

Generative AI Tutorials | Code Smarter, Not Harder: Harnessing Generative AI for Research Programming Efficiency

Michigan AI Symposium | Responsible AI

Task Planning with Large Language Models

Lars Rohwedder: Simpler and stronger approximation algorithms for flow time scheduling

Midwest Programming Languages Summit

AGI is Coming… Is HCI Ready?

Sidestepping the Black-Box: A New Paradigm for Explainable AI

Towards Collaborative Autonomy

Toward The Next-Generation Health and Well-being: The Synergy of Behavior Modeling and Intervention

Generative AI Tutorials | Writing, Planning and Literature Review: Enhancing Professional Productivity with Generative AI

Answering Why Questions about Narrative Text

Learning to Re-create Reality in 3D

AI for Medical Imaging

Why a Privacy First Approach to Technology Policy is better than a Censorship First Approach

Postcards from the Future

MIDAS mini-symposium | Generative AI: Diffusion Models for Scientific Machine Learning

NSF Priorities and Opportunities for Data Science and AI

From NLP to socially and personally contextualized understanding | Modeling empathy in NLP for Support-Oriented Interactions

Measuring and Improving the Internal Conceptual Representations of Deep Learning

An Under the Hood Look at Generative AI: Potentials and Pitfalls | Generative AI Coast-to-Coast Series

Conversations on Policy, Ethics, and Generative AI | Generative AI Coast-to-Coast Series

Generative AI in the Lab | Generative AI Coast-to-Coast Series

Effective and Efficient Knowledge-Intensive NLP

Human-Centered AI Transparency: Lessons Learned and Open Questions in the Age of LLMs. Lecture to be followed by panel discussion.

EECS Juneteenth Celebration: Tech Empowering Our Communities

NSF Priorities and Opportunities for Data Science and AI

SafeBet: A Simple, Secure and Fast Solution for Spectre and Meltdown

From Theory to Practice: Building Ethical and Trustworthy AI

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

Preparing for Your Industrial Job Search

Perceiving Humans in 4D

Data and AI in Society Forum Series: Generative AI, Composition, and Creativity

Wireless Sensing for Ubiquitous Internet of Things

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

Implementing AI in Health

Zihan Tan: Almost-Optimal Sublinear Additive Spanners

Distance-Estimation in Modern Graphs: Algorithms and Impossibility

Programming Distributed Systems

A Hybrid Computing Ecosystem For Practical Quantum Advantage

Responsible Data Science and AI mini-symposium

Persistent Memory Programming on Conventional Hardware

Robust IoT Communication and Sensing with Extreme Efficiency

Learning to Re-create Reality in 3D

Exploiting Domain Knowledge and Modular Semantics in Deep Learning for Natural Language Comprehension and Grounding

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

AI in Science & Engineering Day

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

Or Zamir: Algorithmic Applications of Hypergraph and Partition Containers

A Defense of (Empirical) Neural Tangent Kernels

Quantum and Cryptography: Challenges and Opportunities

Privacy-Preserving Accountability Online

Sasha Golovnev: Polynomial formulations as a barrier for reduction-based hardness proofs

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

Systematic Study of 75K Models on Hugging Face

Designing Provably Performant Networked Systems

Enabling Compositional Generalization of AI Systems

Reinforcement Learning from Static Datasets: Algorithms, Analysis and Applications

Min Jae Song: Continuous LWE

Manik Dhar: ℓ∞ linear hashing and two-sided Kakeya bounds

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

Confounding-Robust Policy Learning under Sequentially Exogenous Unobserved Confounders

Understanding Recursion Beyond Simple Problems

Sophie Huiberts: Smoothed analysis of the simplex method

DEI Speaker Series – How the Stock Market is a Cryptography Problem (and no, this isn’t about cryptocurrency)

AI Seminar: Cynthia Rudin – Understanding How Dimension Reduction Tools Work

Snigdha Chaturvedi: Modeling People in Story Generation

Fire! Sensing Smoke Across the US using Multiple Linear Regression

Quantum Computing Systems: Challenges and Opportunities

Liren Shan: Higher-Order Cheeger Inequality for Partitioning with Buffers

Binary Search Trees

Programmable In-network Security

Human-centered computing for healthcare and education: From robust machine intelligence to trustworthy human-technology partnership

Database Concepts

DNA Punch-Cards: Implementations and Coding-Theoretic Questions

Data, the Fundamental Particle of Economics

CS Undergrad Honors Thesis: Meshing Parametric Surfaces to Follow Lines of Curvature

AI Seminar: Stella Yu – Unsupervised Data-Driven Learning of Visual Hierarchy

William Hoza: Recent Progress on Derandomizing Space-Bounded Computation

Teaching Demonstration (Hashtables)

AI Seminar: Iryna Gurevych – Comment – Link – Revise: Towards a General Framework for Modelling Interconnected Texts

Introduction to Dynamic Programming

Jessica Sorrell: Replicability in Learning

First Look at Binary Search Trees

Friday Night AI | “Is AI Robust Enough to Withstand Attacks?”

Yang Liu: Lessons on Algorithmic Graph Theory from Maxflow

AI Seminar: David Jurgens – Does chocolate really cure cancer? Modeling Information Change in Science Communication

Michigan AI Symposium – AI & Accessibility

Aaron Bernstein: Negative-Weight Single-Source Shortest Paths in Near-linear Time

Artificial Intelligence and Human Values, U-M Obert C. Tanner Lecture

The End of Testing? The Promise of Verification-Driven Software Engineering

Sorrachai Yingchareonthawornchai: Deterministic Small Vertex Connectivity in Almost Linear Time

Vincent Cohen-Addad: Sublinear time algorithms for Euclidean clustering coresets and correlation clustering

Haotian Jiang: Resolving Matrix Spencer Conjecture Up to Polylogarithmic Rank

AI Seminar: Con Slobodchikoff – Decoding Animal Languages: Possibilities and Challenges

How (Not) to Run a Forecasting Competition: Incentives and Efficiency

Prediction, Causality and the Great In-between

AI Seminar: Benjamin Kuipers – AI, Ethics, Trust, Cooperation & Society

Zeyu Guo: Fast Multivariate Multipoint Evaluation over All Finite Fields

AI Seminar: Rada Mihalcea – The Ups and Downs of Word Embeddings

Friday Night AI | “The school year has just started. Can AI help?”

A conversation with Aftin Ross

Fernando Granha Jeronimo: Almost Ramanujan Expanders from Arbitrary Expanders via Operator Amplification

LEAP 10 Years Post-Ph.D.: Lessons, Experiences, and Action Planning

Haotian Jiang: Minimizing Convex Functions with Integral/Rational Minimizers

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

Mitali Bafna: Playing Unique Games on Certifiable Small-Set Expanders and High-Dimensional Expanders

Parth Mittal: Brooks’ Theorem in Graph Streams

Scalable and Provably Robust Algorithms for Machine Learning

Responsible Design of Information Access Systems

Learning to Generate Data by Estimating Gradients of the Data Distribution

Huacheng Yu: TBD

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

Fighting Vulnerabilities With Process, Insight, and Automation

Max Hopkins: Hypercontractivity on High Dimensional Expanders: a Local-to-Global Approach for Higher Moments

Unleashing the Potential of In-Network Computing

Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms

Towards a Foundation for Reinforcement Learning

Ryan Williams: Constructive Separations and Their Consequences

Machine Learning Powered Query Optimization

Optimizing CPU Efficiency and Tail Latency in Datacenters

Formal Verification of a Concurrent File System

Santhoshini Velusamy: Approximating CSPs in the streaming setting

Secure Multi-Party Computation: from Theory to Practice

Efficient and Accurate Systems for Querying Unstructured Data

Bringing Ethics and Justice into CS Courses: The Social and Political Factors at Play in Entry-Level CS Concepts

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

Robert Robere: Pseudorandom Self-Reductions for NP-Complete Problems

Unlocking the Next Level of Dependable Cloud Systems

Advancing Health Equity and Access using Responsible AI

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

Grounding Language by Seeing, Hearing, and Interacting

Deeksha Adil: Fast Algorithms for l_p-Regression and Other Problems

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

Michael Dinitz: Faster Matchings via Learned Duals

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

Ce Jin: Fast Low-Space Algorithms for Subset Sum

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

Human-Centered Explainable AI (XAI): From Algorithms to User Experiences

Algorithmic Gaussianization in Machine Learning

Computing Using Time

Defining cellular identity from single-cell genomic data with machine learning

Arun Jambulapati: Ultrasparse Ultrasparsifiers and Faster Laplacian System Solvers

Teaching Faculty Candidate Seminar: Gerald Soosai Raj

Vera Traub: Better-Than-2 Approximations for Weighted Tree Augmentation

Teaching Faculty Candidate Seminar–Gina Bai

Teaching Faculty Candidate Seminar–Elba Garza

Portable Laser Cutting

Beyond the First Portrait of a Black Hole

A Characterization of Approximability for Biased CSPs

Teaching Faculty Candidate Seminar: Alan Weide

Teaching Faculty Candidate Seminar: Saquib Razak

Expanding the frontiers of AI – Applications in Environmental Conservation and Health

Race-Aware Algorithms: Fairness, Nondiscrimination, and Affirmative Action

APMF < APSP? Gomory-Hu Tree for Unweighted Graphs in Almost-Quadratic Time

The Demikernel Datapath Architecture for Microsecond-scale Datacenter Systems

Lecture by Yong Chen

Towards Usability, Transparency, and Trust for Data-Driven Discovery

Linear Probing Revisited: Tombstones Mark the Demise of Primary Clustering

Improving Argumentation Skill Learning Through Artificial Intelligence

Arnold Filtser: Clan Embeddings into Trees, and Low Treewidth Graphs

Optimization-friendly generic mechanisms without money.

Virtual Campus Visit with NSF CISE AD Dr. Margaret Martonosi

Neural Architecture

Breaking the 2^n barrier for 5-coloring and 6-coloring

Approaches to Grounded Language Acquisition from Human Interaction

Towards robust, interpretable, and fair social and public health interventions

Fully Dynamic Electrical Flows: Sparse Maxflow Faster Than Goldberg-Rao

Inference and the “Racial Drama” of AI

Explainability for Neural Text Classifiers

The Challenge of Autonomy

Building Cryptography for Big Data

On the Complexity of Consensus-Halving and Necklace Splitting

Knowledge-enhanced Text Generation: The Curious Case of Figurative Language and Argumentation

Unleashing African Talent in the Era of the 4th Industrial Revolution

Accelerating Sampling Algorithms via Domain Sparsification

The facebook files at training time: incentivizing discrimination in machine learning

Lecture by Mahlet (Milly) Zimeta

Towards Building Internet of Vehicles

The Complexity of Gradient Descent: CLS = PPAD∩PLS

k-Forrelation Optimally Separates Quantum and Classical Query Complexity

Continual Language Learning through Collaborative Interaction with Users

Supervised Machine Learning: Applications, Opportunities, and Challenges in Banking with a Focus on Interpretability

Addressing challenges in real-time perception processing for automated driving

Censored Planet Webinar

Negative probabilities: what are they for?

Machine Learning and Causality: Building Efficient, Reliable Models for Decision-Making

AI for Sustainable Development

The zero-rate threshold of adversarial bit-deletions is less than 1/2

Reversing Color Coding

Information theoretic limits of cardinality estimation: Fisher meets Shannon

Empathy in peer-to-peer mental health support

Compositional Reasoning in Robot Learning

Approximation Algorithms for Fair Clustering

Adaptive gradient descent methods for constrained optimization

Bridging Algorithmic and Statistical Randomness in Machine Learning

IDEs for Ideas

Enabling Hyperscale Web Services

An Improved Exponential-Time Approximation Algorithm for Fully-Alternating Games Against Nature

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

Toward Broad and Deep Language Processing for Intelligent Systems

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

Diversity and Fairness in Data Summarization Algorithms

(a biased selection of) Recent Developments in Combinatorial Auctions

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

Approximation Algorithms and Hardness for Strong Unique Games

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

Adversarial Streaming, Differential Privacy, and Adaptive Data Analysis

Prioritizing Computation and Analyst Resources in Large-scale Data Analytics

Learning Through Interaction in Cooperative Multi-Agent Systems

Prophet and Secretary Online Algorithms for Matching in General Graphs

Tight Bounds for Adversarially Robust Streams and Sliding Windows via Difference Estimators

Deterministic Mincut in Almost-Linear Time

Fooling Constant-Depth Threshold Circuits

Improved Analysis of Higher Order Random Walks

Introduction to Cache Organization

New algorithms and lower bounds for all-pairs max flow

Accidental Research: Scalable Algorithms for Graph Automorphism and Canonical Labeling

I Am Error: How Math Can Automatically Fix Mistakes

Approximating the Diameter of a Graph

Fast algorithms for linear programs and bipartite matching via new data structures and interior-point methods

Hash Tables Lecture

New Analysis of the Factor Refinement Algorithm with Applications

Explainability and Interpretability through Interaction

Impartial selection, additive approximation guarantees, and priors

Pursuing Health and Inclusion Through Sociotechnical Systems

Bridging Continuous and Discrete Optimization through the Lens of Approximation

Objectively Measure Developers’ Cognitive Activities: Code, Biases, and Brains

Mobile Health Approaches to Precision Medicine

Machine Learning and Causality: Building Efficient, Reliable Models for Decision-Making

AI & Accessibility: Ethical Considerations

A Unified and Fine-Grained Approach for Light Spanners

Towards General Purpose Specialization

Collaboration as a Lens for Inclusive Technical Innovation

U-M Data Science Annual Symposium 2020

U-M Data Science Annual Symposium 2020

Edge-Weighted Online Bipartite Matching

Jitendra Malik | Where Do We Come From, What Are We Doing, Where Are We Going

Coloring and Maximum Weight Independent Set of Rectangles

Realizing the Promise of Autonomy

Towards Optimal Separations between Quantum and Randomized Query Complexities

Automotive Cloud Computing

Danielle Belgrave | ML for Personalized Mental Healthcare

Computational Hardness of Optimal Fair Computation

Aggregating Inconsistent Information in Ranking, Clustering and Phylogenetic Trees

Pascale Fung | Deeper Conversational AI

New Techniques for Proving Fine-Grained Average-Case Hardness

Data Science and Politics

Hypergraph k-cut for fixed k in deterministic polynomial time

Semantic Scholar, NLP, and the Fight Against COVID-19

Non-Adaptive Adaptive Sampling in Turnstile Streams

MIDAS Reproducibility Day

The Menu-Size of Approximately Optimal Auctions

Cracking the diversity code: Understanding computing pathways of those least represented in order to foster their representation

Beyond Algorithmic Fairness: What Social Justice Needs from Data Science

MIDAS Reproducibility Challenge Showcase

“Is AI Racist?”

MIDAS Reproducibility Challenge Showcase: #6

MIDAS Reproducibility Challenge Showcase: Sharon Glotzer – An Open Software Approach for Reproducible Research for Materials Design

MIDAS Reproducibility Challenge Showcase: #5

A Mobile/wearable Platform for Collecting Data on Sleep and Circadian Rhythms in the Time of COVID

A Scalable Tool for Longitudinal Twitter Analysis

Learning sight from sound

Efficient Belief Propagation for Perception and Manipulation in Clutter

A Data Scientist Plays Games

Understanding and Generating Natural Language of Complex Discourse

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

An Algorithm for Hypergraph k-Cut

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

Towards a Unified Theory of Matching Sparsifiers

The Value Alignment Problem in Artificial Intelligence

Machine Learning for Accelerating Scientific Discovery

Distortion-based Analysis of Voting: Limited Communication, and an Analysis Framework based on LP Duality and Flows

Towards Scalable and Reliable Architectures for Quantum Computing Platforms

Is It Possible to Democratize AI for Business

Human-AI Systems for Visual Information Access

New Approaches to Real-Time Robotic Mapping and Information Gathering

Software-Hardware Systems for the Internet of Things

Logic Solvers and Machine Learning: The Next Frontier

How Language Makes Us Smart (Without Big Data)

Efficient Machine Learning via Data Summarization

Breaking and Building End-to-End Encrypted Systems

Control Hijacking I

Security Games: Quasi-Regular Sequences, and a new version of TSP

Binary Search Trees for Sentiment Analysis

Introduction to Hashing and Hash Tables

NumPy: A look at the past, present, and future of array computation

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

AI for Good: Computer Science Helping the World

Stable Matchings

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

Language Grounding in Situated Communication

Foundations of Intelligent Systems with (Deep) Function Approximators

Sketching Graphs and Matrices

Enabling Continuous Learning through Synaptic Plasticity in Hardware

Software Engineering Intelligence

On Sunflowers and Its Friends in Computer Science and Mathematics

Data Structures Meet Circuits and Cryptography

Applications of AI for Accessibility

Supporting Efforts to Broaden Participation in Computer Science

The Complexity of Finding S-factors in Regular Graphs

Principled Secure Processor Design

Word Embeddings: What Works, What Doesn’t, and How to Tell the Difference for Applied Research

Building Multi-Language Tools

Bias in Search and Recommenders Systems

Fine-grained hardness of CVP(P)— Everything that we can prove (and nothing else)

From Recognition to Reasoning

Quantifying Cell Type-Specific Changes in Transcriptional State and Gene Co-Regulation Across Multiple Datasets Using SCRANA-SEQ

How Powerful Are Graph Neural Networks?

Using deep-learning methods to predict cancer patient survival

An Adaptive Step Toward the Multiphase Conjecture

MIDAS 2019 Annual Symposium – Embracing the Challenge: Data Science for the Next Ten Years

MIDAS 2019 Annual Symposium – Embracing the Challenge: Data Science for the Next Ten Years

A Graph-Based Dataflow Architecture for Executing Neural Networks

Addressing challenges in real-time perception processing for automated driving

MIDAS 2019 Annual Symposium – Embracing the Challenge: Data Science for the Next Ten Years

Joint Models for Social, Behavioral and Textual Information

Rackham Faculty Allies Speaker Series: Mohammad Irfan

Getting Computer Systems Ready for Visual Computing in Ten Years

Towards building Internet of Vehicles

Toward Human-Like AI: Cognitive Architecture, Common Model of Cognition & Interactive Task Learning

Cup Emptying Games and I/O Scheduling

Constructing Tumor-Specific Gene Regulatory Networks Based on Samples with Tumor Purity Heterogeneity

Managing Stress: The Needs of Autistic Adults in Video Calling

AI for Intelligent Financial Services: Examples and Discussion

Learning & Exploiting Low-Dimensional Structure in High-Dimentional Data

Algorithms for Coping with Intractability and Uncertainty

Michigan AI Symposium – “AI for Society”

Parallelizing Greedy for Submodular Set Function Maximization

PCS Framework, Interpretable Machine Learning, and Deep Neural Networks

The polymorphic gateway between structure and algorithms: Constraint Satisfaction and Beyond

Friends Don’t Let Friends Deploy Black-Box Models: The Importance of Intelligibility in Machine Learning for HealthCare

EECS Homecoming Luncheon

Detection structure and patterns in big biomedical data

Computational exercises of creative language

Are you a researcher looking for genetic and clinic data? Do you need assistance in data analysis?

Rackham Faculty Allies Speaker Series: Nina Mishra

Feedback-Driven Processors

Game Playing Meets Game Theory: Strategic Learning from Simulated Play

Benchmarking at Scale: Comparing Analysis Workflows for Single-Cell Genomic Data

Predictive Analytics in Healthcare: From Anomaly Detection to Development of Clinical Decision Systems

The Strength of Long-Range Ties

Expander Decompositions: Fast Algorithms and Applications

statistical Methods for Flexible Differential Analysis of Cross-Sample Single-Cell RNA-Seq Datasets

Efficient Algorithms for Learning Combinatorial Structures from Limited Data

System and Architecture Design for Safe and Reliable Smart Applications

Semantic Foundations for Live Programming Environments

Supercharge analytics over large IoT data: an OS approach

Why Do Neural Networks Learn?

Data Science at The New York Times

Solving Hard Problems Automatically

Learning Hierarchical Control Programs

Bridging Data, Design, and Domain Knowledge to Build Human-Centered Systems that Support Wellbeing

Making Connections: Data Science Approaches to Understanding Mood and Cognition in the Modern Er

The Role of Context in Natural Language Processing

Towards Human-Level Recognition via Contextual, Dynamic, and Predictive Representations

Efficient Training and Inference in Deep Learning

Computational Wireless Sensing at Scale

Scalable Bayesian Inference With Hamilton Monte Carlo

Understanding and Improving Deep Neural Networks

Designing Robust Defenses for Modern Payment Systems

Infusing Structure into Machine Learning Algorithms

Towards Generalization and Efficiency in Reinforcement Learning

Scaling database systems to high-performance computers

Matrix Completion in Network Analysis

Seven Things: Frank Zappa, T. Coraghasen Boyle, and Twenty-one Years in Security

Web Automation for Everyone: From PBD to PBX

Protecting Privacy by Splitting Trust

Towards a Unified Theory of Approximate Optimization

Revisionist Simulations: A New Technique for Proving Space Lower Bounds

Overcoming the Deep Learning Power Wall with Principled Unsafe Optimization

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

Rethinking the relationship between data and robotics

Democratizing Domain-Specific Accelerators for Next-Generation Computing

Caches: Beyond the Pipeline

Towards Embodied Visual Intelligence

Model-driven network management

Image Synthesis for Self-Supervised Visual Representation Learning

On the Quantitative Hardness of the Closest Vector Problem

Solving Linear Equations

Computational Modeling in Human-Computer Interaction

Context-Driven Implicit Interactions

Information Extraction from Online Text — from Opinions to Arguments to Persuasion

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

Teachable Cognitive Systems

Coding Theory in the Big Data Era

Evolution-Aware Runtime Verification

Constant Time Coloring in the Congested Clique

Is Robust ML Really Robust?

Toward a Healthier ML Development Ecosystem, for Just Four Pizzas a Day

Efficient Density Evaluation for Smooth Kernels

Digital Technologies and Intimate Partner Violence

Towards Open-domain Generation of Programs from Natural Language

wPerf: Generic Off-CPU Analysis to Identify Bottleneck Waiting Events

Program Synthesis for Reliable and Interpretable Artificial Intelligence

Dynamic Spanning Forest: Techniques and Connections to Other Fields

The job Talk Talk: How to Prepare for the Faculty Interview Process

Investigating Network Interference at Global Scale

Building Domain-Specific Knowledge with Human in the Loop

Learning-Driven Algorithms for Discrete Optimization

Nearly Work-Efficient Parallel Algorithm for Digraph Reachability

Supporting Interactions in Online Groups. A new Challenge for AI.

The Unreasonable Effectiveness of Almost Optimal Hardness

Triaging and Debugging Failures in Deployed Software by Reverse Execution

Nearly complete graphs decomposable into large induced matchings and their applications

Screaming Channels: When Electromagnetic Side Channels Meet Radio Transceivers

New Paradigms in Cache Architectures

Why Extension-based Proofs Fail

How Do We Make Ethical Robots?

Backtracking System Intrusions at Enterprise Scale

The Power of Natural Properties as Oracles

The Search for Emotions, Creativity, and Fairness in Language

The Structure of Unique Shortest Paths in Graphs

The Use of Emotion Flows in the Analysis of Creative Writing

Recent Progress in Bipartite Matching Problems

Linear Sketching for Functions over the Boolean Hypercube

Theory Seminar Kick-off

Server Architecture for the Post-Moore Era

Dialogue-based Deception Detection

The Physics Behind Automating Content Authoring

Make Your Database Dream of Electric Sheep: Designing for Autonomous Operation

Inferring Insertion Times in Bloom Filters

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

Distributed Edge Coloring

Data Science with Provable Privacy Guarantees

Visual Computational Sociology: Methods and Challenges

Interactive Systems for Code and Data Demography

Computational Models of Human Behavior

Scaling Security Practices: Automated Approaches to Eliminate Security Vulnerabilities

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

Near-optimal linear decision trees for k-SUM and related problems

Introduction to Random Variables

Sensing + Interaction On and Around the Body

Perceiving the 3D World from Images and Videos

The Foundations of Applied Cryptography

Towards Generalizable Imitation in Robotics

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

Lower Bounds on Sparse Spanners, Emulators, and Diameter-reducing shortcuts

Functional Programming in a Discrete Structures Course

Compositional Visual Intelligence

New Tools for Distributed and Interactive Learning

Towards Ambient Intelligence in AI-Assisted Hospitals

Eliciting Expert Information without Verification

Data Science for Human Well-being

Fairness and Diversity in Online Social Systems

Reinventing the Physical Layer to Enable Next-Generation Sensing and Computing Systems

Knowledge from Deep Understanding of Language

Nearly Work-Efficient Parallel Algorithm for Digraph Reachability

Learning to Compute without Reliable Power

Harnessing Data Science for the HW Verification Process

Introduction to Linked Lists in C

Major Challenges of Using AI in Healthcare, and Some Potential Solutions

Real World Security: From Theory to Practice and Back Again

Property testing in the presence of erased data

Game Trees

Graph Matchings in the Data Stream Model: A Survey

Enabling Data Science for the Majority

Information-Theoretic Approaches to Neural Network Compression, Clustering and Concept Learning

Balancing Security-Privacy and Functionality in Software Synthesis

Open Problem Session

The Job Talk Talk: How to Prepare for the Faculty Interview Process

Secure delegation of quantum computation

Situated Language Processing Towards Interactive Task Learning

Efficient Fine-grained Algorithms

Science on Screen: AlphaGo

How the IIoT Makes Cars Autonomous, Medical Systems Smart, and Energy Renewable

Inferring and Summarizing Multi-source Graph Data && Learning Actionable & Credible Risk Stratification Models for Healthcare

NOTE LOCATION : 3433 EECS : Data and Decision Sciences for Mobility

Efficient Massively Parallel Methods for Dynamic Programming

Fixing healthcare IT

Words and People

Consistency Thresholds for the Planted Bisection Model

Design and Synthesis of Approximate Computing Circuits

GAON: General-purpose Application Offload to Near-Network Processors

Hybrid Intelligence Crowdsourcing for Robust Interactive Intelligent Systems

Machine Reading of Natural Language and Interactive Visualization

Robots and Ethics

Vehicular communications A broad overview

Bayesian estimation from few samples: community detection and related problems

Combining Human and Machine Intelligence to Tackle Social Science Problems

Securing Physically Unclonable Functions

K-Means Clustering: Algorithm and Its Properties

Planar Graph Perfect Matching is in NC

Learning Fast and Slow: Levels of Learning in General Autonomous Intelligent Agents && Semantic Robot Programming

Reliably Managing Unreliable Data

Everyday Activity Science and Engineering (EASE)

Teaching Computers to See and Think

Distributed Exact Weighted All-Pairs Shortest Paths

Deep Reinforcement Learning for Sequential Decision Making Tasks with Natural Language Interaction

Towards Joint Understanding of Images and Language

Instance Optimal Learning

Global Measurement of DNS Manipulation

Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis

TupleMerge: Building Online Packet Classifiers by Omitting Bits

Directions in Hybrid Intelligence: Complementing AI Systems with Human Intelligence

Expectation and Variance

Influence Maximization (IM) on Social Networks: The State-of-the-Art and the Gaps that Remain

Defending dissidents against targeted digital surveillance

Libratus: Beating Top Humans in No-Limit Poker

Influence Panel: Women in Computing

Dissecting Driver Behaviors Under Cognitive, Emotional, Sensorimotor, and Mixed Stressors

Generalization and Equilibrium in Generative Adversarial Nets (GANs)

Rethinking Distributed Systems for the Datacenter

Synthesis Techniques for Security

Towards New Systems for Mobile/Cloud Applications