Cindy Estell

Name: Formal Verification of a Concurrent File System
Start: 2022-03-28T10:30:00-04:00
End: 2022-03-28T11:30:00-04:00
Location: 3725 Beyster Building

Events
Organizers
Cindy Estell

cestell@umich.edu

Events from this organizer

October 2019

October 22, 2019 @ 5:00 pm - 6:00 pm

AI for Intelligent Financial Services: Examples and Discussion

1303 EECS Building 1301 Beal Avenue, Ann Arbor, MI, United States

November 2019

November 8, 2019 @ 2:00 pm - 3:00 pm

Rackham Faculty Allies Speaker Series: Mohammad Irfan

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

December 2019

December 16, 2019 @ 10:30 am - 11:30 am

Supporting Efforts to Broaden Participation in Computer Science

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 2020

January 9, 2020 @ 10:30 am - 11:30 am

Data Structures Meet Circuits and Cryptography

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 14, 2020 @ 10:30 am - 11:30 am

On Sunflowers and Its Friends in Computer Science and Mathematics

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 16, 2020 @ 10:30 am - 11:30 am

Sketching Graphs and Matrices

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 21, 2020 @ 10:30 am - 11:30 am

Foundations of Intelligent Systems with (Deep) Function Approximators

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 22, 2020 @ 10:30 am - 11:30 am

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

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 23, 2020 @ 10:30 am - 11:30 am

Stable Matchings

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 24, 2020 @ 10:30 am - 11:30 am

AI for Good: Computer Science Helping the World

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 24, 2020 @ 1:30 pm - 2:30 pm

Intro to RISC-V Assembly

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 27, 2020 @ 10:30 am - 11:30 am

Knowledge Is Power: Sensing The Physical World Around Devices

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 28, 2020 @ 10:30 am - 11:30 am

Improving Team Performance and Dynamics within Human-Robot Teams

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 30, 2020 @ 10:30 am - 11:30 am

Abstraction in Reinforcement Learning

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 2020

February 3, 2020 @ 10:30 am - 11:30 am

Introduction to Hashing and Hash Tables

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 6, 2020 @ 10:30 am - 11:30 am

Binary Search Trees for Sentiment Analysis

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 11, 2020 @ 10:30 am - 11:30 am

Control Hijacking I

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 13, 2020 @ 10:30 am - 11:30 am

Breaking and Building End-to-End Encrypted Systems

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 17, 2020 @ 10:30 am - 11:30 am

Efficient Machine Learning via Data Summarization

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 18, 2020 @ 10:30 am - 11:30 am

Logic Solvers and Machine Learning: The Next Frontier

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 19, 2020 @ 10:30 am - 11:30 am

Software-Hardware Systems for the Internet of Things

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 20, 2020 @ 10:30 am - 11:30 am

New Approaches to Real-Time Robotic Mapping and Information Gathering

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 24, 2020 @ 10:30 am - 11:30 am

Human-AI Systems for Visual Information Access

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 25, 2020 @ 10:30 am - 11:30 am

Towards Scalable and Reliable Architectures for Quantum Computing Platforms

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 26, 2020 @ 10:30 am - 11:30 am

Machine Learning for Accelerating Scientific Discovery

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 27, 2020 @ 10:30 am - 11:30 am

The Value Alignment Problem in Artificial Intelligence

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

March 2020

March 9, 2020 @ 10:30 am - 11:30 am

Scalability and Methods of Deep Learning from an Optimization Viewpoint

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

March 10, 2020 @ 10:30 am - 11:30 am

Algorithmic Paradigms for Dynamic Graphs

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

March 16, 2020 @ 10:30 am - 11:30 am

Better Foundations for Secure Software: Minimize Trust and Verify It

Remote/Virtual

March 17, 2020 @ 10:30 am - 11:30 am

Analyzing Programs in the Era of Software 2.0

Remote/Virtual

March 18, 2020 @ 10:30 am - 11:30 am

Learning from Societal Data: Theory and Practice

Remote/Virtual

March 19, 2020 @ 10:30 am - 11:30 am

Foundations of Optimizable Gradual Typing

Remote/Virtual

March 23, 2020 @ 10:30 am - 11:30 am

Automating Failure Diagnosis for Distributed Systems

Remote/Virtual

