Carl G. Ritson

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 2

Top Venues

ISMM

PPOPP

Sci. Comput. Program.

ACM Trans. Program. Lang. Syst.

University of Kent, UK (PHD)

Education History

University of Kent, UK

PHD

Publications

Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones
Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection. ACM Trans. Program. Lang. Syst. 40 (4) (2018)
Carl G. Ritson, Scott Owens
Benchmarking weak memory models. PPOPP (2016)
Carl G. Ritson, Tomoharu Ugawa, Richard E. Jones
Exploring garbage collection with haswell hardware transactional memory. ISMM (2014)
Tomoharu Ugawa, Richard E. Jones, Carl G. Ritson
Reference object processing in on-the-fly garbage collection. ISMM (2014)
Carl G. Ritson, Frederick R. M. Barnes
An Evaluation of Intel's Restricted Transactional Memory for CPAs. CPA (2013)
Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes
Multicore scheduling for lightweight communicating processes. Sci. Comput. Program. 77 (6) (2012)
Carl G. Ritson, Paul S. Andrews, Adam T. Sampson
Object Store Based Simulation Interworking. CPA (2011)
Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown
Adding Formal Verification to occam-π. CPA (2011)
Fred R. M. Barnes, Carl G. Ritson
Process-oriented device driver development. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Carl G. Ritson, Peter H. Welch
A process-oriented architecture for complex system modelling. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Frederick R. M. Barnes, Carl G. Ritson
Checking process-oriented operating system behaviour using CSP and refinement. PLOS@SOSP (2009)
Carl G. Ritson
Translating ETC to LLVM Assembly. CPA (2009)
Fred R. M. Barnes, Carl G. Ritson
Checking process-oriented operating system behaviour using CSP and refinement. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
Multicore Scheduling for Lightweight Communicating Processes. COORDINATION (2009)
Jonathan Simpson, Carl G. Ritson
Toward Process Architectures for Behavioural Robotics. CPA (2009)
Carl G. Ritson, Jonathan Simpson
Virtual Machine Based Debugging for occam-pi. CPA (2008)
Carl G. Ritson, Peter H. Welch
A Process-Oriented Architecture for Complex System Modelling. CPA (2007)
Carl G. Ritson
Shared-Memory Multi-Processor Scheduling Algorithms for CCSP. CPA (2007)
Carl G. Ritson, Fred R. M. Barnes
A Process Oriented Approach to USB Driver Development. CPA (2007)
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
Video Processing in occam-pi. CPA (2006)

Carl G. Ritson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carl G. Ritson