Computer Science Colloquium - Hannah Gommerstadt, Vassar

Fri, September 20th, 2024
2:30 pm - 4:00 pm

  • This event has passed.
Computer Science Colloquium
 
Friday, 9/20
2:35pm in Wege Auditorium
 
Concurrent Communication Contracts

A concurrent system is a system where multiple processes

collaborate on a computation by exchanging messages. A communication contract represents a property of the computation that should remain true throughout the computation. Monitors can be used to check at runtime that a computation adheres to its contract. My work uses session types to monitor concurrent contracts. This talk will introduce session types, and present a variety of contracts that can be monitored.

 
Hannah Gommerstadt is an assistant professor of computer science at Vassar College where she regularly teaches courses on compilers, functional programming and discrete math. Her interests are at the intersection of programming languages and security, specifically the use of language-based methods to provide formal guarantees. Anna received her Ph.D. and M.S. from Carnegie Mellon University and a B.A. from Harvard University.

Event/Announcement Navigation