A Domain-Specific Language and Optimizing Compiler for Polytope Operations

GLOBAL RESEARCH INSTITUTES

  • A Domain-Specific Language and Optimizing Compiler for Polytope Operations

A Domain-Specific Language and Optimizing Compiler for Polytope Operations

Principal Supervisor: Dr. Hans Vandierendonck    

Second Supervisor:   Dr. Cassio de Campos                                                           

+ Project Description

Many important problems in computer science can be cast as operations on polytopes, e.g., in optimization and linear programming, satisfiability and Bayesian networks. Many Inference tasks in probabilistic models are based on polytope operations such as union, intersection, projection and dimensionality extension. Applications range from decision making to computer vision to biomedical research. The computational complexity of operating on polytopes is high and in many cases NP-hard. The main approaches for operating on polytopes are therefore based on problem decomposition, heuristics and approximation. Applying and combining the right set of techniques for a given problem or problem domain is non-trivial due to the interactions between different techniques and due to the sensitivity of the computation time on the selected optimization techniques. The goal of this project is to investigate and develop a domain-specific language and an optimizing compiler targeted at expressing computational problems over polytopes and automatically optimizing the problem using a selection of optimizations that are appropriate for the problem at hand. The effectiveness of the resulting language and compiler will be demonstrated using real-world problems in computer vision and medical diagnosis.

+ How to Apply

Applicants should apply electronically through the Queen’s online application portal at: https://dap.qub.ac.uk/portal/

+ Contact Details

Supervisor Name: Dr. Hans Vandierendonck
Address:

Queens University of Belfast
School of EEECS
Computer Science Building,
18 Malone Road

Email:

h.vandierendonck@qub.ac.uk

Tel:

+44 (0)28 9097 4654