Riker: Always-Correct and Fast Incremental Builds from Simple Specifications.

Charlie Curtsinger Daniel W. Barowy

Published in: USENIX Annual Technical Conference (2022)

Keyphrases

database
artificial intelligence
incremental learning
website
finite state machines
neural network
machine learning
multimedia
high level
evolutionary algorithm
hidden markov models