March 24, 2020 @ 10:30 am - 11:30 am

Connecting Blockchains to the Real World

Remote/Virtual

March 25, 2020 @ 10:30 am - 11:30 am

Designing Collective Behavior in Robotic Swarms

Remote/Virtual

March 26, 2020 @ 10:30 am - 11:30 am

Rethinking Operating System and Hardware Abstractions for Good and Evil

Remote/Virtual

March 30, 2020 @ 10:30 am - 11:30 am

Auditing Outsourced Services

Remote/Virtual

March 31, 2020 @ 10:30 am - 11:30 am

Learning Spoken Language Through Vision

Remote/Virtual

April 2020

April 1, 2020 @ 10:30 am - 11:30 am

Bending Fuzzers to One’s Own Will

Remote/Virtual

April 2, 2020 @ 10:30 am - 11:30 am

Harnessing Examples for Learning at Scale

Remote/Virtual

April 6, 2020 @ 10:30 am - 11:30 am

Language Grounding with Robots

Remote/Virtual

April 8, 2020 @ 10:30 am - 11:30 am

New Compilation Techniques for Reconfigurable Analog Devices

Remote/Virtual

April 15, 2020 @ 10:30 am - 11:30 am

Towards Structured-Infused and Disentangled Representation Learning

Remote/Virtual

April 16, 2020 @ 10:30 am - 11:30 am

Understanding and Generating Natural Language of Complex Discourse

Remote/Virtual

November 2020

November 12, 2020 @ 11:00 am - 12:00 pm

Collaboration as a Lens for Inclusive Technical Innovation

Remote/Virtual

November 13, 2020 @ 1:00 pm - 2:00 pm

AI & Accessibility: Ethical Considerations

Remote/Virtual

November 13, 2020 @ 2:45 pm - 3:45 pm

Networks Capable of Change

Remote/Virtual

November 17, 2020 @ 10:00 am - 11:00 am

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

Remote/Virtual

November 18, 2020 @ 10:00 am - 11:00 am

Mobile Health Approaches to Precision Medicine

Remote/Virtual

November 19, 2020 @ 10:00 am - 11:00 am

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

Remote/Virtual

November 20, 2020 @ 10:00 am - 11:00 am

Pursuing Health and Inclusion Through Sociotechnical Systems

Remote/Virtual

December 2020

December 8, 2020 @ 10:00 am - 11:00 am

Hash Tables Lecture

Remote/Virtual

January 2021

January 21, 2021 @ 10:00 am - 11:00 am

I Am Error: How Math Can Automatically Fix Mistakes

Remote/Virtual

January 28, 2021 @ 10:00 am - 11:00 am

Introduction to Cache Organization

Remote/Virtual

January 29, 2021 @ 10:00 am - 11:00 am

Resource-Efficient Quantum Computing by Breaking Abstractions

Remote/Virtual

March 2021

March 10, 2021 @ 11:00 am - 12:00 pm

Prioritizing Computation and Analyst Resources in Large-scale Data Analytics

Remote/Virtual

March 15, 2021 @ 10:00 am - 11:00 am

Introduction to Red-Black Tree

Remote/Virtual

March 16, 2021 @ 11:00 am - 12:00 pm

AI for Population Health: Melding Data and Algorithms on Networks

Remote/Virtual

March 17, 2021 @ 11:00 am - 12:00 pm

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

Remote/Virtual

March 22, 2021 @ 11:00 am - 12:00 pm

Opening the Black Box: Towards Theoretical Understanding of Deep Learning

Remote/Virtual

March 24, 2021 @ 11:00 am - 12:00 pm

Defining and Ensuring Algorithmic Fairness in Artificial Intelligence

Remote/Virtual

March 25, 2021 @ 11:00 am - 12:00 pm

Probabilistic proofs: theory, hardware, and everything in between

Remote/Virtual

March 29, 2021 @ 11:00 am - 12:00 pm

Diversity and Fairness in Data Summarization Algorithms

Remote/Virtual

March 31, 2021 @ 11:00 am - 12:00 pm

Sample-Efficient Nonconvex Optimization Algorithms for Machine Learning

Remote/Virtual

April 2021

April 5, 2021 @ 11:00 am - 12:00 pm

Architecting Quantum Computing Systems in the Presence of Noise

Remote/Virtual

