AQuest: Auto-Question
People: Fred Barnes
Teaching: CO527

C++CSP: Easy Concurrency for C++
Homepage: http://www.cs.kent.ac.uk/projects/ofa/c++csp/
People: Neil Brown
Selected publications:

• C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. Neil C. C. Brown. In Alistair A. McEwan, Wilson Ifill, and Peter H. Welch, editors, Communicating Process Architectures 2007, pages 183-205, July 2007. (more details) download publication

CHP: Communicating Haskell Processes
Homepage: http://www.cs.kent.ac.uk/projects/ofa/chp/
People: Neil Brown

CoSMoS: Complex Systems Modelling and Simulation
Homepage: http://www.cosmos-research.org/
Support: EPSRC (EP/E049419/1), Microsoft
People: Peter Welch, Fred Barnes, Carl Ritson, Douglas Warren
Selected publications:

• Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. A.T. Sampson, P.H. Welch, D.N. Warren, P.S. Andrews, J.M. Bjørndalen, S.Stepney, and J. Timmis. In S. Bullock, J. Noble, R. Watson, and M. A. Bedau, editors, Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, pages 17-24, Cambridge, MA, USA., August 2008. MIT Press. (more details) download publication

CryptoForma: Formal Methods and Cryptography
Homepage: http://www.cryptoforma.org.uk/
Support: EPSRC (EP/G069875/1) £73,820
People: Eerke Boiten

Eliot Moss: Distinguished Visiting Fellowship
Support: RAEng £3,171
People: Richard Jones

GCspy: Visualising the Heap
Homepage: http://www.cs.kent.ac.uk/projects/gc/gcspy/
Support: EPSRC (GR/R57140/01), Microsoft (Rotor grant)
People: Richard Jones, Sebastien Marion
Selected publications:

• GCspy: An adaptable heap visualisation framework. Tony Printezis and Richard Jones. In Proceedings of OOPSLA'02 ACM Conference on Object-Oriented Systems, Languages and Applications, SIGPLAN Notices, pages 343-358, Seattle, WA., November 2002. ACM Press. (more details) download publication

HaRe: the Haskell Refactorer
Homepage: http://www.cs.kent.ac.uk/projects/refactor-fp/
Support: EPSRC (GR/R75052/01) £148,751
People: Simon Thompson, Huiqing Li

JCSP: CSP for Java
Homepage: http://www.cs.kent.ac.uk/projects/ofa/jcsp/
People: Peter Welch, Neil Brown
Teaching: CO631
Selected publications:

• Integrating and Extending JCSP, Integrating and Extending JCSP download publication

jctld: Job Control Daemon
Homepage: http://frmb.org/jctld.html
People: Fred Barnes

KRoC: Kent Retargetable occam-pi Compiler
Homepage: http://www.cs.kent.ac.uk/projects/ofa/kroc/
People: Peter Welch, Fred Barnes, Carl Ritson
Teaching: CO631
Selected publications:

• Multicore Scheduling for Lightweight Communicating Processes. Carl G. Ritson, Adam T. Sampson, and Frederick R. M. Barnes. In John Field and Vasco Thudichum Vasconcelos, editors, Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, volume 5521 of Lecture Notes in Computer Science, pages 163-183. Springer, June 2009. (more details) download publication
• Communicating mobile processes: introducing occam-pi. P.H. Welch and F.R.M. Barnes. In A.E. Abdallah, C.B. Jones, and J.W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 175-210. Springer Verlag, April 2005. to appear. (more details) download publication

KTP-ETC: KTP on e-learning with Erlang Training and Consulting Ltd.
Support: ETC , BIS
People: Simon Thompson, Eerke Boiten, Jane Carne, Stephen Ogden

LACE: Lifetime Aware Garbage Collection
Homepage: http://www.cs.kent.ac.uk/projects/gc/lace/
Support: EPSRC (EP/D078342/1)
People: Richard Jones, Andy King, Chris Ryder, Robert Bunyan
Selected publications:

