Computing automates the world, programming language research automates computing.

The design and implementation of high-level (domain-specific) programming abstractions are powerful methods to address the accidental complexity in software systems design. In particular, they are key in automating complex “non-functional” concerns, thus enabling desired software system’s properties such as reliabile and resilient software, and security and privacy “by-design”

A recurring research question in the area is how to balance expressivity of programming models versus the ability of perform automated reasoning.

Some times our methodology involves formal definitions with proofs of key properties, and other times we implement prototypes with empirically evaluations of expressiveness, design and performance.

Currently, we are working on programming models for (AI-enabled) software systems with ”baked-in" reliability, resiliency and trustworthiness.

Courses:

Recent Distributed Programming Papers:

  • Think locally, act globally: A programming model for decentralized applications.
    Haas, Kuessner, Mogk, Mezini, INTERNET (4) 2025. 10.1109/mic.2025.3618947
  • Transitions in wireless networks: Selected results of collaborative research in MAKI.
    Freisleben, Hinz, Hollick, Klein, Mezini, Ortiz, BIRTHDAY 2024. 10.1007/978-3-031-71874-8_11
  • Dependently-typed data plane programming.
    Eichholz, Campbell, Krebs, Foster, Mezini, PACMPL (POPL) 2022. 10.1145/3498701
  • Prisma: A tierless language for enforcing contract-client protocols in decentralized applications (extended abstract).
    Richter, Kretzler, Weisenburger, Salvaneschi, Faust, Mezini, ECOOP 2022. 10.4230/lipics.ecoop.2022.35

Recent Programming Languages Papers:

  • LoRe: A programming model for verifiably safe local-first software.
    Haas, Mogk, Yanakieva, Bieniusa, Mezini, TOPLAS (1) 2024. 10.1145/3633769
  • Compiling with arrays.
    Richter, Böhler, Weisenburger, Mezini, ECOOP 2024. 10.4230/lipics.ecoop.2024.33
  • Incrementalizing polynomial functors.
    Böhler, Richter, Mezini, FTFJP 2024. 10.1145/3678721.3686231
  • Prisma : A tierless language for enforcing contract-client protocols in decentralized applications.
    Richter, Kretzler, Weisenburger, Salvaneschi, Faust, Mezini, TOPLAS (3) 2023. 10.1145/3604629
  • Algebraic replicated data types: Programming secure local-first software.
    Kuessner, Mogk, Wickert, Mezini, ECOOP 2023. 10.4230/lipics.ecoop.2023.14