Lars Hupel
According to our database^{1},
Lars Hupel
authored at least 18 papers
between 2014 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at twitter.com

at orcid.org

at github.com
On csauthors.net:
Bibliography
2019
A Verified Code Generator from Isabelle/HOL to CakeML.
Archive of Formal Proofs, 2019
An Algebra for HigherOrder Terms.
Archive of Formal Proofs, 2019
2018
Verified iptables Firewall Analysis and Verification.
J. Autom. Reasoning, 2018
Deriving generic class instances for datatypes.
Archive of Formal Proofs, 2018
CakeML.
Archive of Formal Proofs, 2018
A Verified Compiler from Isabelle/HOL to CakeML.
Proceedings of the Programming Languages and Systems, 2018
2017
Dictionary Construction.
Archive of Formal Proofs, 2017
Constructor Functions.
Archive of Formal Proofs, 2017
Lazifying case constants.
Archive of Formal Proofs, 2017
2016
Algorithms for Reduced Ordered Binary Decision Diagrams.
Archive of Formal Proofs, 2016
IP Addresses.
Archive of Formal Proofs, 2016
Iptables_Semantics.
Archive of Formal Proofs, 2016
Translating Scala Programs to Isabelle/HOL  System Description.
Proceedings of the Automated Reasoning  8th International Joint Conference, 2016
2015
SemanticsPreserving Simplification of RealWorld Firewall Rule Sets.
Proceedings of the FM 2015: Formal Methods, 2015
2014
Directed Security Policies: A Stateful Network Implementation.
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014
Properties of Random Graphs  Subgraph Containment.
Archive of Formal Proofs, 2014
Interactive Simplifier Tracing and Debugging in Isabelle.
Proceedings of the Intelligent Computer Mathematics  International Conference, 2014
Experience report: the next 1100 Haskell programmers.
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014