Skip to main navigation Skip to search Skip to main content
Fabian Muehlboeck

View Scopus Profile

Dr Fabian Muehlboeck

 https://orcid.org/0000-0003-1548-0177
20142026

Research activity per year

Personal profile

Biography

Actual website: https://fabian.muehlboeck.name

Qualifications

PhD, Cornell University; M.S., Northeastern University; BSc, TU Wien

Research Interests

Programming Language Design, Type Systems, Gradual Typing, Parsing, Compilers, Software Engineering

Research student supervision

  • Registered to supervise

Fingerprint

Dive into the research topics where Fabian Muehlboeck is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint
  • 5 Article
  • 4 Conference Paper
  • 1 Doctoral thesis

  • Type-Safe Monotonic Object Evolution

    Mirrlees-Black, A., Wu, H., Richards, G. & Muehlboeck, F., 10 Apr 2026, In: Proceedings of the ACM on Programming Languages. 10, OOPSLA1, p. 1432-1458 27 p., 144.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • VAMOS: Middleware for best-effort third-party monitoring

    Chalupa, M., Muehlboeck, F., Muroya Lei, S. & Henzinger, T. A., Feb 2025, In: Science of Computer Programming. 240, 32 p., 103212.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • View Types in Rust

    Pak, S., Willie, R., Mathur, U., Muehlboeck, F. & Potanin, A., 2025, Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: Association for Computing Machinery (ACM), p. 48–49 2 p. (SPLASH Companion '25).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

  • Vamos: Middleware for Best-Effort Third-Party Monitoring

    Chalupa, M., Muehlboeck, F., Lei, S. M. & Henzinger, T. A., 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Springer Science+Business Media B.V., p. 260-281 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13991 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

    Open Access
    3 Citations (Scopus)

  • Differential Monitoring

    Muehlboeck, F. & Henzinger, T. A., 2021, Runtime Verification - 21st International Conference, RV 2021, Proceedings. Feng, L. & Fisman, D. (eds.). Springer Science+Business Media B.V., p. 231-243 13 p. (Lecture Notes in Computer Science; vol. 12974 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

    5 Citations (Scopus)
View all 10 research outputs