41 citations · 84 across the 6 of their papers we have counts for
1 paper · 1 filter
Ross Tate, Michael Stepp, Zachary Tatlock +1
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed to…