Stephen Adams |
PhD |
Data Driven Refractorings for Haskell |
Chris Bailey |
PhD |
Self-Adaptive Authorisation Infrastructures |
Fred Barnes |
PhD |
Dynamics and Pragmatics of High-Performance Concurrency |
Edward Barrett |
PhD |
Range Analysis of Binaries with Decision Procedures |
Florence Benoy |
PhD |
Polyhedral Domains for Abstract Interpretation in Logic Programming |
Eric Bonnici |
PhD |
Mobile Processes and Channels: Tools for Dynamic Complex Systems |
Neil Brown |
PhD |
Communicating Haskell Processes |
Chris Brown |
PhD |
Tool Support for Refactoring Haskell Programs |
Matthew Mole |
PhD |
A Study of Thread-Local Garbage Collection for Multi-Core Systems |
Damian Dimmich |
PhD |
A Process Oriented Approach to Solving Problems of Parallel Decomposition and Distribution |
Maarten Faddegon |
PhD |
Algorithmic debugging for complex lazy functional programs |
Rodolfo Gomez |
PhD |
Verification of Real-Time Systems: Improving Tool Support |
Konstantin Kapinchev |
PhD |
Scalable Parallel Optimisation of Digital Signal Processing in the Fourier Domain |
Neil Kettle |
PhD |
Anytime Algorithms for ROBDD Symmetry Detection and Approximation |
Jael Kriener |
PhD |
Towards A Verified Determinacy Analysis for Prolog including cut |
Pablo Lamela Seijas |
PhD |
Model Construction, Evolution, and Use in Testing of Software Systems |
Sebastian Marion |
PhD |
Using Class-Level Static Properties to Predict Object Lifetimes |
Ralph Miarka |
PhD |
Inconsistency and Underdefinedness in Z Specifications |
Bala Modi |
PhD |
FPGA-based High Throughput Regular Expression Pattern Matching for Network Intrusion Detection Systems |
Carl Ritson |
PhD |
Scalable Support for Process-orientated Programming |
Edward Robbins |
PhD |
Solvers for Type Recovery and Decompilation of Binaries |
Thomas Schilling |
PhD |
Trace-based Just-in-time Compilation for Lazy Functional Programming Languages |
Chris Silles |
PhD |
Provenance-Aware CXXR |
Axel Simon |
PhD |
Value-Range Analysis of C Programs with Focus on Finding Buffer Overflow Vulnerabilities |
Jon Simpson |
PhD |
High Level Paradigms for the Structuring of Concurrent Systems |
Jan-Georg Smaus |
PhD |
Modes and Types in Logic Programming |
Connor Smith |
PhD |
Optimal Sharing Graphs for Substructural Higher-Order Rewriting Systems |
Maarten Steen |
PhD |
Consistency and Composition of Process Specifications |