Student research opportunities
A micro VM Implementation
Project Code: CECS_968
This project is available at the following levels:
Engn R&D, Honours, Summer Scholar, Masters, PhD
Keywords:
virtual machine
Supervisors:
Dr Michael NorrishProfessor Steve Blackburn
Outline:
This project is to develop a principled implementation of the micro Virtual Machine that is being developed in the Computer Systems group. The virtual machine will soon have at least one prototype implementation, but we would like to demonstrate that the basic functionality can be implemented in multiple styles.
This project would aim to write a micro VM implementation in a functional language such as SML or Haskell. Apart from providing another vehicle for testing our ideas, such an implementation might also be rather easier to reason about formally.
