The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
FaCT: a DSL for timing-sensitive computation
The work
| Authors | Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S Wahby; John Renner; Benjamin Grégoire; Gilles Barthe; Ranjit Jhala; Deian Stefan |
|---|---|
| Editors | |
| Type | misc |
| Year | 2019 |
| Also known as | anon2019fact |
| Citekey | cauligi2019fact |
Where it appeared
| Publisher | ACM |
|---|
Identifiers
| DOI | 10.1145/3314221.3314605 |
|---|
Access
| Landing page | https://doi.org/10.1145/3314221.3314605 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/3314221.3314605 |
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-10-26 15:20 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{cauligi2019fact,
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},
publisher = {ACM},
doi = {10.1145/3314221.3314605},
}
This record lives at https://refs.drheap.org/cauligi2019fact/ and will keep
doing so. It used to be called anon2019fact, and those addresses still resolve to this one.