Research & Publications

Research Topics

Publications (by year)


2018

  • A Verified Compiler from Isabelle/HOL to CakeML

    Lars Hupel ORCID Tobias Nipkow ORCID
    European Symposium on Programming (ESOP, Open Access), 2018
    The final publication is available at Springer Link.

  • Isabelle/CakeML

    Lars Hupel ORCID Yu Zhang
    2018

  • Verified iptables Firewall Analysis and Verification

    Cornelius Diekmann ORCID Lars Hupel ORCID Julius Michaelis Maximilian Haslbeck ORCID Georg Carle ORCID
    Journal of Automated Reasoning (Open Access), 2018
    The final publication is available at Springer Link.


2017

  • Lazifying case constants

    Lars Hupel ORCID
    Archive of Formal Proofs, 2017

  • Constructor Functions

    Lars Hupel ORCID
    Archive of Formal Proofs, 2017

  • Dictionary Construction

    Lars Hupel ORCID
    Archive of Formal Proofs, 2017


2016

  • Iptables Semantics

    Cornelius Diekmann ORCID Lars Hupel ORCID
    Archive of Formal Proofs, 2016

  • Translating Scala Programs to Isabelle/HOL

    Lars Hupel ORCID Viktor Kunčak
    International Joint Conference on Automated Reasoning (IJCAR), 2016
    The final publication is available at Springer Link.

  • Clone Detection in Isabelle Theories

    Dominik Vinan Lars Hupel ORCID
    Isabelle Workshop, 2016


2015


2014

  • Directed Security Policies: A Stateful Network Implementation

    Cornelius Diekmann ORCID Lars Hupel ORCID Georg Carle ORCID
    Third International Workshop on Engineering Safety and Security Systems (ESSS), 2014

  • Interactive Simplifier Tracing and Debugging in Isabelle

    Lars Hupel ORCID
    Intelligent Computer Mathematics (CICM), 2014
    The final publication is available at Springer Link.


2013

  • A Visualization Toolkit for Simplifier Traces in Isabelle/jEdit

    Lars Hupel ORCID
    Master's Thesis in Informatics, Technische Universität München, 2013


2011

  • Development of an associative file system

    Lars Hupel ORCID
    Bachelor's Thesis in Informatics, Technische Universität München, 2011