Browse by Person (creator, editor, contributor, etc.)
Number of items: 4. 2016
|
Sorensen, Tyler and Donaldson, Alastair F. and Batty, Mark and Gopalakrishnan, Ganesh and Rakamarić, Zvonimir
(2016)
Portable Inter-workgroup Barrier Synchronisation for GPUs.
In: 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, November 02 - 04, 2016, Amsterdam, Netherlands.
(doi:https://doi.org/10.1145/2983990.2984032)
(Full text available)
|
![[img]](/57941/1.hassmallThumbnailVersion/oopsla16main-main157-p-19cb2f8-29253-final.pdf)  Preview |
|
2015
|
Alglave, Jade and Batty, Mark and Donaldson, Alastair F. and Gopalakrishnan, Ganesh and Ketema, Jeroen and Poetzl, Daniel and Sorensen, Tyler and Wickerson, John
(2015)
GPU Concurrency: Weak Behaviours and Programming Assumptions.
In: Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 14-18 Mar 2015, Istanbul, Turkey.
(doi:https://doi.org/10.1145/2694344.2694391)
(Full text available)
|
![[img]](/50272/1.hassmallThumbnailVersion/gpuconcurrency.pdf)  Preview |
|
2011
|
Brauer, Jorg and King, Andy and Kriener, Jael
(2011)
Existential Quantification as Incremental SAT.
In: Twenty Third International Conference on Computer Aided Verification.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brauer, Jorg and King, Andy and Kriener, Jael
(2011)
Existential Quantification as Incremental SAT: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings.
In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds.
Computer Aided Verification.
Lecture Notes in Computer Science, 6806
.
Springer, pp. 191-207.
ISBN 9783642221095.
(doi:https://doi.org/10.1007/978-3-642-22110-1_17)
(Full text available)
|
![[img]](/37589/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
This list was generated on Fri Apr 20 20:36:51 2018 BST. |
