Add Joe's bio

content/lsd-seminar/2024wi.md

@@ -69,11 +69,11 @@ We present Shimmer, an all-userspace shim layer that enables host-device coordin
 
 **Speaker:** Joe Cutler
 
-**Title:** _TBD_
+**Title:** delta: ordered types for stream processing
 
-**Abstract:** _TBD_
+**Abstract:** We present delta, a new language for building stream processing programs. Unlike other streaming languages which restrict the programmer to a small set of combinators, programs in delta are written as standard functional list programs, written as if they transform the entire input at once.  However, delta is equipped with a semantics which runs these list programs as stream programs, producing their outputs incrementally as inputs arrive.  To accomplish this, delta uses a novel “ordered” substructural type system to ensure that all well-typed programs can be executed incrementally. The type system also enforces further guarantees, ensuring that the programs are monotone — they never “retract” a previous output — and that they are deterministic, even in the presence of parallel inputs. In the talk, I’ll discuss the design of the delta type system, how it guarantees the above properties, and how it enables a radical new programming model for stream processing.
 
-**Bio:** _TBD_
+**Bio:** Joe Cutler is a 3rd year PhD Student at The University of Pennsylvania, where he works with Benjamin Pierce on all things type systems.
 
 # Feb. 9