SMT-Aware Instantaneous Footprint Optimization.

Probir Roy, Xu Liu, Shuaiwen Leon Song

Browse the full HPDC paper archive.