Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan. FaCT: a DSL for timing-sensitive computation. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 174-189, ACM, 2019. [doi]
@inproceedings{CauligiSJBWRGBJ19,
title = {FaCT: a DSL for timing-sensitive computation},
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},
year = {2019},
doi = {10.1145/3314221.3314605},
url = {https://doi.org/10.1145/3314221.3314605},
researchr = {https://researchr.org/publication/CauligiSJBWRGBJ19},
cites = {0},
citedby = {0},
pages = {174-189},
booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019},
editor = {Kathryn S. McKinley and Kathleen Fisher},
publisher = {ACM},
isbn = {978-1-4503-6712-7},
}