Reference

2014
Abstract Acceleration of General Linear Loops
POPL 2014: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

Abstract

BibTeX

@string{POPL = "ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)"}
@inproceedings{acceleration-popl14,
  author = {Bertrand Jeannet and Peter Schrammel and Sriram Sankaranarayanan},
  title = {Abstract Acceleration of General Linear Loops},
  booktitle = POPL,
  year = {2014},
}