Types, Abstraction, Compilers & Optimization

Research group at HKUST, lead by Lionel Parreaux.

Description

TACO is part of the Software Engineering and Programming Languages research community at the Department of Computer Science and Engineering of the Hong Kong University of Science and Technology (HKUST).

This group focuses on research related to Programming Languages, and more specifically:

  • the formalization of advanced type systems for improving the safety, reliability, and performance of software systems;

  • the design and implementation of novel programming language features enabling powerful abstraction capabilities;

  • the development of new compilation and optimization techniques to execute high-level programs more efficiently.

As general-purpose programming languages, we mainly use Scala and Haskell, but we are also in the process of designing and implementing several brand new programming languages! This is not just an academic effort, as we aim to make these new developments practical and useful to actual programers.


The TACO Lab is recruiting! Click here if you’d like to learn more about opportunities.