Carl G. Ritson

22 papers B 1C 3Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2018 J jnl
Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection.
ACM Trans. Program. Lang. Syst.
Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones
2016 B conf
Benchmarking weak memory models.
PPoPP
Carl G. Ritson, Scott Owens
2014 C conf
Exploring garbage collection with haswell hardware transactional memory.
ISMM
Carl G. Ritson, Tomoharu Ugawa, Richard E. Jones
2014 C conf
Reference object processing in on-the-fly garbage collection.
ISMM
Tomoharu Ugawa, Richard E. Jones, Carl G. Ritson
2013 — conf
An Evaluation of Intel's Restricted Transactional Memory for CPAs.
CPA
Carl G. Ritson, Frederick R. M. Barnes
2013 — —
Scalable support for process-oriented programming.
Carl G. Ritson
2012 J jnl
Multicore scheduling for lightweight communicating processes.
Sci. Comput. Program.
Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes
2011 — conf
Adding Formal Verification to occam-π.
CPA
Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown
2011 — conf
Object Store Based Simulation Interworking.
CPA
Carl G. Ritson, Paul S. Andrews, Adam T. Sampson
2010 J jnl
A process-oriented architecture for complex system modelling.
Concurr. Comput. Pract. Exp.
Carl G. Ritson, Peter H. Welch
2010 J jnl
Process-oriented device driver development.
Concurr. Comput. Pract. Exp.
Fred R. M. Barnes, Carl G. Ritson
2009 — conf
Checking process-oriented operating system behaviour using CSP and refinement.
PLOS@SOSP
Frederick R. M. Barnes, Carl G. Ritson
2009 J jnl
Checking process-oriented operating system behaviour using CSP and refinement.
ACM SIGOPS Oper. Syst. Rev.
Fred R. M. Barnes, Carl G. Ritson
2009 C conf
Multicore Scheduling for Lightweight Communicating Processes.
COORDINATION
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
2009 — ed.
The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009
CPA
Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter
2009 — conf
Toward Process Architectures for Behavioural Robotics.
CPA
Jonathan Simpson, Carl G. Ritson
2009 — conf
Translating ETC to LLVM Assembly.
CPA
Carl G. Ritson
2008 — conf
Virtual Machine Based Debugging for occam-pi.
CPA
Carl G. Ritson, Jonathan Simpson
2007 — conf
A Process Oriented Approach to USB Driver Development.
CPA
Carl G. Ritson, Fred R. M. Barnes
2007 — conf
A Process-Oriented Architecture for Complex System Modelling.
CPA
Carl G. Ritson, Peter H. Welch
2007 — conf
Shared-Memory Multi-Processor Scheduling Algorithms for CCSP.
CPA
Carl G. Ritson
2006 — conf
Video Processing in occam-pi.
CPA
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes