Research and teaching in programming languages and systems tackles fundamental problems to improve the design, construction, and analysis of software. It is often motivated by the needs of industry and society, such as the ever-growing demand for reliable, secure, and efficient software. The Institute for Programming Languages and Systems covers a wide spectrum of topics from theoretical underpinnings to practical tools supporting today's ambitious software projects. Topics of particular attention include: software development, software performance, and software reliability and security.
