From Relational Verification to Simd Loop Synthesis

AuthID
P-00Y-5NH
5
Author(s)
Crespo, JM
·
Gulwani, S
·
Kunz, C
·
Marron, M
4
Editor(s)
Nicolau,A;Shen,X;Amarasinghe,SP;Vuduc,RW
Document Type
Proceedings Paper
Year published
2013
Published
in ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, Shenzhen, China, February 23-27, 2013 in PPoPP
Pages: 123-134
Indexing
Publication Identifiers
DBLP: conf/ppopp/BartheCKGM13
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.