Search for Author All Reviews
	Batty, Mark     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       GPU concurrency: weak behaviours and programming assumptions Alglave J., Batty M., Donaldson A., Gopalakrishnan G., Ketema J., Poetzl D., Sorensen T., Wickerson J.  ASPLOS 2015 (Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems, Istanbul, Turkey, Mar 14-18, 2015) 577-591, 2015.  Type: Proceedings A memory consistency model (MCM) is a specification that describes the value(s) that a memory location should hold based on the causal history of operations that may or may not be associated with that location. The MCM specification is...... Jul 16 2015     Library abstraction for C/C++ concurrency Batty M., Dodds M., Gotsman A.  POPL 2013 (Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Rome, Italy, Jan 23-25, 2013) 235-248, 2013.  Type: Proceedings Abstraction is a useful concept in programming, in that programmers often only need to know what a given module does without being concerned about the internals of that module. This is key to modularization, or building software applic...... Jun 20 2013     Mathematizing C++ concurrency Batty M., Owens S., Sarkar S., Sewell P., Weber T. ACM SIGPLAN Notices 46(1): 55-66, 2011.  Type: Article Integrating multi-threading into a programming language such as C++ is an error-prone task: the intuitive expectation of a “sequentially consistent” program that behaves as if concurrent memory reads and writes were...... Apr 5 2011
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy