@inproceedings{8212421523c847e0bd66085c3b581cc2,
title = "Automatic Parallelization and Optimization of Programs by Proof Rewriting",
abstract = "We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized and optimized program. To achieve this goal, we present new proof rules for generating proof trees and a rewrite system on proof trees.",
keywords = "EWI-15321, Separation Logic, IR-67469, Proof-Preserving Optimizations, METIS-263832, Automatic Parallelization",
author = "C. Hurlin",
note = "10.1007/978-3-642-03237-0\_6 ; The 16th International Static Analysis Symposium, Los Angeles, USA ; Conference date: 09-08-2009",
year = "2009",
month = aug,
day = "9",
doi = "10.1007/978-3-642-03237-0\_6",
language = "Undefined",
isbn = "978-3-642-03236-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "52--68",
editor = "J. Palsberg and Z. Su",
booktitle = "The 16th International Static Analysis Symposium",
address = "Germany",
}