Lars Hupel

According to our database1, Lars Hupel authored at least 17 papers between 2014 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
An Algebra for Higher-Order 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
Semantics-Preserving Simplification of Real-World 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


  Loading...