How to Build Static Checking Systems Using Orders of Magnitude Less Code.

Fraser Brown Andres Nötzli Dawson R. Engler

Published in: ASPLOS (2016)

Keyphrases

orders of magnitude
state space
distributed systems
computer systems
building blocks
brute force search
search problems
neural network
computational complexity
scheduling problem
orders of magnitude speedup