log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
Monitoring and Blame Assignment for Higher-Order Session Types
Friday, November 18, 2016, 1:30-2:30 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

Session types provide a means to prescribe the communication behavior between concurrent message-passing processes. However, in a distributed setting, some processes may be written in languages that do not support static typing of sessions or may be compromised by a malicious intruder, violating invariants of the session types. In such a setting, dynamically monitoring communication between processes becomes a necessity for identifying undesirable actions. In this talk, we discuss how to dynamically monitor communication to enforce adherence to session types in a higher-order setting. We present a system of blame assignment in the case when the monitor detects an undesirable action and an alarm is raised. We will also discuss ongoing research about improving the precision of the blame assignment.

Bio

Anna is a PhD student at Carnegie Mellon, working with Frank Pfenning. She earned her undergraduate degree at Harvard, and worked with Steve Chong.

This talk is organized by Mike Hicks