@inproceedings{cauligi:2020:ct-foundations,
  author    = {Sunjay Cauligi and Craig Disselkoen and Klaus von Gleissenthall and Dean Tullsen and Deian Stefan and Tamara Rezk and Gilles Barthe},
  title     = {Constant-time foundations for the new {Spectre} era},
  booktitle = {Programming Language Design and Implementation (PLDI)},
  publisher = {ACM SIGPLAN},
  month     = {June},
  year      = {2020}
}