@TechReport{thies:lcs-tm:2000,
  author = "William Thies and Frederic Vivien and Jeffrey W. Sheldon and Saman Amarasinghe",
  month = "Nov",
  year = "2000",
  title = "A Unified Framework For Schedule and Storage Optimization",
  url = "https://commit.csail.mit.edu/papers/2000/AOV-TM.pdf",
  keywords = "polyhedral",
  number = "MIT/LCS Technical Memo LCS-TM-613",
  type = "Technical Report",
  address = "Cambridge, MA",
  institution = "Massachusetts Institute of Technology",
}