PolyCheck: dynamic verification of iteration space transformations on affine programs

DOI10.1145/2837614.2837656zbMath1347.68068MaRDI QIDQ2828296

Louis-Noël Pouchet, Ponnuswamy Sadayappan, Sriram Krishnamoorthy, Wenlei Bao, Fabrice Rastello

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

zbMATH Keywords

static analysisdynamic verificationiteration space transformation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: PolyCheck: dynamic verification of iteration space transformations on affine programs