SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 07:20 - 07:40 at SPLASH-I - F-1A Chair(s): Diomidis Spinellis, John Wickerson
Fri 20 Nov 2020 19:20 - 19:40 at SPLASH-I - F-1A Chair(s): Azalea Raad, Tongping Liu

Relaxed memory models must simultaneously achieve efficient implementability
and thread-compositional reasoning. Is that why they have become so
complicated? We argue that the answer is no: It is possible to achieve these
goals by combining an idea from the 60s (preconditions) with an idea from the
80s (pomsets), at least for X64 and ARMv8. We show that the resulting model
(1) supports compositional reasoning for temporal safety properties, (2)
supports all expected sequential compiler optimizations, (3) satisfies the
DRF-SC criterion, and (4) compiles to X64 and ARMv8 microprocessors without
requiring extra fences on relaxed accesses.

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

07:00 - 08:20: F-1AOOPSLA at SPLASH-I +12h
Chair(s): Diomidis SpinellisAthens University of Economics and Business, John WickersonImperial College London
07:00 - 07:20
Talk
OOPSLA
Konstantinos KallasUniversity of Pennsylvania, Filip NiksicGoogle, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania
Link to publication DOI Media Attached
07:20 - 07:40
Talk
OOPSLA
Radha JagadeesanDePaul University, Alan JeffreyMozilla Research, James RielyDePaul University
Link to publication DOI Pre-print Media Attached
07:40 - 08:00
Talk
OOPSLA
Lingkun KongRice University, Konstantinos MamourasRice University
Link to publication DOI Media Attached
08:00 - 08:20
Talk
OOPSLA
Jake KirkhamPrinceton University, Tyler SorensenUniversity of California at Santa Cruz, Esin TureciPrinceton University, Margaret MartonosiPrinceton University
Link to publication DOI Media Attached
19:00 - 20:20: F-1AOOPSLA at SPLASH-I
Chair(s): Azalea RaadMPI-SWS / Imperial College London, Tongping LiuUniversity of Massachusetts at Amherst
19:00 - 19:20
Talk
OOPSLA
Konstantinos KallasUniversity of Pennsylvania, Filip NiksicGoogle, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania
Link to publication DOI Media Attached
19:20 - 19:40
Talk
OOPSLA
Radha JagadeesanDePaul University, Alan JeffreyMozilla Research, James RielyDePaul University
Link to publication DOI Pre-print Media Attached
19:40 - 20:00
Talk
OOPSLA
Lingkun KongRice University, Konstantinos MamourasRice University
Link to publication DOI Media Attached
20:00 - 20:20
Talk
OOPSLA
Jake KirkhamPrinceton University, Tyler SorensenUniversity of California at Santa Cruz, Esin TureciPrinceton University, Margaret MartonosiPrinceton University
Link to publication DOI Media Attached