Below are details on each member of the research group, including research interests and
a selection of publications.
|
| Dr. Fred Barnes
|
| Lecturer |
| Interests: | The occam-pi programming language; fast (sub 100ns context-switch/communication) user-level thread
scheduling; interfacing C and occam-pi; dynamic parallel computing, mobile data, channels
and processes; distributed parallel computing; languag ... |
| Projects: | AQuest, CoSMoS, KRoC, MirrorGC, NOCC, Occam-pi on LEGO, RMoX, TUNA, jctld | | Selected publications: |
- Multicore scheduling for lightweight communicating processes. Carl G. Ritson, Adam T. Sampson, and Frederick R.M. Barnes. Science of Computer Programming, 77(6):727-740, June 2012. (more details)
 download publication
- Process-oriented device driver development. F.R.M. Barnes and C.G. Ritson. Concurrency and Computation: Practice and Experience, 22(8):995-1006, June 2010. (more details) download publication
- An Architecture for Modelling Emergence in CA-Like Systems. Fiona Polack, Susan Stepney, Heather Turner, Peter Welch, and Fred Barnes. In Mathieu S. Capcarr`ere, Alex Alves Freitas, Peter J. Bentley, Colin G. Johnson, and Jon Timmis, editors, Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005), volume 3630 of Lecture Notes in Computer Science, pages 427-436, Canterbury, UK, September 2005. Springer. (more details) download publication
- Interfacing C and occam-pi. F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 249-260, IOS Press, The Netherlands, September 2005. IOS Press. (more details) download publication KAR:14270
|
|
|
| Dr. Eerke Boiten
|
| Senior Lecturer |
| Projects: | CryptoForma, KTP-ETC | | Selected publications: |
- Incompleteness of relational simulations in the blocking paradigm. Eerke Boiten and John Derrick. Science of Computer Programming, page 12, December 2010. Accepted for publication. (more details) download publication
- Relational concurrent refinement II: Internal operations and outputs. E.A. Boiten, J. Derrick, and G. Schellhorn. Formal Aspects of Computing, 21(1-2):65-102, February 2009. (more details)
- Formal program development with approximations. Eerke A. Boiten and John Derrick. In Helen Treharne, Steve King, Martin Henson, and Steve Schneider, editors, ZB 2005, volume 3455 of Lecture Notes in Computer Science, pages 375-393. Springer, April 2005. (more details) download publication
- Refinement in z and object-z: Foundations and advanced applications. John Derrick and Eerke Boiten. Formal Approaches to Computing and Information Technology. Springer, May 2001. (more details)
|
|
|
| Dr. John Bovey
|
| Lecturer |
| Interests: | algorithms, graphs and visualisation, graph algorithms |
| Selected publications: |
|
|
|
| Dr. Olaf Chitil
|
| Lecturer |
| Selected publications: |
- A semantics for lazy assertions. Olaf Chitil. In Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2011, pages 141-150. ACM, January 2011. (more details) download publication
- Linear, bounded, functional pretty-printing. S. Doaitse Swierstra and Olaf Chitil. Journal of Functional Programming, 19(01):1-16, January 2009. (more details) download publication
- Functional programming. Olaf Chitil. In Benjamin W. Wah, editor, Encyclopedia of Computer Science and Engineering, volume 2, pages 1334-1344. John Wiley & Sons, Hoboken, NJ, January 2009. (more details) download publication
- Comprehending finite maps for algorithmic debugging of higher-order functional programs. Olaf Chitil and Thomas Davie. In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, pages 205-216. ACM, July 2008. (more details) download publication
|
|
|
| Dr. Rogerio de Lemos
|
| Lecturer |
| Interests: | Software architectures for dependable systems (collaborative architectures, design-time
and run-time adaptability); Software development for safety-critical systems (application
of formal methods, validation of formal models, integration of require ... |
| Selected publications: |
- Immune-Inspired Adaptable Error Detection for Automated Teller Machines, R. de Lemos, J. Timmis, M. Ayara, S. Forrest. IEEE Transactions on Systems, Man, and Cybernetics Part C 37(5). September 2007. pp. 873-886.
- A fault-tolerant architectural approach for dependable systems. R. de Lemos, P. A. de C. Guerra, and C. Rubira. IEEE Software, 23(2):80-87, March 2006. (more details)
- Exception handling in the development of dependable component-based systems. C. M. F. Rubira, R. de Lemos, G. R. M. Ferreira, and F. Castor Filho. Software-Practice and Experience, 35(3), March 2005. (more details)
- Analysing failure behaviours in component interaction. R. de Lemos. Journal of Systems and Software, 71(1-2):97-115, April 2004. (more details)
|
|
|
| Professor Richard Jones
|
| Professor of Computer Systems |
| Interests: | Implementation of programming languages.
Memory management; garbage collection, distributed garbage collection;
object demographics - using observed behaviour of programs to improve performance. |
| Projects: | Eliot Moss, GCspy, LACE, MM-Net, MirrorGC, Tony Hosking | | 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)
- Handles revisited: optimising performance and memory costs in a real-time collector. Tomas Kalibera and Richard Jones. In Proceedings of the 10th International Symposium on Memory Management (ISMM). ACM, June 2011. (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
- Beltway: Getting around garbage collection gridlock. Stephen M. Blackburn, Richard Jones, Kathryn S. McKinley, and J. Eliot B. Moss. In Laurie J. Hendren, editor, Proceedings of PLDI'02 Programming Language Design and Implementation, pages 153-164, Berlin, June 2002. ACM Press. (more details) download publication
|
|
|
| Dr. Stefan Kahrs
|
| Lecturer |
| Selected publications: |
- Modularity of convergence in infinitary rewriting. Stefan Kahrs. In Ralf Treinen, editor, Rewriting Techniques and Applications, volume 5595 of Lecture Notes in Computer Science, pages 179-193. Springer, June 2009. (more details)
- Infinitary rewriting: meta-theory and convergence. Stefan Kahrs. Acta Informatica, 44(2):91-121, May 2007. (more details)
- Well-going programs can be typed. Stefan Kahrs. In Martin Hofmann, editor, Typed Lambda Calculi and Applications, number 2701 in LNCS, pages 167-179. Springer, June 2003. (more details)
- Red-black trees with types. Stefan Kahrs. Journal of Functional Programming, 11(4):425-432, July 2001. (more details)
|
|
|
| Dr. Andy King
|
| Reader in Program Analysis |
| Projects: | LACE, REP-TEH, VIP | | Selected publications: |
- A Pearl on SAT and SMT Solving in Prolog. Jacob M. Howe and Andy King. Theoretical Computer Science, page 17, January 2012. Special Issue for the Tenth International Symposium on Functional and Logic Programming, edited by Matthias Blume and German Vidal. (more details) download publication
- Existential Quantification as Incremental SAT. Jorg Brauer, Andy King, and Jael Kriener. In Ganesh Gopalakrishnan and Shaz Qadeer, editors, Twenty Third International Conference on Computer Aided Verification, Lecture Notes in Computer Science, page 16. Springer-Verlag, July 2011. (more details) download publication
- Transfer Function Synthesis without Quantifier Elimination. Jorg Brauer and Andy King. In Gilles Barthe, editor, Twentieth European Symposium on Programming, volume 6602 of Lecture Notes in Computer Science, pages 97-115. Springer-Verlag, March 2011. (more details) download publication
- The Two Variable Per Inequality Abstract Domain. Axel Simon, Andy King, and Jacob M. Howe. Higher-Order and Symbolic Computation, 31(1):87-143, March 2010. Note the Springer published the *wrong* version of this paper in HOSC and this on-line version of the paper should be taken as final. (more details) download publication
|
|
|
| Professor Peter Linington
|
| Emeritus Professor of Computer Communication |
| Interests: | Middleware-based architectures for distributed system, particularly
related to Open Distributed Processing. Enterprise specification and
the use of policies to parameterise system descriptions, and to automate
the process of system generation usin ... |
| Selected publications: |
- Incorporating security behaviour into business models using a model driven approach. Peter F. Linington and Pulitha Liyanagama. In 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pages 405-415. IEEE Press, October 2007. (more details) download publication
- Automating support for e-business contracts. Peter F. Linington. International Journal of Cooperative Information Systems, 14(2&3):77-98, September 2005. (more details) download publication
- A unified behavioural model and a contract language for extended enterprise. P. F. Linington, Z. Milosevic, J. Cole, S. Gibson, S. Kulkarni, and S. Neal. Data and Knowledge Engineering, 51(1):5-29, October 2004. (more details)
- Using policies in the checking of business to business contracts. P.F. Linington and S. Neal. In H.Lutfiyya, J.Moffat, and F.Garcia, editors, Fourth IEEE International Workshop on Policies for Distributed Systems and Networks, pages 207-218, Lake Como, Italy, June 2003. IEEE Computer Society. (more details) download publication
|
|
|
| Dr. Andrew Runnalls
|
| Lecturer |
| Interests: | Bayesian Networks, Monte Carlo Markov Chain methods, Directed graphs, Filtering problems. |
| Selected publications: |
|
|
|
| Dr. Nick Ryan
|
| Lecturer |
| Interests: | I work on mobile and ubiquitous systems and, from time to time, on visualization and description of ancient environments. My mobile work is centred on location and context-awareness, particularly in field sciences. |
| Selected publications: |
- Acoustic environment as an indicator of social and physical context. Dan Smith, Ling Ma, and Nick Ryan. Personal and Ubiquitous Computing, 10:241-254, March 2006. (more details)
- Smart environments for cultural heritage. Nick Ryan. In Takao UNO, editor, Reading Historical Spatial Information from around the World: studies of culture and civilization based on geographic information systems data. International Research Center for Japanese Studies, Kyoto, Japan, February 2005. (more details) download publication
- Exploiting Immunological Properties for Ubiqitous Computing Systems. P Mohr, N Ryan, and J Timmis. In G Nicosia and et al, editors, Third International Conference on Artificial Immune Systems, number 3239 in LNCS, pages 277-289. Springer, September 2004. (more details) download publication
- Documenting and validating virtual archaeology. Nick Ryan. Archeologia e Calcolatori, 12:245-273, November 2001. (more details)
|
|
|
| Professor Simon Thompson
|
| Professor of Logic and Computation |
| Projects: | HaRe, KTP-ETC, ProTest, RELEASE, Wrangler | | Selected publications: |
- Incremental Code Clone Detection and Elimination for Erlang Programs. Huiqing Li and Simon Thompson. In Dimitra Giannakopoulou and Fernando Orejas, editors, Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE'11), Lecture Notes in Computer Science. Springer, March 2011. (more details) download publication
- Refactoring Support for Modularity Maintenance in Erlang. Huiqing Li and SImon Thompson. In Jurgen Vunju and Cristina Marinescu, editors, Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, pages 157-166. IEEE Computer Society, September 2010. (more details) download publication
- The Expressiveness of Spider Diagrams. Gem Stapleton, John Howse, John Taylor, and Simon Thompson. Journal of Logic and Computation, 14(6):857-880, November 2004. (more details)
- Tool support for refactoring functional programs. Huiqing Li, Claus Reinke, and Simon Thompson. In Johan Jeuring, editor, ACM SIGPLAN 2003 Haskell Workshop, pages 27-38. Association for Computing Machinery, August 2003. (more details)
|
|
|
| Mr. Gerald Tripp
|
| Lecturer |
| Interests: | Techniques for the analysis and control of high speed packet networks,
including system monitoring and high-speed packet classification.
Use of special-purpose hardware and firmware designs exploiting
content addressable memory (CAM) to support pa ... |
| Selected publications: |
- Regular expression matching using associative memory. Gerald Tripp. Technical Report 4-10, School of Computing, University of Kent., Canterbury, Kent. CT2 7NF. UK., October 2010. (more details) download publication
- Regular expression matching with input compression: a hardware design for use within network intrusion detection systems. Gerald Tripp. Journal in Computer Virology, 3(2):125-134, June 2007. - available online from: http://dx.doi.org/10.1007/s11416-007-0047-z. (more details)
- Detecting suspicious intrusions into next-generation networks. Andrew Lehane and Gerald Tripp. Agilent Measurement Journal, Issue 2. Second Quarter 2007:58-63, May 2007. (more details)
- A parallel string matching engine for use in high speed network intrusion detection systems. Gerald Tripp. Journal in Computer Virology, 2(1):21-34, August 2006. - available online from: http://dx.doi.org/10.1007/s11416-006-0010-4. (more details)
|
|
|
| Professor Peter Welch
|
| Professor of Parallel Computing |
| Interests: | Concurrency theory and practice - specifically, the CSP and pi-calculus process algebras, supporting languages (occam-pi), libraries (JCSP) and toolsets (FDR), run-time kernels (including multicore) hardware architecture and applications (e.g. biolog ... |
| Projects: | CoSMoS, JCSP, KRoC, RMoX, TUNA | | Selected publications: |
- Santa claus: Formal analysis of a process-oriented solution.. Peter H. Welch and Jan B. Pedersen. ACM Transactions on Programming Languages and Systems, 32(4):14:1-14:37, April 2010. (more details) download publication
- Alting Barriers: Synchronisation with Choice in Java using JCSP. Peter H. Welch, Neil C. C. Brown, James Moores, Kevin Chalmers, and Bernhard H. C. Sputh. Concurrency and Computation: Practice and Experience, 22:1049-1062, March 2010. The DOI should redirect to http://onlinelibrary.wiley.com.chain.kent.ac.uk/doi/10.1002/cpe.1471/abstract . (more details) download publication
- A process-oriented architecture for complex system modelling. Carl G. Ritson and Peter H. Welch. Concurrency and Computation: Practice and Experience, 22:965-980, March 2010. (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
|
|
|
| Dr. Tomas Kalibera
|
| Research Associate |
| Interests: | My present focus is automatic memory management for multicore systems. I have also been working on automatic memory management for real-time and embedded systems, virtual machines for these systems in general, and verification of applications for the ... |
| Projects: | MirrorGC | | Selected publications: |
|
|
|
| Mrs. Huiqing Li
|
| Research Associate |
| Projects: | HaRe, ProTest, Wrangler | | Selected publications: |
- Incremental Code Clone Detection and Elimination for Erlang Programs. Huiqing Li and Simon Thompson. In Dimitra Giannakopoulou and Fernando Orejas, editors, Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE'11), Lecture Notes in Computer Science. Springer, March 2011. (more details) download publication
- Refactoring Support for Modularity Maintenance in Erlang. Huiqing Li and SImon Thompson. In Jurgen Vunju and Cristina Marinescu, editors, Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, pages 157-166. IEEE Computer Society, September 2010. (more details) download publication
- Testing Erlang Refactorings with QuickCheck. Huiqing Li and Simon Thompson. In the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, LNCS, Freiburg, Germany, September 2007. (more details)
- Tool support for refactoring functional programs. Huiqing Li, Claus Reinke, and Simon Thompson. In Johan Jeuring, editor, ACM SIGPLAN 2003 Haskell Workshop, pages 27-38. Association for Computing Machinery, August 2003. (more details)
|
|
|
| Mr. Carl Ritson
|
| Research Associate |
| Interests: | Concurrent operating-systems, highly-parallel simulation, parallel video processing. |
| Projects: | CoSMoS, KRoC, RMoX, TUNA, The Transterpreter | | 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
- 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
|
|
