Synthesizing programs that expose performance bottlenecks.

Luca Della Toffola Michael Pradel Thomas R. Gross

Published in: CGO (2018)

Keyphrases

fixpoint
automatic programming
database
real time
multimedia
high level
free software
artificial intelligence
search engine
computer vision
website
three dimensional
programming environment
control program
provably correct