BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Talk by Prof. Sophia Drossopoulou : Reasoning with Object Capabili
 ties\, Friday January 26\, 2024 at 14:00 in BC 01 and Zoom
DTSTART:20240126T140000
DTEND:20240126T160000
DTSTAMP:20260505T015133Z
UID:b4b1154496ace3ab941197391d4c9966b7a40e47dc7d3a64d29a7920
CATEGORIES:Conferences - Seminars
DESCRIPTION:Professor Sophia Drossopoulou\nTitle: Reasoning with Object 
 Capabilities\n\n \n\nAbstract:\nJoint work with James Noble\, Susan Eisen
 bach\, and Julian Mackay\n\nThe traditional explanation about object capab
 ilities is that possession of a capability grants the power to use its pro
 cessing abilities. However\, we argue that this is too weak: Instead\, for
  object capabilities to be truly useful\, they should guarantee that lack 
 to access to a capability prevents a certain effect from emerging. \n \n
 Staring from this\, we can then develop a proof system\, that allows us to
  reason about executions emerging out of the liking of internal\, trusted 
 code\, with external\, untrusted\, code. \n \nOur proposal is based on t
 he following main ingredients:  We give semantics to “lack of access to
  a capability”.  We propose formal\, holistic\, specifications of modu
 les which express the requirement that lack of access to a capability guar
 antees the absence of certain effects. We propose program verification rul
 es that keep track of access to capabilities\, that can prove modules’ a
 dherence to holistic specifications\, and support verification of code\, e
 ven in the presence of calls into external\, untrusted code.\n \nBiograph
 y :\nSophia Drossopoulou is a Professor at Imperial College London. Prior
  to that she has worked at Meta\, as Visiting Researcher at Meta\, and at 
 the Technical University of Karlsruhe. Her research involves Object-orien
 ted programming\, Programming Languages\, Semantics\, Types\, Concurrency\
 , Holistic Specifications and Verification\n 
LOCATION:BC 01 https://plan.epfl.ch/?room==BC%2001 https://epfl.zoom.us/j/
 68534524174
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR