Lars Hupel

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 22

Top Venues

Technical University of Munich, Germany (PHD)

Education History

Technical University of Munich, Germany

PHD

Publications

Terru Stübinger, Lars Hupel
Go Code Generation for Isabelle. Arch. Formal Proofs 2024 (2024)
Lars Hupel, Makan Rafiee
How Does Post-quantum Cryptography Affect Central Bank Digital Currency? UbiSec (2023)
Lars Hupel
Fixed-length vectors. Arch. Formal Proofs 2023 (2023)
Terru Stübinger, Lars Hupel
Extending Isabelle/HOL's Code Generator with support for the Go programming language. CoRR (2023)
Lars Hupel, Makan Rafiee
How does post-quantum cryptography affect Central Bank Digital Currency? CoRR (2023)
Cornelius Diekmann, Lars Hupel
Hello World. Arch. Formal Proofs 2020 (2020)
Lars Hupel
A Verified Code Generator from Isabelle/HOL to CakeML. Arch. Formal Proofs 2019 (2019)
Lars Hupel
Certifying Dictionary Construction in Isabelle/HOL. Fundam. Informaticae 170 (1-3) (2019)
Lars Hupel
An Algebra for Higher-Order Terms. Arch. Formal Proofs 2019 (2019)
Lars Hupel, Tobias Nipkow
A Verified Compiler from Isabelle/HOL to CakeML. ESOP (2018)
Cornelius Diekmann, Lars Hupel, Julius Michaelis, Max W. Haslbeck, Georg Carle
Verified iptables Firewall Analysis and Verification. J. Autom. Reason. 61 (1-4) (2018)
Jonas Rädle, Lars Hupel
Deriving generic class instances for datatypes. Arch. Formal Proofs 2018 (2018)
Lars Hupel
CakeML. Arch. Formal Proofs 2018 (2018)
Lars Hupel
Dictionary Construction. Arch. Formal Proofs 2017 (2017)
Lars Hupel
Constructor Functions. Arch. Formal Proofs 2017 (2017)
Lars Hupel
Lazifying case constants. Arch. Formal Proofs 2017 (2017)
Lars Hupel, Viktor Kuncak
Translating Scala Programs to Isabelle/HOL. CoRR (2016)
Cornelius Diekmann, Julius Michaelis, Lars Hupel
IP Addresses. Arch. Formal Proofs 2016 (2016)
Julius Michaelis, Max W. Haslbeck, Peter Lammich, Lars Hupel
Algorithms for Reduced Ordered Binary Decision Diagrams. Arch. Formal Proofs 2016 (2016)
Cornelius Diekmann, Lars Hupel, Georg Carle
Semantics-Preserving Simplification of Real-World Firewall Rule Sets. CoRR (2016)
Cornelius Diekmann, Lars Hupel
Iptables_Semantics. Arch. Formal Proofs 2016 (2016)
Lars Hupel, Viktor Kuncak
Translating Scala Programs to Isabelle/HOL - System Description. IJCAR (2016)
Cornelius Diekmann, Lars Hupel, Georg Carle
Semantics-Preserving Simplification of Real-World Firewall Rule Sets. FM (2015)
Lars Hupel
Interactive Simplifier Tracing and Debugging in Isabelle. CICM (2014)
Lars Hupel
Interactive Simplifier Tracing and Debugging in Isabelle. CoRR (2014)
Lars Hupel
Properties of Random Graphs - Subgraph Containment. Arch. Formal Proofs 2014 (2014)
Cornelius Diekmann, Lars Hupel, Georg Carle
Directed Security Policies: A Stateful Network Implementation. ESSS (2014)
Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel
Experience report: the next 1100 Haskell programmers. Haskell (2014)

Lars Hupel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lars Hupel