FaCT: a DSL for timing-sensitive computation

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 08, 2019
Source ID
10.1145/3314221.3314605

Entities

People

  • Benjamin Grégoire
  • Brian Johannesmeyer
  • Deian Stefan
  • Fraser Brown
  • Gary Soeller
  • Gilles Barthe
  • John Renner
  • Ranjit Jhala
  • Riad S. Wahby
  • Sunjay Cauligi

Organizations

  • Institut National de Recherche en Informatique et en Automatique
  • Instituto Madrileño de Estudios Avanzados
  • National Science Foundation
  • Office of Naval Research
  • Semiconductor Research Corporation
  • Stanford University
  • University of California, San Diego