Research & Publications

AFP Entries

Dictionary Construction

Lars Hupel
Archive of Formal Proofs, 2017


Constructor Functions

Lars Hupel
Archive of Formal Proofs, 2017


Lazyfing case constants

Lars Hupel
Archive of Formal Proofs, 2017


Iptables Semantics

Cornelius Diekmann Lars Hupel
Archive of Formal Proofs, 2016


IP Addresses

Cornelius Diekmann Julius Michaelis Lars Hupel
Archive of Formal Proofs, 2016


Algorithms for Reduced Ordered Binary Decision Diagrams

Julius Michaelis Maximilian Haslbeck Peter Lammich Lars Hupel
Archive of Formal Proofs, 2016


Properties of Random Graphs – Subgraph Containment

Lars Hupel
Archive of Formal Proofs, 2014


CakeML

A Verified Compiler from Isabelle/HOL to CakeML

Lars Hupel Tobias Nipkow


Teaching Haskell

The Next 1100 Haskell Programmers

Jasmin Christian Blanchette Lars Hupel Tobias Nipkow Lars Noschinski Dmitriy Traytel
Haskell Symposium, 2014


Network Security

Verified iptables Firewall Analysis & Verification

Cornelius Diekmann Lars Hupel Julius Michaelis Maximilian Haslbeck Georg Carle


Semantics-Preserving Simplification of Real-World Firewall Rule Sets

Cornelius Diekmann Lars Hupel Georg Carle
FM 2015: Formal Methods, 20th International Symposium
The final publication is available at Springer Link.


Directed Security Policies: A Stateful Network Implementation

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


Tools

Clone Detection in Isabelle Theories

Dominik Vinan Lars Hupel
Isabelle Workshop 2016


Translating Scala Programs to Isabelle/HOL

Lars Hupel Viktor Kuncak
International Joint Conference on Automated Reasoning (IJCAR 2016)
The final publication is available at Springer Link.


Interactive Simplifier Tracing and Debugging in Isabelle

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


A Visualization Toolkit for Simplifier Traces in Isabelle/jEdit

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

PDF

Databases

Development of an associative file system

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