Due to a last minute change, there will be no CS Colloquium Speaker today . We will follow up at a later date when speaker Mae Milano has been rescheduled.
From: "Emily Lawrence"
To: "talks"
Sent: Monday, March 6, 2023 9:00:00 AM
Subject: [talks] CS Colloquium Speaker: Mae Milano TODAY at 12:30pm
CS Colloquium Speaker
Speaker: Mae Milano, University of California, Berkeley
Date: Monday, March 6
Time: 12:30pm EST
Location: CS 105
Host: Andrew Appel
Event page: https://www.cs.princeton.edu/events/26344
Title: Programming Distributed Systems
Abstract: Our interconnected world is increasingly reliant on distributed systems of unprecedented scale, serving applications which must share state across the globe. And, despite decades of research, we're still not sure how to program them! In this talk, I'll show how to use ideas from programming languages to make programming at scale easier, without sacrificing performance, correctness, or expressive power in the process. We'll see how slight tweaks to modern imperative programming languages can provably eliminate common errors due to replica consistency or concurrency---with little to no programmer effort. We'll see how new language designs can unlock new systems designs, yielding both more comprehensible protocols and better performance. And we'll conclude by imagining together the role that a new cloud-centric programming language could play in the next generation of distributed programs.
Bio: Mae Milano is a postdoctoral scholar at UC Berkeley working at the intersection of Programming Languages, Distributed Systems, and Databases. Her work has appeared at top-tier venues including PLDI, OOPSLA, POPL, VLDB, and TOCS, and has attracted the attention of the Swift language team. She is a recipient of the NDSEG Fellowship, has won several awards for her writing and service, and is a founding member of the Computing Connections Fellowship's selection committee (https://computingconnections.org/).
_______________________________________________
talks mailing list
talks@lists.cs.princeton.edu
To edit subscription settings or remove yourself, use this link:
https://lists.cs.princeton.edu/mailman/listinfo/talks
