CIS Seminar: “Human-AI Systems for Making Video Useful”
Video is becoming a core medium for communicating a wide range of content, including educational lectures, vlogs, and how-to tutorials. While videos are engaging and informative, they lack the familiar […]
CIS Seminar: “Proof systems for governance, transparency, and privacy”
Record-keeping has long played a critical role in society, from governing property ownership to establishing historical “truth”. Today, our dependence on digital records is becoming absolute, from our personal wealth, […]
Inaugural Joseph Bordogna Forum: “A Call to Action for Racial Justice and Equity in Engineering”
Racism and anti-Blackness are crises that jeopardize our democracy, productivity and well-being and call into question whether we can all live together peaceably and harmoniously in a just and equitable […]
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 […]