Carl G. Ritson

According to our database, Carl G. Ritson authored at least 18 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection.

Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones

ACM Trans. Program. Lang. Syst., 2018

2016

Benchmarking weak memory models.

Carl G. Ritson, Scott Owens

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

2014

Reference object processing in on-the-fly garbage collection.

Tomoharu Ugawa, Richard E. Jones, Carl G. Ritson

Proceedings of the International Symposium on Memory Management, 2014

Exploring garbage collection with haswell hardware transactional memory.

Carl G. Ritson, Tomoharu Ugawa, Richard E. Jones

Proceedings of the International Symposium on Memory Management, 2014

2013

Scalable support for process-oriented programming.

Carl G. Ritson

PhD thesis, 2013

An Evaluation of Intel's Restricted Transactional Memory for CPAs.

Carl G. Ritson, Frederick R. M. Barnes

Proceedings of the 35th Communicating Process Architectures, 2013

2012

Multicore scheduling for lightweight communicating processes.

Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes

Sci. Comput. Program., 2012

2011

Adding Formal Verification to occam-π.

Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown

Proceedings of the 33th Communicating Process Architectures Conference, 2011

Object Store Based Simulation Interworking.

Carl G. Ritson, Paul S. Andrews, Adam T. Sampson

Proceedings of the 33th Communicating Process Architectures Conference, 2011

2010

A process-oriented architecture for complex system modelling.

Carl G. Ritson, Peter H. Welch

Concurr. Comput. Pract. Exp., 2010

Process-oriented device driver development.

Fred R. M. Barnes, Carl G. Ritson

Concurr. Comput. Pract. Exp., 2010

2009

Checking process-oriented operating system behaviour using CSP and refinement.

Fred R. M. Barnes, Carl G. Ritson

ACM SIGOPS Oper. Syst. Rev., 2009

Toward Process Architectures for Behavioural Robotics.

Jonathan Simpson, Carl G. Ritson

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

Translating ETC to LLVM Assembly.

Carl G. Ritson

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

2008

Virtual Machine Based Debugging for occam-pi.

Carl G. Ritson, Jonathan Simpson

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

2007

A Process Oriented Approach to USB Driver Development.

Carl G. Ritson, Fred R. M. Barnes

Proceedings of the 30th Communicating Process Architectures Conference, 2007

Shared-Memory Multi-Processor Scheduling Algorithms for CCSP.

Carl G. Ritson

Proceedings of the 30th Communicating Process Architectures Conference, 2007

2006

Video Processing in occam-pi.

Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes

Proceedings of the 29th Communicating Process Architectures Conference, 2006