Rastislav Bodik
University of California, Berkeley
Ancient Babylonian algorithms
Communications of the ACM
Code aware resource management
Formal Methods in System Design