Optimizing programs with intended semantics

13 years 11 months ago

Download www-plan.cs.colorado.edu

Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspeciﬁcation hinders automatic optimizers, since they must preserve the overspeciﬁed semantics. If an optimizer knew which semantics the programmer intended, it could do a better job. Making a programmer clarify his intentions by placing assumptions into the program is rarely practical. This is because the programmer does not know which parts of the programs’ overspeciﬁed semantics hinder the optimizer. Therefore, the programmer has to guess which assumption to add. Since the programmer can add many different assumptions to a large program, he will need to place many such assumptions before he guesses right and helps the optimizer. We present IOpt, a practical optimizer that uses a speciﬁcation of the programmers’ intended semantics to enable additional optimizations. That way, our optimizer can significantly improve the performance of a program. We present...

Daniel von Dincklage, Amer Diwan

Real-time Traffic