In 2021 and 2022, the Cypress seminar met at noon in GS 222.

You should be able to access GS 222 with your DuckCard. To sign up, choose an empty slot and let Michael Greenberg know. If you’re rescheduling, please find someone willing to take your place first.

Date	Speaker	Topic
2021-10-06	Cyrus Liu	Proving LTL Properties of Bitvector Programs and Decompiled Binaries
2021-10-13	Michael Greenberg and Eric Koskinen	Practice talks for OOPSLA!
2021-10-20	Dave Naumann	Relational Hoare Logic
2021-10-27	Ton Chanh Le	Deobfuscation with Dynamic Analysis
2021-11-03	SOCIAL
2021-11-10	Ramana Nagasamudram	Incorrectness Logic
2021-11-17	Yuchen (Dennis) Zhang	Debloating Address Sanitizer
2021-11-24	THANKSGIVING
2021-12-01	SOCIAL
2021-12-08	Aaron Bembenek (Harvard)	Datalog as a Monotonic Theory
2021-12-15	Mihai Nicolla	Scaling a file system to many cores using an operation log
2021-12-17	Michael Pradel (U. of Stuttgart)	Neural Software Analysis: Learning Developer Tools from Code
2021-12-22	BREAK
2021-12-29	BREAK
2022-01-05	BREAK
2022-01-12	BREAK
2022-01-19	POPL
2022-01-26	SOCIAL
2022-01-26	… (omicron winter) …
2022-03-16	SPRING BREAK
2022-03-23	Raffi Khatchadourian (Hunter College)	Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study
2022-03-30	Logistics
2022-04-01	Marco Gaboardi	A Separation Logic for Negative Dependence
2022-04-06	Koss Kleftogeorgios	PACStack: an Authenticated Call Stack
2022-04-13	Shan Huang
2022-04-20	Ayomide Akinsanya
2022-04-27	Jared Pincus	Thesis Defense
2022-05-04	(canceled since NJPLS is this week)
2022-05-06	NJPLS!
2022-05-11	Ton Chanh Le
2022-05-18	Tachio Terauchi (Waseda, Japan)
2022-06-16	Agustín Mista (Chalmers)	MUTAGEN: Coverage-Guided, Property-Based Testing using Exhaustive Structure-Preserving Mutations