The following are some of the theses I have co-supervised.
Improving interoperability in distributed multi-tier software stacks
(PDF and Abstract)
Adrian Ramsingh
PhD Thesis, School of Computing Science, University of Glasgow, September, 2022.
A domain-extensible compiler with controllable automation of optimisations
(PDF and Abstract)
Thomas Koehler
PhD Thesis, School of Computing Science, University of Glasgow, 2022.
Opportunistic acceleration of array-centric Python computation in heterogeneous environments
(PDF and Abstract)
Dejice Jacob
PhD Thesis, School of Computing Science, University of Glasgow, August, 2020.
Algorithmic skeletons for exact combinatorial search at scale
(PDF and Abstract)
Blair Archibald
PhD Thesis, School of Computing Science, University of Glasgow, November, 2018.
JIT-Based Cost Models for Adaptive Parallelism
(PDF and Abstract)
John Magnus Morton
PhD Thesis, School of Computing Science, University of Glasgow, July, 2018.
Parallel Evaluation Strategies for Lazy Data Structures in Haskell (PDF)
Prabhat Totoo
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, May, 2016.
An Information Theoretic Approach to the Expressiveness of Programming Languages (PDF and Abstract)
Joe Davidson
PhD Thesis, School of Computing Science, University of Glasgow, February, 2016.
GUMSMP: a scalable parallel Haskell implementation (PDF and Abstract)
Malak Al Jabri
PhD Thesis, School of Computing Science, University of Glasgow, November, 2015.
The scalability of reliable computation in Erlang (PDF and Abstract)
Amir Ghaffari
PhD Thesis, School of Computing Science, University of Glasgow, October, 2015.
Profiling a parallel domain specific language using off-the-shelf tools (PDF and Abstract)
Majed Al Saeed
PhD Thesis, School of Computing Science, University of Glasgow, July, 2015.
Type-parameterized Actors and Their Supervision (PDF and Abstract)
Jiansen He
M.Phil. Thesis, Department of Computing Science, University of Edinburgh, 2014.
Reliable Massively Parallel Symbolic Computing: Fault Tolerance for a Distributed Haskell (PDF)
Rob Stewart
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, November, 2013.
Abstract
Toward Optimised Skeletons for Heterogeneous Parallel Architectures with Performance Cost Models
Khari Armih
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, July, 2013.
Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GPH)(PDF)
Mustafa Aswad
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, August, 2012.
Abstract
The Design and Performance Evaluation of a Proactive Multipath Routing Protocol for Mobile Ad Hoc Networks(PDF)
Ali Etorban
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, May, 2012.
Abstract
Autonomous Mobility in Multilevel Networks(PDF)
Natalia Chechina
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, September, 2011.
Abstract
Extensions of Nominal Terms(PDF)
Dominic Mulligan
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, September, 2011.
Abstract
Solving Key Design Issues for Massively Multiplayer Online Games on Peer-to-Peer Architectures (PDF)
Lu Fan
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, July, 2009.
Abstract
Cost Driven Autonomous Mobility (PDF)
Xiao Yan Deng
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, June, 2007.
Abstract
Implementing High-level Parallelism on Computational Grids (PDF)
Abdallah Deeb I. Al Zain
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, March 2006.
Abstract
Mobile Computation in a Purely Functional Language(PDF)
Andre Rauber Du Bois
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, May 2006.
Abstract
Data Mining Clustering of High Dimensional Databases with Evolutionary Algorithms(PDF)
Ioannis Sarafis
PhD Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, August 2005.
Abstract
Multi-architecture Parallel Programming using GpH, a Functional Language(PDF)
Mustafa Khalifa Aswad
MPhil Thesis, School of Mathematical and Computer Sciences, Heriot-Watt University, January 2003.
Abstract
Improving Polymorphic Type Explanations
Jun Yang
PhD Thesis, Department of Computing and Electrical Engineering, Heriot-Watt University, October 2001.
Granularity in Large-Scale Parallel Functional Programming
Hans Wolfgang Loidl
PhD Thesis, Department of Computing Science, University of Glasgow,
March 1998.
Abstract
Object-oriented Language Design and Processing
Daniel Kim Chung Chan
PhD Thesis, Glasgow University, September 1994.
A Functional Database
D.Phil. Thesis, Oxford University, December 1989.
Available as
Technical Monograph PRG-82, Programming Research Group, 8-11 Keble Road, Oxford OX1 3QD, England.
Or,
Technical Report CSC 90/R10 Computer Science Department, Glasgow University, Glasgow, Scotland.