SMT-Aware Instantaneous Footprint Optimization

Probir Roy, Xu Liu, Shuaiwen Leon Song. SMT-Aware Instantaneous Footprint Optimization. In Hiroshi Nakashima, Kenjiro Taura, Jack Lange, editors, Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing, HPDC 2016, Kyoto, Japan, May 31 - June 04, 2016. pages 267-279, ACM, 2016. [doi]

Abstract

Abstract is missing.