POPL 2014 : Abstract Acceleration of General Linear Loops

Reference

2014

detail

Abstract Acceleration of General Linear Loops

Bertrand Jeannet, Peter Schrammel, and Sriram Sankaranarayanan

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},
}