@inproceedings{PLDI-2019-CauligiSJBWRGBJ,
	author        = "Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan",
	booktitle     = "{Proceedings of the 40th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/3314221.3314605",
	isbn          = "978-1-4503-6712-7",
	pages         = "174--189",
	publisher     = "{ACM}",
	title         = "{FaCT: a DSL for timing-sensitive computation}",
	year          = 2019,
}