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.