Evaluating Souper: A Synthesizing Superoptimizer

Title

Evaluating Souper: A Synthesizing Superoptimizer

 Author

Demir, Emirhan Baran (TU Delft Electrical Engineering, Mathematics and Computer Science)

Contributor

Chakraborty, S.S. (mentor)
Sprokholt, D.G. (mentor)
Demirović, E. (graduation committee)

Degree granting institution

Delft University of Technology

 Programme

Computer Science and Engineering

 Project

CSE3000 Research Project

 Date

2022-06-23

 Abstract

Modern compilers exploit syntax \& semantics to optimize input programs.
Often such optimization rules are arduous to get right and the output is not guaranteed to be globally optimal.
Superoptimizers take a different approach to this problem by traversing the program space.
This study focuses on Souper, a synthesizing superoptimizer which makes use of an enhanced counter-example-guided inductive synthesis loop to find optimizations.
We first detail the working mechanism of the superoptimizer and its components, then we explain our attempts at reproducing the results mentioned by Souper's authors.
Finally, we give three program classes each exercising different aspects of the superoptimizer and how these are useful in gaining insight into Souper's optimization capabilities and use cases.

 Subject

superoptimization
souper
program synthesis

 To reference this document use:

http://resolver.tudelft.nl/uuid:ba4ce2af-cca7-4890-b1ec-69683f627a42

 Part of collection

Student theses

 Document type

bachelor thesis

 Rights

© 2022 Emirhan Baran Demir
Files
PDF Evaluating_Souper_A_Synth ... zer_5_.pdf 381.12 KB
Close viewer