“…Langdon has also reported 100 fold speed-up of another DNA sequencing tool BarraCUDA [17,19,[21][22][23] and the GI improvements have now been included in the official release. Langdon's GI implementation has furthermore been used by others for specializing and optimizing the execution time of MiniSAT [30], a boolean satisfiability solver and for optimizing power consumption of that same solver [5,6]. Many others have applied or suggested GI for improving non-functional properties such as execution time [9,10,35,42], energy consumption [7,8,13,40,43] and memory usage [32,44].…”