41 citations · 58 across the 4 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…