In the programming languages research program, we aim at improving the effectiveness and reliability of programming languages and systems. Effectiveness such that programmers can express intent at the right level of abstraction and get actionable feedback that is relevant and timely. Reliability such that programmers can trust the execution and analysis of programs.
In our teaching we emphasize the study of the fundamental concepts of programming languages that prepare students for (contributing to the design and implementation of) the programming languages and systems of the future. Our course topics include algorithms and data-structures, compiler construction, semantics, type systems, static and dynamic analysis, software verification, model checking, and language engineering.
Verified Programming Language Interaction
Domain-Specific Languages for Adaptable Digital Print Systems
Evolute: Evolution of Software Systems with Extensible Languages and DSLs (Closed)
Oracle donates $100K to support research on Flexible, Composable, and Incremental Compiler Pipelines
Congratulations to Sebastian Erdweg with his new position as Associate Professor at the Johannes Gutenberg Universität Mainz.
The paper “Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications” by Daniël Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser has been accepted at ECOOP 2019.
Daco Harkes successfully defended his PhD thesis Declarative Specification of Information System Data Models and Business Logic and was awarded the degree of doctor.
The PL group has an opening for an assistant or associate professor in programming languages (applications are due April 15, 2019)