Lars Hupel

Contact

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

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 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 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 BibTeX DOI arXiv Slides