Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 16.

Monograph

Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2010) Mathematizing C++ Concurrency: The Post-Rapperswil Model. Technical report. ISO IEC JTC1/SC22/WG21 N3132. (doi:N3132) (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)

Conference or workshop item

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:10.1145/2983990.2984032) (Full text available)
[img]
Preview

Batty, Mark and Donaldson, Alastair and Wickerson, John (2016) Overhauling SC atomics in C11 and OpenCL. In: Symposium on Principles of Programming Languages 2016, 20 - 22 Jan 2016, St. Petersburg, Florida, USA. (In press) (Full text available)
[img]
Preview

Wickerson, John and Batty, Mark and Beckmann, Bradford M. and Donaldson, Alastair F. (2015) Remote-scope Promotion: Clarified, Rectified, and Verified. In: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 25-30 Oct 2015, Pittsburgh, Pennsylvania. (doi:10.1145/2814270.2814283) (Full text available)
[img]
Preview

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:10.1145/2694344.2694391) (Full text available)
[img]
Preview

Batty, Mark and Memarian, Kayvan and Nienhuis, Kyndylan and Pichon-Pharabod, Jean and Sewell, Peter (2015) The Problem of Programming Language Concurrency Semantics. In: 24th European Symposium on Programming, held as Part of the European Joint Conferences on Theory and Practice of Software, 11-18 Apr 2015, London, UK. (doi:10.1007/978-3-662-46669-8_12) (Full text available)
[img]
Preview

Batty, Mark and Dodds, Mike and Gotsman, Alexey (2013) Library abstraction for C/C++ concurrency. In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 23 - 25 Jan 2013, Rome, Italy. (doi:10.1145/2429069.2429099) (Full text available)
[img]
Preview

Sarkar, Susmit and Memarian, Kayvan and Owens, Scott and Batty, Mark and Sewell, Peter and Maranget, Luc and Alglave, Jade and Williams, Derek (2012) Synchronising C/C++ and POWER. In: PLDI '12: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, 11th-16th June, 2012, Beijing, china. (doi:10.1145/2254064.2254102) (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)

Batty, Mark and Memarian, Kayvan and Owens, Scott and Sarkar, Susmit and Sewell, Peter (2012) Clarifying and Compiling C/C++ Concurrency: From C++11 to POWER. In: POPL '12: 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 25th - 27th January, 2012, Philadelphia, USA. (doi:10.1145/2103656.2103717) (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)

Batty, Mark and Memarian, Kayvan and Owens, Scott and Sarkar, Susmit and Sewell, Peter (2012) Clarifying and compiling C/C++ concurrency: from C++11 to POWER. In: 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 22-28 Jan 2012, Philadelphia, Pennsylvania, USA. (doi:10.1145/2103656.2103717) (Full text available)
[img]
Preview

Sarkar, Susmit and Memarian, Kayvan and Owens, Scott and Batty, Mark and Sewell, Peter and Maranget, Luc and Alglave, Jade and Williams, Derek (2012) Synchronising C/C++ and POWER. In: ACM SIGPLAN Conference on Programming Language Design and Implementation,, 11 - 16 Jun 2012, Beijing, China. (doi:10.1145/2254064.2254102) (Full text available)
[img]
Preview

Blanchette, Jasmin Christian and Weber, Tjark and Batty, Mark and Owens, Scott and Sarkar, Susmit (2011) Nitpicking C++ Concurrency. In: PPDP '11: Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. (doi:10.1145/2003476.2003493) (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)

Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2011) Mathematizing C++ Concurrency. In: POPL '11: 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 26th - 28th 2011, Austin, USA. (doi:10.1145/1926385.1926394) (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)

Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2011) Mathematizing C++ concurrency. In: 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2011, 26-28 Jan 2011, Austin, Texas, USA. (doi:10.1145/1926385.1926394) (Full text available)
[img]
Preview

Blanchette, Jasmin Christian and Weber, Tjark and Batty, Mark and Owens, Scott and Sarkar, Susmit (2011) Nitpicking C++ concurrency. In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 20-22 Jul 2011, Odense, Denmark. (doi:10.1145/2003476.2003493) (Full text available)
[img]
Preview

Zappa Nardelli, Francesco and Sewell, Peter and Sevcik, Jaroslav and Sarkar, Susmit and Owens, Scott and Maranget, Luc and Batty, Mark and Alglave, Jade (2009) Relaxed Memory Models Must Be Rigorous. In: Exploiting Concurrency Efficiently and Correctly, CAV 2009 Workshop. (Unpublished) (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)

This list was generated on Sat Dec 10 20:22:24 2016 GMT.