Wednesday, May 25, 2016 - 11:00am to 12:00pm
Location:McWilliams Classroom 4303 Gates & Hillman Centers
Speaker:HANNAH GOMMERSTADT, Ph.D. Student http://anyag.net/
In a distributed setting, processes collaborate to complete tasks where each component of the system has some role in the computation. These processes may be written in different languages, and some may be compromised by an attacker. We use session types, types that change as every step of the computation is performed, to prescribe the communication behavior between concurrent message-passing processes. We then use these session types to dynamically monitor the communication between processes to detect undesirable behavior. 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. Joint work with Frank Pfenning and Limin Jia. Presented in Partial Fulfillment of the CSD Speaking Skills Requirement.