Proving Safety of Speculative Load Instructions at Compile Time.

David Bernstein Michael Rodeh Shmuel Sagiv

Published in: ESOP (1992)

Keyphrases

load balancing
integrity constraints
multiscale
real world
social networks
case study
data structure
relational databases
probabilistic model
safety critical