Login / Signup

Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.

Suvam MukherjeeOded PadonSharon ShohamDeepak D'SouzaNoam Rinetzky
Published in: SAS (2017)
Keyphrases
  • trade off
  • cost effective
  • data sets
  • operational semantics
  • provably correct