%0 Conference Paper %1 conf/pldi/CauligiSJBWRGBJ19 %A Cauligi, Sunjay %A Soeller, Gary %A Johannesmeyer, Brian %A Brown, Fraser %A Wahby, Riad S. %A Renner, John %A Grégoire, Benjamin %A Barthe, Gilles %A Jhala, Ranjit %A Stefan, Deian %B PLDI %D 2019 %E McKinley, Kathryn S. %E Fisher, Kathleen %I ACM %K dblp %P 174-189 %T FaCT: a DSL for timing-sensitive computation. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#CauligiSJBWRGBJ19 %@ 978-1-4503-6712-7

@inproceedings{conf/pldi/CauligiSJBWRGBJ19, added-at = {2019-06-09T00:00:00.000+0200}, author = {Cauligi, Sunjay and Soeller, Gary and Johannesmeyer, Brian and Brown, Fraser and Wahby, Riad S. and Renner, John and Grégoire, Benjamin and Barthe, Gilles and Jhala, Ranjit and Stefan, Deian}, biburl = {https://www.bibsonomy.org/bibtex/254e2dc2cccbbfa9ad55209156e7723ae/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2019}, editor = {McKinley, Kathryn S. and Fisher, Kathleen}, ee = {https://doi.org/10.1145/3314221.3314605}, interhash = {57e14db5cdec62fe09ba8fe13604c5fb}, intrahash = {54e2dc2cccbbfa9ad55209156e7723ae}, isbn = {978-1-4503-6712-7}, keywords = {dblp}, pages = {174-189}, publisher = {ACM}, timestamp = {2019-06-11T11:37:50.000+0200}, title = {FaCT: a DSL for timing-sensitive computation.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#CauligiSJBWRGBJ19}, year = 2019 }