This project will look into parallel algorithms in the OCaml programming language. OCaml will soon release version 5.0 which will support parallelism. Currently OCaml 5.0 is under development but accessible to use as beta.
The goal will be to explore the performance and use of parallel algorithms in order to speed up the execution of verification tools such as and PCFeq (publication) and Hobbit (publication) in order to increase performance. This will likely implement concurrency models and concurrent data structures, leveraging OCaml 5.0 parallelisation features. The parallel Hobbit tool is meant to be able leverage the capabilities of a 28-core Intel Xeon server with 256GB ram which will be available for the project.