Sign in
FaCT: a DSL for timing-sensitive computation.
Sunjay Cauligi
Gary Soeller
Brian Johannesmeyer
Fraser Brown
Riad S. Wahby
John Renner
Benjamin Grégoire
Gilles Barthe
Ranjit Jhala
Deian Stefan
Published in:
PLDI (2019)
Keyphrases
</>
genetic algorithm
data structure
pattern recognition
information technology
learning algorithm
information systems
database systems
training data
scheduling problem
management system
general purpose
programming language
efficient computation