[Pl-seminar] Reminder: TOMORROW: Ori Lahav, Taming release-acquire consistency

[William J. Bowman]

Reminder: talk tomorrow!

On Fri, Jan 22, 2016 at 02:35:26PM -0500, William J. Bowman wrote:
> NUPRL Seminar presents
> 
> Ori Lahav
> MPI-SWS
> 
> 11:45--13:15
> Wednesday January 27, 2016
> Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)
> Host: Amal Ahmed
> 
> 
> Taming release-acquire consistency
> 
> Abstract:
> Multiprocessors and concurrent programming are now pervasive. Typically, they do not guarantee sequential consistency (a.k.a. interleaving semantics), which is the standard assumption by most work on semantics and verification. Instead, they employ subtle memory models, exposing unexpected relaxed behaviors arising from hardware and compiler optimizations.
> 
> In this talk, I will focus on one such model --- the release-acquire fragment of the C/C++11 memory model. I will describe its merits, and show how it can be further improved, without additional implementation costs, to: (i) forbid dubious behaviors that are not observed in any implementation; (ii) support fence instructions that restore sequential consistency; and (iii) admit an equivalent intuitive operational semantics.
> 
> The talk is based on a joint work with Nick Giannarakis and Viktor Vafeiadis, to be presented in POPL'16.
> 
> 
> Bio:
> Ori Lahav is a postdoctoral researcher at MPI-SWS. He obtained his PhD from Tel Aviv University in the area of non-classical logics. His current research interests are in programming languages generally, with specific focus on memory models, concurrency, verification, and logic.
> 
> -- 
> William J. Bowman
> Northeastern University
> College of Computer and Information Science



> _______________________________________________
> pl-seminar mailing list
> pl-seminar at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-seminar

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <http://lists.ccs.neu.edu/pipermail/pl-seminar/attachments/20160126/eba4f129/attachment.pgp>