Lars Hupel

PhD student
Chair for Logic and Verification, Fakultät für Informatik
Office: MI 00.09.063
Office hours: upon request
Office phone: +49 89 289-17328
Email: lars.hupel the at sign tum.de
CV: [PDF]

Teaching

  • Einführung in die theoretische Informatik: SS11 (Tutor)
  • Einführung in die theoretische Informatik: SS12 (Tutor)
  • Einführung in die Informatik 2: WS12/13 (Tutor)
  • Einführung in die Informatik 2: WS13/14 (Übungsleitung)
  • Einführung in die theoretische Informatik: SS14 (Tutor)
  • Einführung in die Informatik 2: WS14/15 (Übungsleitung)
  • Perlen der Informatik 3: WS14/15 (Proseminar)
  • Equational Logic: SS15 (Übungsleitung)
  • Fortgeschrittene Konzepte der funktionalen Programmierung: SS15 (Seminar)
  • Spezifikation und Verifikation: WS15/16 (Praktikum)
  • Perlen der Informatik 1: WS15/16 (Übungsleitung)
  • Spezifikation und Verifikation: SS16 (Praktikum)
  • Perlen der Informatik: SS16 (Proseminar)
  • SAT-Solving: SS16 (Proseminar)

Research & Publications

Isabelle

AFP Entries

  • Properties of Random Graphs – Subgraph Containment
    Published in the AFP, 2014
    [entry] [bibtex]
  • Algorithms for Reduced Ordered Binary Decision Diagrams
    with Julius Michaelis, Maximilian Haslbeck, Peter Lammich
    Published in the AFP, 2016
    [entry] [bibtex]
Haskell

Teaching Haskell

  • The Next 1100 Haskell Programmers
    with Jasmin Blanchette, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel
    Haskell Symposium 2014 (Haskell'14)
    [pdf] [bibtex] [doi] [Slides] [Recording]
Isabelle

Simplifier Trace

  • A Visualization Toolkit for Simplifier Traces in Isabelle/jEdit
    Master's Thesis in Informatics, Technische Universität München, 2013
    [pdf]
  • Interactive Simplifier Tracing and Debugging in Isabelle
    Proceedings Intelligent Computer Mathematics (CICM 2014)
    The final publication is available at Springer Link.
    [pdf] [bibtex] [doi] [arXiv] [Slides]
Isabelle

Network Security

(joint work with Cornelius Diekmann)
  • Directed Security Policies: A Stateful Network Implementation
    Proceedings Third International Workshop on Engineering Safety and Security Systems (ESSS 2014)
    [pdf] [bibtex] [doi]
  • Semantics-Preserving Simplification of Real-World Firewall Rule Sets
    FM 2015: Formal Methods, 20th International Symposium
    The final publication is available at Springer Link.
    [pdf] [bibtex] [doi] [arXiv] [git] [Slides]
Isabelle Scala

Integration of Isabelle with other tools

  • Translating Scala Programs to Isabelle/HOL
    with Viktor Kuncak
    (accepted at IJCAR'16)
    [git] [preprint]
  • libisabelle – minimal wrapper around Isabelle/PIDE for non-IDE applications
    [code] [DOI]
Scala

Generic Programming

  • Generating Type Class Instances Automatically
    Presentation at Scala2013, Montpellier
    [Slides]