Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:CoLoSL: Concurrent Local Subjective Logic
Speaker:Azalea Raad
coming from:Imperial College London
Speakers Bio:
Event Type:SWS Colloquium
Visibility:SWS, RG1, MMCI
We use this to send out email in the morning.
Level:MPI Audience
Language:English
Date, Time and Location
Date:Monday, 15 December 2014
Time:14:00
Duration:90 Minutes
Location:Saarbr├╝cken
Building:E1 5
Room:029
Abstract
A key difficulty in verifying shared-memory concurrent programs is reasoning compositionally about each thread in isolation. When the footprints of threads overlap with each other, existing program logics require reasoning about static global shared resource which impedes compositionality. We introduce the program logic of CoLoSL, where each thread is verified with respect to its subjective view of the global shared state.
This subjective view describes only that part of the global shared resource accessed by the thread. Subjective views may arbitrarily overlap with each other, and expand and contract depending on the resource required by the thread, thus allowing for truly compositional proofs for shared-memory concurrency.
Contact
Name(s):Claudia Richter
Phone:0681 9303 9103
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:YesTo Location:Kaiserslautern
To Building:G26To Room:112
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created:Claudia Richter/MPI-SWS, 12/15/2014 09:22 AM Last modified:Uwe Brahm/MPII/DE, 11/24/2016 04:14 PM
  • Carina Schmitt, 12/15/2014 02:01 PM
  • Claudia Richter, 12/15/2014 09:27 AM -- Created document.