We stand with Ukraine  

Lars Hupel

Orcid: 0000-0002-8442-856X

Affiliations:
  • TU Munich, Department of Informatics, Germany


According to our database1, Lars Hupel authored at least 26 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Go Code Generation for Isabelle.
[BibTeX]
[DOI]
Terru Stübinger
,
Lars Hupel
Arch. Formal Proofs, 2024

2023
Extending Isabelle/HOL's Code Generator with support for the Go programming language.
[BibTeX]
[DOI]
Terru Stübinger
,
Lars Hupel
CoRR, 2023

Fixed-length vectors.
[BibTeX]
[DOI]
Lars Hupel
Arch. Formal Proofs, 2023

How Does Post-quantum Cryptography Affect Central Bank Digital Currency?
[BibTeX]
[DOI]
Lars Hupel
,
Makan Rafiee
Proceedings of the Ubiquitous Security, 2023

2020
Hello World.
[BibTeX]
[DOI]
Cornelius Diekmann
,
Lars Hupel
Arch. Formal Proofs, 2020

2019
Verified Code Generation from Isabelle/HOL.
[BibTeX]
[DOI]
Lars Hupel
PhD thesis, 2019

Certifying Dictionary Construction in Isabelle/HOL.
[BibTeX]
[DOI]
Lars Hupel
Fundam. Informaticae, 2019

A Verified Code Generator from Isabelle/HOL to CakeML.
[BibTeX]
[DOI]
Lars Hupel
Arch. Formal Proofs, 2019

An Algebra for Higher-Order Terms.
[BibTeX]
[DOI]
Lars Hupel
Arch. Formal Proofs, 2019

2018
Verified iptables Firewall Analysis and Verification.
[BibTeX]
[DOI]
Cornelius Diekmann
,
Lars Hupel
,
Julius Michaelis
,
Max W. Haslbeck
,
Georg Carle
J. Autom. Reason., 2018

Deriving generic class instances for datatypes.
[BibTeX]
[DOI]
Jonas Rädle
,
Lars Hupel
Arch. Formal Proofs, 2018

CakeML.
[BibTeX]
[DOI]
Lars Hupel
Arch. Formal Proofs, 2018

A Verified Compiler from Isabelle/HOL to CakeML.
[BibTeX]
[DOI]
Lars Hupel
,
Tobias Nipkow
Proceedings of the Programming Languages and Systems, 2018

2017
Dictionary Construction.
[BibTeX]
[DOI]
Lars Hupel
Arch. Formal Proofs, 2017

Constructor Functions.
[BibTeX]
[DOI]
Lars Hupel
Arch. Formal Proofs, 2017

Lazifying case constants.
[BibTeX]
[DOI]
Lars Hupel
Arch. Formal Proofs, 2017

2016
Translating Scala Programs to Isabelle/HOL.
[BibTeX]
[DOI]
Lars Hupel
,
Viktor Kuncak
CoRR, 2016

Algorithms for Reduced Ordered Binary Decision Diagrams.
[BibTeX]
[DOI]
Julius Michaelis
,
Max W. Haslbeck
,
Peter Lammich
,
Lars Hupel
Arch. Formal Proofs, 2016

IP Addresses.
[BibTeX]
[DOI]
Cornelius Diekmann
,
Julius Michaelis
,
Lars Hupel
Arch. Formal Proofs, 2016

Iptables_Semantics.
[BibTeX]
[DOI]
Cornelius Diekmann
,
Lars Hupel
Arch. Formal Proofs, 2016

Translating Scala Programs to Isabelle/HOL - System Description.
[BibTeX]
[DOI]
Lars Hupel
,
Viktor Kuncak
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015
Semantics-Preserving Simplification of Real-World Firewall Rule Sets.
[BibTeX]
[DOI]
Cornelius Diekmann
,
Lars Hupel
,
Georg Carle
Proceedings of the FM 2015: Formal Methods, 2015

2014
Directed Security Policies: A Stateful Network Implementation.
[BibTeX]
[DOI]
Cornelius Diekmann
,
Lars Hupel
,
Georg Carle
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

Properties of Random Graphs - Subgraph Containment.
[BibTeX]
[DOI]
Lars Hupel
Arch. Formal Proofs, 2014

Interactive Simplifier Tracing and Debugging in Isabelle.
[BibTeX]
[DOI]
Lars Hupel
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Experience report: the next 1100 Haskell programmers.
[BibTeX]
[DOI]
Jasmin Christian Blanchette
,
Lars Hupel
,
Tobias Nipkow
,
Lars Noschinski
,
Dmitriy Traytel
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014


  Loading...