Programming Languages & Systems PL Research @ CSE.UNSW [ Projects | Members | Students | Publications | Software | Internal ]

We are interested in a wide range of research topics concerning programming languages and associated software systems with a particular focus on the intersection of theory and practice. This, quite naturally, makes computational calculi and programming languages derived from these calculi an integral part of our work. Hence, much of our attention is focused on functional programming, which is the most successful programming paradigm founded on a rigorous mathematical discipline. It's foundation, the lambda calculus, has an elegant computational theory and is arguably the smallest universal programming language. As such, the lambda calculus is also crucial to understand the properties of language paradigms other functional programming. We apply insights derived from foundational studies to areas that span programming language design, compilers, parallel and high-performance computing, and computer security.

Within UNSW, we cooperate with both the DiSy group (operating systems, embedded and distributed systems) and the CORG group (programming language implementations, compiler optimisations and dynamic compilation). Moreover, we are involved in the ERTOS (Embedded, Real-Time and Operating Systems) program of NICTA. We collaborate with a number of international partners, including close work with the GHC team at Microsoft Research Cambridge.

Are you a student interested in doing programming language research? Check out our students page!