Reports for Author "Bell, Christian"
-
TR-876-10 -
Concurrent Separation Logic for Pipelined Parallelization
(2010-06-00)
Walker, David / Appel, Andrew W. / Bell, Christian -
TR-972-14 -
A Proof Theory for Loop-Parallelizing Transformations
(2014-04-00)
Bell, Christian