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): Tongping Liu, Azalea Raad
Fri 20 Nov 2020 19:20 - 19:40 at SPLASH-I - F-1A Chair(s): Tongping Liu, Azalea Raad
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 NovDisplayed time zone: Central Time (US & Canada) change
Fri 20 Nov
Displayed time zone: Central Time (US & Canada) change
07:00 - 08:20 | F-1AOOPSLA at SPLASH-I +12h Chair(s): Diomidis Spinellis Athens University of Economics and Business, John Wickerson Imperial College London | ||
07:00 20mTalk | DiffStream: Differential Output Testing for Stream Processing Programs OOPSLA Konstantinos Kallas University of Pennsylvania, Filip Niksic Google, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania Link to publication DOI Media Attached | ||
07:20 20mTalk | Pomsets with Preconditions: A Simple Model of Relaxed Memory OOPSLA Link to publication DOI Pre-print Media Attached | ||
07:40 20mTalk | StreamQL: A Query Language for Processing Streaming Time Series OOPSLA Link to publication DOI Media Attached | ||
08:00 20mTalk | Foundations of Empirical Memory Consistency Testing OOPSLA Jake Kirkham Princeton University, Tyler Sorensen University of California at Santa Cruz, Esin Tureci Princeton University, Margaret Martonosi Princeton University Link to publication DOI Media Attached | ||
19:00 - 20:20 | F-1AOOPSLA at SPLASH-I Chair(s): Tongping Liu University of Massachusetts at Amherst, Azalea Raad Imperial College London | ||
19:00 20mTalk | DiffStream: Differential Output Testing for Stream Processing Programs OOPSLA Konstantinos Kallas University of Pennsylvania, Filip Niksic Google, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania Link to publication DOI Media Attached | ||
19:20 20mTalk | Pomsets with Preconditions: A Simple Model of Relaxed Memory OOPSLA Link to publication DOI Pre-print Media Attached | ||
19:40 20mTalk | StreamQL: A Query Language for Processing Streaming Time Series OOPSLA Link to publication DOI Media Attached | ||
20:00 20mTalk | Foundations of Empirical Memory Consistency Testing OOPSLA Jake Kirkham Princeton University, Tyler Sorensen University of California at Santa Cruz, Esin Tureci Princeton University, Margaret Martonosi Princeton University Link to publication DOI Media Attached | ||