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.
I am delighted to welcome aboard the first three students of this research group: Luyu Cheng, Élise Rouille, and Tony Chau. Unfortunately, a fourth student from India had to delay his arrival due to the current pandemic situation.
I am really happy to announce that my first grant application, made under the Early Career Scheme (ECS) of the University Grants Committee (UGC), has just been accepted! The goal of this research is to develop new high-level optimization techniques for functional programs, with a particular emphasis on developing practical optimizations for the Glasgow Haskell Compiler (GHC).