Login / Signup
Souper: A Synthesizing Superoptimizer.
Raimondas Sasnauskas
Yang Chen
Peter Collingbourne
Jeroen Ketema
Jubi Taneja
John Regehr
Published in:
CoRR (2017)
Keyphrases
</>