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 […]
CIS Seminar: “Hash Tables Lecture”
Abstract: The lecture that I will cover is going to be on Hash Tables. The lecture is designed for an introductory CS course and/or a data structures course. We are […]
CIS Seminar: “Challenges of Incorporating Algorithms into Decision Making: Fairness, Welfare and Disparate Interactions”
Algorithms have entered the center of many decision making processes, either by providing predictions or assessments to facilitate human decision making or, in some scenarios, suggesting decisions directly. More and […]