The Cypress seminar meets Thursdays from 1:30m-2:30pm in Gateway North 303 also via Zoom.
You should be able to access GN 303 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
2024-09-12
Eric Koskinen
Verifying Concurrent Objects
2024-09-26
Melody Gallo
Bidirectional type checking for SKI calculus
2024-10-03
Koss Kleftogiorgos
SIDECAR: Leveraging Debugging Extensions in Commodity Processors to Secure Software
2024-10-10
Vidya Lakshmi Rajagopalan
Evaluating the Effect of Improved Indirect Call Resolution on System Call Debloating
