Programming Languages and Compilers

Topics

The PL group engages in research spanning all aspects of software systems design, analysis, and implementation. Active research projects exist in functional and object-oriented programming languages, both static and dynamic compilation techniques for scalable multicore systems, generative programming, assured program generation, scripting languages, distributed programming abstractions and implementations, real time and embedded systems, mobile and untrusted computing environments, and runtime systems with special focus on memory management and parallel computing environments.