CIS Seminar: “Cryptography, Security, and Law”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

My research focuses on the security, privacy, and transparency of technologies in societal and legal context. My talk will focus on three of my recent works in this space, relating to (1) preventing exploitation of stolen email data, (2) enhancing accountability in electronic surveillance, and (3) legal risks faced by security researchers.

Joseph Bordogna Forum: Dr. Gary May, Chancellor of UC-Davis

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Please save the date to join us for this annual distinguished lecture.  The Joseph Bordogna Forum will foster conversation and debate regarding important issues at the nexus of technology and society. It will feature lectures and panel discussions on a wide range of contemporary issues that are central to engineering including diversity and inclusion, the […]

CIS Seminar: “Privacy-Preserving Accountability Online”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Technologies that enable confidential communication and anonymous authentication are important for improving privacy for users of internet services. Unfortunately, encryption and anonymity, while good for privacy, make it hard to hold bad actors accountable for misbehavior. Internet services rely on seeing message content to detect spam and other harmful content; services must also be able […]

ASSET Seminar: Statistical and Machine Learning for Electronic Health Records: Challenges and Opportunities, Qi Long (University of Pennsylvania)

Levine 307 3330 Walnut Street, Philadelphia, PA, United States

ABSTRACT: Electronic health records (EHRs) offer great promises in advancing clinical research and transforming learning health systems. However, complex, temporal EHRs are fraught with biases and present daunting analytical challenges that, if not addressed, can exacerbate health inequities. EHRs data, recorded at irregular time intervals with varying frequencies, are multi-modal and multi-scale including structured data […]

CIS Seminar: ” Foundations of Responsible Machine Learning”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Algorithms make predictions about people constantly.  The spread of such prediction systems has raised concerns that machine learning algorithms may exhibit problematic behavior, especially against individuals from marginalized groups.  This talk will provide an overview of my research building a theory of "responsible" machine learning.  I will highlight a notion of fairness in prediction, called […]

CIS Seminar: “The Design of a General-Purpose Distributed Execution System”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Scaling applications with distributed execution has become the norm. With the rise of big data and machine learning, more and more developers must build applications that involve complex and data-intensive distributed processing. In this talk, I will discuss the design of a general-purpose distributed execution system that can serve as a common platform for such […]

ASSET Seminar: Computational Social Listening for Public Health (Sharath Guntuku, University of Pennsylvania)

Levine 307 3330 Walnut Street, Philadelphia, PA, United States

ABSTRACT: How can A.I.-based methods inform social listening applications during public health crises? The COVID-19 pandemic has uprooted the mode and method of human communication and interaction. The magnitude of the pandemic has led to an ‘infodemic’ along with considerable increase in stress and anxiety across communities. At the same time, the use of social […]

CIS Seminar: “Designing Provably Performant Networked Systems”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

 As networked systems become critical infrastructure, their design must reflect their new societal role. Today, we build systems with hundreds of heuristics but often do not understand their inherent and emergent behaviors. I will present a set of tools and techniques to prove performance properties of heuristics running in real-world conditions. Rigorous proofs can not […]

CIS Seminar: ” E=Graphs for Next-Gen Programming Language Tools”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Building a state-of-the-art program optimizer, synthesizer, or verifier is still a gargantuan task for even programming language (PL) experts. Much of this challenge stems from the fact that term rewriting, a ubiquitous approach to manipulating programs, only works with one version of a program at a time. As a result, the system builder must carefully […]

ASSET Seminar: Automated Decision Making for Safety Critical Applications, Mykel Kochenderfer (Stanford University)

Levine 307 3330 Walnut Street, Philadelphia, PA, United States

ABSTRACT: Building robust decision making systems for autonomous systems is challenging. Decisions must be made based on imperfect information about the environment and with uncertainty about how the environment will evolve. In addition, these systems must carefully balance safety with other considerations, such as operational efficiency. Typically, the space of edge cases is vast, placing a large […]