• A study of Java demographics. Richard Jones and Chris Ryder. In Steve Blackburn, editor, Proceedings of the 2008 International Symposium on Memory Management (ISMM'08), pages 121-130, Tucson, AZ, June 2008. ACM Press. (more details) download publication
• Decrypting the Java gene pool: Predicting objects' lifetimes with micro-patterns. Sebastien Marion, Richard Jones, and Chris Ryder. In International Symposium on Memory Management (ISMM07), Montreal, Canada, October 2007. ACM. (more details) download publication

MirrorGC: Garbage Collection for Multicore Systems
Homepage: http://www.cs.kent.ac.uk/projects/gc/mirrorgc/
Support: EPSRC (EP/H026975/1) £367,637
People: Richard Jones, Fred Barnes, Carl Ritson, Matthew Mole

MM-Net: UK Memory Management Network
Homepage: http://www.mm-net.org.uk/
Support: EPSRC (GR/R57140/01, EP/F06523X/1)
People: Richard Jones, Chris Ryder, Sebastien Marion

NOCC: A new occam-pi compiler
Homepage: https://www.cs.kent.ac.uk/research/groups/sys/wiki/NOCC/
People: Fred Barnes

Occam-pi on LEGO: occam-pi on the LEGO Mindstorms RCX
People: Fred Barnes, Jon Simpson
Selected publications:

• A Native Transterpreter for the LEGO Mindstorms RCX. Jonathan Simpson, Christian L. Jacobsen, and Matthew C. Jadud. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 339-348, Amsterdam, The Netherlands, September 2007. IOS Press. (more details) download publication
• Mobile Robot Control: The Subsumption Architecture and occam-pi. Jonathan Simpson, Christian L. Jacobsen, and Matthew C. Jadud. In Peter H. Welch, Jon M. Kerridge, and Frederick R. M. Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 225-236, Amsterdam, The Netherlands, September 2006. IOS Press. (more details) download publication

occlipse: Eclipse bindings for occam-pi
People: Martin Ellis

ProTest: Property-Based Testing
Homepage: http://www.protest-project.eu/
Support: EU-FP7 (215868) £3.1M
People: Simon Thompson, Huiqing Li

RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software
Homepage: http://www.release-project.eu/
Support: EU-FP7 (287510) £2.0M
People: Simon Thompson

REP-TEH: Royal Society Industrial Fellowship
Support: RS
People: Andy King

RMoX: A Lightweight, Flexible and Concurrent Operating System
Homepage: http://rmox.net/
Support: EPSRC (EP/D061822/1)
People: Fred Barnes, Peter Welch, Carl Ritson
Selected publications:

• Checking process-oriented operating system behaviour using csp and refinement. Frederick R. M. Barnes and Carl G. Ritson. SIGOPS Oper. Syst. Rev., 43(4):45-49, December 2009. (more details) download publication
• Multicore Scheduling for Lightweight Communicating Processes. Carl G. Ritson, Adam T. Sampson, and Frederick R. M. Barnes. In John Field and Vasco Thudichum Vasconcelos, editors, Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, volume 5521 of Lecture Notes in Computer Science, pages 163-183. Springer, June 2009. (more details) download publication
• A process oriented approach to USB driver development. Carl G. Ritson and Frederick R.M. Barnes. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 323-338, Amsterdam, The Netherlands, July 2007. IOS Press. (more details) download publication KAR:14574

RT-models: Addressing Current Limitations of Real-time Model-checking
Homepage: http://www.cs.kent.ac.uk/people/staff/rsg5/Fellowship/Fellowshipwpage.htm
Support: EPSRC (EP/D067197/1) £162,402
People: Howard Bowman
Selected publications:

• A compositional translation of Timed Automata with Deadlines to Uppaal Timed Automata. Rodolfo Gomez. In Proc. of the 7th Int. Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 14-16 September, Budapest, Hungary, LNCS 5813, pages 179-194. Springer, September 2009. (more details)
• Compositional detection of Zeno behavior in Timed Automata with Deadlines. Rodolfo Gomez. Technical report 3-09, Computing Laboratory, University of Kent, June 2009. (more details) download publication

The Transterpreter: A Transputer Interpreter
Homepage: http://transterpreter.org/
People: Damian Dimmich, Carl Ritson, Jon Simpson
Teaching: CO631
Selected publications:

• Torwards Concrete Concurrency: occam-pi on the LEGO Mindstorms. Christian L. Jacobsen and Matthew C. Jadud. In SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education, pages 431-435, New York, NY, USA, February 2005. ACM. (more details)
• The Transterpreter: A Transputer Interpreter. Christian L. Jacobsen and Matthew C. Jadud. In Dr. Ian R. East, Prof David Duce, Dr Mark Green, Jeremy M. R. Martin, and Prof. Peter H. Welch, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 99-106. IOS Press, Amsterdam, September 2004. (more details) download publication

Tock: A compiler for concurrent languages
Homepage: http://projects.cs.kent.ac.uk/projects/tock/
People: Neil Brown
Selected publications:

• Matching and modifying with generics. Neil C. C. Brown and Adam T. Sampson. In Peter Achten, Pieter Koopman, and Marco T. Morazán, editors, Trends in Functional Programming (TFP) 2008, pages 304-318, May 2008. Draft Proceedings. (more details) download publication

Tony Hosking: Visiting Fellowship
Homepage: http://gchandbook.org
Support: EPSRC (EP/F06523X/1) £26,456
People: Richard Jones
Selected publications:

• The garbage collection handbook: The art of automatic memory management. Richard Jones, Antony Hosking, and Eliot Moss. Chapman and Hall, January 2012. (more details)

TUNA: Theories Underpinning Nanite Assemblers
Homepage: http://www.cs.york.ac.uk/nature/tuna/
Support: EPSRC (EP/C516966/1)
People: Peter Welch, Fred Barnes, Carl Ritson

VIP: Verification with Integer Polyhedra
Support: EPSRC (EP/E033105/1) £119,854
People: Andy King, Tim Hopkins

Wrangler: Refactoring Erlang Programs
Homepage: http://www.cs.kent.ac.uk/projects/wrangler/Home.html
Support: EPSRC (EP/C524969/1) £162,052, EU-FP7 (215868) £3.1M
People: Simon Thompson, Huiqing Li