School of Computing

Publications by Dr Carl Ritson

Also view these in the Kent Academic Repository

Article
Ritson, C., Sampson, A. and Barnes, F. (2012). Multicore scheduling for lightweight communicating processes. Science of Computer Programming [Online] 77:727-740. Available at: http://www.cs.kent.ac.uk/pubs/2012/3210.
Barnes, F. and Ritson, C. (2010). Process-Oriented Device Driver Development. Concurrency and Computation: Practice and Experience [Online] 22:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3063.
Ritson, C. and Welch, P. (2010). A Process-Oriented Architecture for Complex System Modelling. Concurrency and Computation: Practice and Experience [Online] 22:182-196. Available at: http://dx.doi.org/10.1002/cpe.1433.
Barnes, F. and Ritson, C. (2009). Checking Process-Oriented Operating System Behaviour using CSP and Refinement. SIGOPS Operating Systems Review [Online] 43:182-196. Available at: http://dx.doi.org/10.1145/1713254.1713265.
Monograph
Hellyer, L., Ritson, C. and Simpson, J. (2010). Proceedings of the 2010 School of Computing Postgraduate Conference. Available at: http://www.cs.kent.ac.uk/pubs/2010/3003.
Conference or workshop item
Ritson, C. and Owens, S. (2016). Benchmarking weak memory models. in: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM Press, pp. 24:1-24:11. Available at: http://dx.doi.org/10.1145/2851141.2851150.
Ugawa, T., Jones, R. and Ritson, C. (2014). Reference Object Processing in On-The-Fly Garbage Collection. in: ACM/SIGPLAN International Symposium on Memory Management (ISMM14). New York: ACM, pp. 59-69. Available at: http://dx.doi.org/10.1145/2602988.2602991.
Ugawa, T., Jones, R. and Ritson, C. (2014). An On-The-Fly Copying Garbage Collection Framework for Jikes RVM. in: 12th Asian Symposium on Programming Languages and Systems.
Ritson, C., Ugawa, T. and Jones, R. (2014). Exploring Garbage Collection with Haswell Hardware Transactional Memory. in: ACM/SIGPLAN International Symposium on Memory Management (ISMM14). New York: ACM, pp. 105-115. Available at: http://dx.doi.org/10.1145/2602988.2602992.
Ritson, C. and Barnes, F. (2013). An Evaluation of Intel's Restricted Transactional Memory for CPAs . in: Welch, P. H. et al. eds. Communicating Process Architectures 2013. Open Channel Publishing, pp. 271-291. Available at: http://www.wotug.org/papers/CPA-2013/RitsonBarnes13/RitsonBarnes13.pdf.
Ritson, C., Sampson, A. and Barnes, F. (2009). Multicore Scheduling for Lightweight Communicating Processes. in: Field, J. and Vasconcelos, V. T. eds. Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Berlin, Germany: Springer, pp. 163-183.
Simpson, J. and Ritson, C. (2009). Toward Process Architectures for Behavioural Robotics. in: Welch, P. H. et al. eds. Communicating Process Architectures 2009. Amsterdam, The Netherlands: IOS Press, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2009/2988.
Jadud, M. et al. (2008). Safe Parallelism for Behavioral Control. in: 2008 IEEE International Conference on Technologies for Practical Robot Applications (TePRA). IEEE, pp. 137-142.
Ritson, C. and Simpson, J. (2008). Virtual Machine Based Debugging for occam-pi. in: Welch, P. H. et al. eds. Communicating Process Architectures 2008. Amsterdam, The Netherlands: IOS Press, pp. 293-307.
Ritson, C. and Welch, P. (2007). A Process-Oriented Architecture for Complex System Modelling. in: McEwan, A. A. et al. eds. Communicating Process Architectures 2007. Amsterdam, The Netherlands: IOS Press, pp. 249-266.
Ritson, C. and Barnes, F. (2007). A Process Oriented Approach to USB Driver Development. in: McEwan, A. A. et al. eds. Communicating Process Architectures 2007. Amsterdam, The Netherlands: IOS Press, pp. 323-338.
Ritson, C., Sampson, A. and Barnes, F. (2006). Video Processing in occam-pi. in: Welch, P. H., Kerridge, J. M. and Barnes, F. R. M. eds. Communicating Process Architectures 2006. Amsterdam, The Netherlands: IOS Press, pp. 311-329.
Total publications in KAR: 17 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 23/03/2017