Archive |

CIS Seminar: “Enhancing Usability and Explainability of Data Systems”

The recent growth of data science has expanded its reach to an ever-growing user base of non-experts. Unfortunately, most existing systems offer limited usability and support for explanations: these systems […]

CIS Seminar: “Architecting Quantum Computing Systems in the Presence of Noise”

Quantum computers may solve some problems beyond the reach of classical digital computers. However, emerging quantum systems are typically noisy and difficult to control, leaving a significant gap between the […]

CIS Seminar: “The Measurement and Mismeasurement of Trustworthy ML”

Across healthcare, science, and engineering, we increasingly employ machine learning (ML) to automate decision-making that, in turn, affects our lives in profound ways. However, ML can fail, with significant and […]

CIS Seminar: ” Exterminating bugs in real systems”

Software is everywhere, and almost everywhere, software is broken. Some bugs just crash your printer; others hand an identity thief your bank account number; still others let nation-states spy on […]

CIS Seminar:”Probabilistic proofs: theory, hardware, and everything in between”

In the past decade, systems that use probabilistic proofs in real-world applications have seen explosive growth. These systems build upon some of the crown jewels of theoretical computer science—interactive proofs, […]

CIS Seminar: “Provably Secure Indistinguishability Obfuscation”

Abstract: In this talk, we will cover some exciting progress on the problem of Indistinguishability Obfuscation (proposed by Barak et. al. 2001). In a nutshell, an Indistinguishability Obfuscation scheme is […]

CIS Seminar: “Enabling Hyperscale Web Services”

Abstracts:  Current hardware and software systems were conceived at a time when we had scarce compute and memory resources, limited quantity of data and users, and easy hardware performance scaling […]

CIS Seminar: “Structural Foundations of Efficient Reinforcement Learning:

Abstract: The design of learning agents which observe, interact with, and manipulate their environment to optimize desirable behaviors is a long-standing goal in machine learning, with roots in artificial intelligence, […]

CIS Seminar: “IDEs for Ideas”

Abstract: A Jupyter notebook, a preprint from arXiv, and a Stack Overflow code snippet. What do they all have in common? All convey complex ideas from a writer to an […]

ENIAC Day: 75th Anniversary of ENIAC Mini-Symposium

    Mini-symposium to celebrate the 75th anniversary of ENIAC and the birth of general-purpose computing.  Automated computation has revolutionized the way we live, work, play, and connect.  Join us on this […]

Pages 1 27 28 29 30 31 35
Archive |