Here are next week's CS Department Colloquium Series talks. Just a reminder, you can find the full calendar of events here: https://www.cs.princeton.edu/general/newsevents/events
Speaker: Mae Milano, University of California, Berkeley
Date: Monday, March 6
Time: 12:30pm EST
Location: CS 105
Host: Andrew Appel
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/).
Speaker: Mackenzie Leake, Massachusetts Institute of Technology
Date: Wednesday, March 8
Time: 12:30pm EST
Location: CS 105
Host: Andrés Monroy-Hernández
Event page: https://www.cs.princeton.edu/events/26347
Title: Integrating expertise into computational tools for design and media authoring
Abstract: Finding a good computational representation for a problem allows us to map high level objectives to low level details and select the appropriate set of algorithmic tools. Selecting this representation requires not only computational knowledge but also a deep understanding of the application domain. In this talk I will discuss my work on building design and media authoring tools by combining domain expertise with a wide range of algorithmic techniques. I will describe how this approach helps us to offload tedious steps to computation and guide users’ attention toward the more creative, open-ended decisions. As two different examples of this approach, I will discuss my work on video editing and quilt design tools. I will also discuss future opportunities to combine domain expertise and algorithmic insights to build novel computational tools.
Bio: Mackenzie Leake is a METEOR postdoctoral fellow at MIT CSAIL. She received her PhD and MS in computer science from Stanford University and a BA in computational science and studio art from Scripps College. Her research in human-computer interaction and computer graphics focuses on designing computational tools for various creative domains, including textiles and video. Her research has been supported by Adobe Research, Brown Institute for Media Innovation, and Stanford Enhancing Diversity in Graduate Education (EDGE) fellowships. In 2022 she was named a Rising Star in EECS and a WiGraph Rising Star in Computer Graphics.