skaller wrote:
> On Fri, 2007-06-01 at 11:36 +1000, Erik de Castro Lopo wrote:
>   
>> skaller wrote:
>>
>>     
>>> Someone (as usual no URL sorry) wrote a paper roughly titled
>>> 'guaranteed optimisations' which is actually an interesting
>>> perspective on this whole scenario.
>>>       
>> I found a bunch of slides titled "The Guaranteed Optimization
>> Clause of the Macro-Writer's Bill of Rights":
>>
>>    http://www.cs.indiana.edu/~chaynes/danfest/dyb.pdf
>>     
>
> The paper i think of was a master or PhD thesis..
>
>   

How about this one?

Guaranteed Optimization for Domain-Specific Programming
http://citeseer.ist.psu.edu/veldhuizen03guaranteed.html