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 hours: upon request
Office phone: +49 89 289-17328

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

Teaching (current semester)

Select Publications


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.


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.


The Next 1100 Haskell Programmers

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