[Alta-Logic] Thesis Presentation 13:00 Friday ICT 618B

[Matthew Burke]

This Friday Prashant will be giving a presentation about his thesis in the ICT building.

Speaker: Prashant Kumar

Location: ICT 618B

When: Friday, Jan 19, 13:00-14:00

Title: Implementation of Message Passing Language

Abstract: 

Message Passage Language (MPL) is a programming language based on the work of Cockett and Pastro. MPL is a statically typed concurrent programming language with message passing as the concurrency primitive. It brings communication safety to interacting processes using a type system. MPL consists of two languages, concurrent MPL and sequential MPL, which can interact with each other. Concurrent MPL programs are written using concurrency constructs built into the language and protocols, which are concurrent data types. These concurrency constructs allow intuitive modelling of real world concurrency scenarios. Sequential MPL is a functional programming language.

In addition to data definitions, sequential MPL allows codata definitions, which can model infinite structures. Sequential MPL allows for disciplined recursion using folds and unfolds in addition to normal recursion. We have developed the first prototype of a compiler for MPL. We have reformulated MPL’s design to allow normal recursion in addition to primitive recursion, the only form of recursion allowed in previous designs. We have developed an algorithm for type inferencing MPL programs, and implemented it. In addition, we have developed and implemented an abstract machine to run MPL programs. We have also developed the intermediate languages through which MPL programs compile to the abstract machine. We have implemented the algorithms used in the compilation of MPL programs to the abstract machines, namely lambda lifting and compilation of pattern matching.