@inproceedings{cauligi:2019:fact,
  author    = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Gregoire and Gilles Barthe and Ranjit Jhala and Deian Stefan},
  title     = {{FaCT}: A DSL for timing-sensitive computation},
  booktitle = {Programming Language Design and Implementation (PLDI)},
  publisher = {ACM SIGPLAN},
  month     = {June},
  year      = {2019}
}