April 6, 2021 @ 11:00 am - 12:00 pm

SAUL: Towards Effective Data Science

Remote/Virtual

April 12, 2021 @ 11:00 am - 12:00 pm

Enabling Hyperscale Web Services

Remote/Virtual

April 14, 2021 @ 11:00 am - 12:00 pm

IDEs for Ideas

Remote/Virtual

April 15, 2021 @ 11:00 am - 12:00 pm

Bridging Algorithmic and Statistical Randomness in Machine Learning

Remote/Virtual

April 26, 2021 @ 11:00 am - 12:00 pm

Compositional Reasoning in Robot Learning

Remote/Virtual

December 2021

December 8, 2021 @ 10:30 am - 11:30 am

Teaching Faculty Candidate Seminar: Saquib Razak

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

December 9, 2021 @ 10:30 am - 11:30 am

Teaching Faculty Candidate Seminar: Alan Weide

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 2022

January 10, 2022 @ 10:30 am - 11:30 am

Teaching Faculty Candidate Seminar–Elba Garza

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 13, 2022 @ 10:30 am - 11:30 am

Teaching Faculty Candidate Seminar–Gina Bai

Remote/Virtual

January 19, 2022 @ 10:30 am - 11:30 am

Teaching Faculty Candidate Seminar: Gerald Soosai Raj

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

January 31, 2022 @ 10:30 am - 11:30 am

Computing Using Time

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 2022

February 9, 2022 @ 10:30 am - 11:30 am

Quantum Computation and Cryptography: a changing landscape

Remote/Virtual

February 10, 2022 @ 10:30 am - 11:30 am

Theoretical Foundations for Emerging Multiprocessor Hardware

Remote/Virtual

February 14, 2022 @ 10:30 am - 11:30 am

Advancing Sound Accessibility

Remote/Virtual

February 16, 2022 @ 10:30 am - 11:30 am

Architecting Emerging Quantum Technologies

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 17, 2022 @ 10:30 am - 11:30 am

Matching in Evolving Environments

Remote/Virtual

February 18, 2022 @ 10:30 am - 11:30 am

Introduction to Data Science

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 21, 2022 @ 10:30 am - 11:30 am

Empowering People to Have Secure and Private Interactions with Digital Technologies

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 21, 2022 @ 12:30 pm - 1:30 pm

Learning to address novel situations through human-robot collaboration

2300 Ford Robotics Building 2505 Hayward Street, Ann Arbor, MI, United States

February 23, 2022 @ 10:30 am - 11:30 am

The Complexity of Near-Term Quantum Computers

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

February 24, 2022 @ 10:30 am - 11:30 am

Processor Microarchitecture Security

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

March 2022

March 7, 2022 @ 10:30 am - 11:30 am

Co-designing Distributed Systems and Storage Stacks for Improved Reliability

Remote/Virtual

March 8, 2022 @ 10:30 am - 11:30 am

Verifiable Machine Learning for Security

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

March 9, 2022 @ 10:30 am - 11:30 am

Towards Scalable Representation Learning for Visual Recognition

Remote/Virtual

March 10, 2022 @ 10:30 am - 11:30 am

Consistency and Performance in Distributed Storage Systems

Remote/Virtual

March 14, 2022 @ 10:30 am - 11:30 am

Grounding Language by Seeing, Hearing, and Interacting

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

March 15, 2022 @ 10:30 am - 11:30 am

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

Remote/Virtual

March 16, 2022 @ 10:30 am - 11:30 am

Advancing Health Equity and Access using Responsible AI

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

March 17, 2022 @ 10:30 am - 11:30 am

Unlocking the Next Level of Dependable Cloud Systems

Remote/Virtual

March 21, 2022 @ 10:30 am - 11:30 am

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

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

March 22, 2022 @ 10:30 am - 11:30 am

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

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

March 23, 2022 @ 10:30 am - 11:30 am

Efficient and Accurate Systems for Querying Unstructured Data

Remote/Virtual

March 24, 2022 @ 10:30 am - 11:30 am

Secure Multi-Party Computation: from Theory to Practice

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States

March 28, 2022 @ 10:30 am - 11:30 am

Formal Verification of a Concurrent File System

3725 Beyster Building 2260 Hayward Street, Ann Arbor, MI, United States