Projects which i have supervised
The following is a list of undergraduate projects that i have proposed and supervised. There is a mix of honours and masters projects.
Simplifying OpenCL Programming With Insense Actors - Kristian Hentschel
The goal of this project is to add simple types to Insense to enable the simplification of openCL programming by using actors.
Intelligent Type System for Memory Optimisation in Actor-based Languages - Craig McGlaughlin
The goal of this project is to implement static analysis at compile time to enable safe memory optimisations in message passing languages.
A Virtual Machine for the Insense Language - Callum Cameron
The goal of this project is to create a virtual machine interpreter which will run on sensor motes. This work has been published.
Graphical Design of the Structure of Actor Systems - Alexander James Aavang
The goal of this project is to both design new, and express existing structure of component based programs in a visual way, enabling the developer to focus on application logic, rather than structure during development.
Wireless Sensor Network Simulation with Cgroups - Shinyi Breslin
The goal of this project is to post an embedded os to run on linux, and use the resource control given by cgroups to tightly control how many and how often they may use the resources of the machine. Hence, this will enable better sharing of the resources of the machine, and give a more realistic simulation of the sensor network.
Cycle Detection for Reference Counted Memory on Sensor Motes - Javier Lazaro Munoz
The goal of the project is to be able to detect cycles with reference counted memory on sensor motes, but without tagging all the heap memory.