Update May 22 talk details

Author: abenetopoulos

content/lsd-seminar/2026sp.md

@@ -152,7 +152,18 @@ about his current and past work at [his website](https://micahmurray.codeberg.pa
 
 **Title:** UNIX V4: History and Recovery
 
-**Abstract:** TBD
+**Abstract:** We recently recovered UNIX V4 from a 1974 magnetic tape at the University of Utah.
+This version of the UNIX operating system, thought to have been lost, was the 19th copy distributed
+to the public, just months after the first public announcement. It was originally acquired by Martin
+Newell while managing the computer graphics laboratory, and it was likely connected to his
+foundational research in procedural modeling and the famous Utah teapot. UNIX V4 was the culmination
+of the effort to rewrite the kernel in C, made possible by the introduction of structs to the
+language, and has shaped all modern operating systems. In this talk, I put this artifact into
+context within the larger history of UNIX and demonstrate period-appropriate software development
+with a paper-printing teletype and replica PDP-11.
+
+**Bio:** Thalia is a first-year PhD student at the University of Utah, advised by John Regehr. Her
+research is in verifying compilers and applying translation validation to verify LLVM optimizations.
 
 ## May 29