Lars Hupel

PhD student, Chair for Logic and Verification, Fakultät für Informatik, Technische Universität München

Contact

Technische Universität München
Boltzmannstraße 3, 85748 Garching

Office: MI 00.09.063
Office phone: +49 89 289-17328
Office hours: booking request

Email (click to reveal)
Academic: lars.hupel@tum.de
Non-academic: lars@hupel.info

Profiles

Resume Google Scholar ORCID DBLP GitHub Stack Overflow Twitter Instagram Speaker Deck

Standing Invitation

Inspired by Patrick McKenzie, I am offering a standing invitation: If you want to talk research or software, I want to talk to you. For details, check this page.
Full list

Teaching (current semester)

Logik

Übungsleitung
Formal Proof in Mathematics and Computer Science

Seminar
AI Planning

Seminar
Full list

Select Publications

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.

PDF HTML BibTeX DOI

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.

PDF HTML BibTeX DOI

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.

PDF HTML BibTeX DOI arXiv Slides