BibTeX records: Lars Hupel

download as .bib file

@article{DBLP:journals/afp/DiekmannH20,
  author    = {Cornelius Diekmann and
               Lars Hupel},
  title     = {Hello World},
  journal   = {Arch. Formal Proofs},
  volume    = {2020},
  year      = {2020},
  url       = {https://www.isa-afp.org/entries/Hello\_World.html},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/DiekmannH20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Hupel19,
  author    = {Lars Hupel},
  title     = {Verified Code Generation from Isabelle/HOL},
  school    = {Technical University of Munich, Germany},
  year      = {2019},
  url       = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20190711-1473785-1-3},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/dnb/Hupel19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel19,
  author    = {Lars Hupel},
  title     = {An Algebra for Higher-Order Terms},
  journal   = {Arch. Formal Proofs},
  volume    = {2019},
  year      = {2019},
  url       = {https://www.isa-afp.org/entries/Higher\_Order\_Terms.html},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/Hupel19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel19a,
  author    = {Lars Hupel},
  title     = {A Verified Code Generator from Isabelle/HOL to CakeML},
  journal   = {Arch. Formal Proofs},
  volume    = {2019},
  year      = {2019},
  url       = {https://www.isa-afp.org/entries/CakeML\_Codegen.html},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/Hupel19a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Hupel19,
  author    = {Lars Hupel},
  title     = {Certifying Dictionary Construction in Isabelle/HOL},
  journal   = {Fundam. Inform.},
  volume    = {170},
  number    = {1-3},
  pages     = {177--205},
  year      = {2019},
  url       = {https://doi.org/10.3233/FI-2019-1859},
  doi       = {10.3233/FI-2019-1859},
  timestamp = {Sat, 26 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Hupel19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel18,
  author    = {Lars Hupel},
  title     = {CakeML},
  journal   = {Arch. Formal Proofs},
  volume    = {2018},
  year      = {2018},
  url       = {https://www.isa-afp.org/entries/CakeML.html},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/Hupel18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/RadleH18,
  author    = {Jonas R{\"{a}}dle and
               Lars Hupel},
  title     = {Deriving generic class instances for datatypes},
  journal   = {Arch. Formal Proofs},
  volume    = {2018},
  year      = {2018},
  url       = {https://www.isa-afp.org/entries/Generic\_Deriving.html},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/RadleH18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DiekmannHMHC18,
  author    = {Cornelius Diekmann and
               Lars Hupel and
               Julius Michaelis and
               Max W. Haslbeck and
               Georg Carle},
  title     = {Verified iptables Firewall Analysis and Verification},
  journal   = {J. Autom. Reasoning},
  volume    = {61},
  number    = {1-4},
  pages     = {191--242},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10817-017-9445-1},
  doi       = {10.1007/s10817-017-9445-1},
  timestamp = {Sat, 30 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/DiekmannHMHC18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HupelN18,
  author    = {Lars Hupel and
               Tobias Nipkow},
  editor    = {Amal Ahmed},
  title     = {A Verified Compiler from Isabelle/HOL to CakeML},
  booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
               {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
               14-20, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10801},
  pages     = {999--1026},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1\_35},
  doi       = {10.1007/978-3-319-89884-1\_35},
  timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
  biburl    = {https://dblp.org/rec/conf/esop/HupelN18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel17,
  author    = {Lars Hupel},
  title     = {Lazifying case constants},
  journal   = {Arch. Formal Proofs},
  volume    = {2017},
  year      = {2017},
  url       = {https://www.isa-afp.org/entries/Lazy\_Case.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/Hupel17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel17a,
  author    = {Lars Hupel},
  title     = {Constructor Functions},
  journal   = {Arch. Formal Proofs},
  volume    = {2017},
  year      = {2017},
  url       = {https://www.isa-afp.org/entries/Constructor\_Funs.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/Hupel17a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel17b,
  author    = {Lars Hupel},
  title     = {Dictionary Construction},
  journal   = {Arch. Formal Proofs},
  volume    = {2017},
  year      = {2017},
  url       = {https://www.isa-afp.org/entries/Dict\_Construction.html},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/Hupel17b.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/DiekmannH16,
  author    = {Cornelius Diekmann and
               Lars Hupel},
  title     = {Iptables{\_}Semantics},
  journal   = {Arch. Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/Iptables\_Semantics.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/DiekmannH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/DiekmannMH16,
  author    = {Cornelius Diekmann and
               Julius Michaelis and
               Lars Hupel},
  title     = {{IP} Addresses},
  journal   = {Arch. Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/IP\_Addresses.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/DiekmannMH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/MichaelisHLH16,
  author    = {Julius Michaelis and
               Max W. Haslbeck and
               Peter Lammich and
               Lars Hupel},
  title     = {Algorithms for Reduced Ordered Binary Decision Diagrams},
  journal   = {Arch. Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/ROBDD.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/MichaelisHLH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HupelK16,
  author    = {Lars Hupel and
               Viktor Kuncak},
  editor    = {Nicola Olivetti and
               Ashish Tiwari},
  title     = {Translating Scala Programs to Isabelle/HOL - System Description},
  booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
               2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9706},
  pages     = {568--577},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-40229-1\_38},
  doi       = {10.1007/978-3-319-40229-1\_38},
  timestamp = {Wed, 06 Nov 2019 16:45:49 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/HupelK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DiekmannHC16,
  author    = {Cornelius Diekmann and
               Lars Hupel and
               Georg Carle},
  title     = {Semantics-Preserving Simplification of Real-World Firewall Rule Sets},
  journal   = {CoRR},
  volume    = {abs/1604.00206},
  year      = {2016},
  url       = {http://arxiv.org/abs/1604.00206},
  archivePrefix = {arXiv},
  eprint    = {1604.00206},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/DiekmannHC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HupelK16,
  author    = {Lars Hupel and
               Viktor Kuncak},
  title     = {Translating Scala Programs to Isabelle/HOL},
  journal   = {CoRR},
  volume    = {abs/1607.01539},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.01539},
  archivePrefix = {arXiv},
  eprint    = {1607.01539},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/HupelK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DiekmannHC15,
  author    = {Cornelius Diekmann and
               Lars Hupel and
               Georg Carle},
  editor    = {Nikolaj Bj{\o}rner and
               Frank S. de Boer},
  title     = {Semantics-Preserving Simplification of Real-World Firewall Rule Sets},
  booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9109},
  pages     = {195--212},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9\_13},
  doi       = {10.1007/978-3-319-19249-9\_13},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/DiekmannHC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel14,
  author    = {Lars Hupel},
  title     = {Properties of Random Graphs - Subgraph Containment},
  journal   = {Arch. Formal Proofs},
  volume    = {2014},
  year      = {2014},
  url       = {https://www.isa-afp.org/entries/Random\_Graph\_Subgraph\_Threshold.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/Hupel14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BlanchetteHNNT14,
  author    = {Jasmin Christian Blanchette and
               Lars Hupel and
               Tobias Nipkow and
               Lars Noschinski and
               Dmitriy Traytel},
  editor    = {Wouter Swierstra},
  title     = {Experience report: the next 1100 Haskell programmers},
  booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  pages     = {25--30},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2633357.2633359},
  doi       = {10.1145/2633357.2633359},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/haskell/BlanchetteHNNT14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Hupel14,
  author    = {Lars Hupel},
  editor    = {Stephen M. Watt and
               James H. Davenport and
               Alan P. Sexton and
               Petr Sojka and
               Josef Urban},
  title     = {Interactive Simplifier Tracing and Debugging in Isabelle},
  booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
               2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8543},
  pages     = {328--343},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08434-3\_24},
  doi       = {10.1007/978-3-319-08434-3\_24},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/mkm/Hupel14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DiekmannHC14,
  author    = {Cornelius Diekmann and
               Lars Hupel and
               Georg Carle},
  editor    = {Jun Pang and
               Yang Liu},
  title     = {Directed Security Policies: {A} Stateful Network Implementation},
  booktitle = {Proceedings Third International Workshop on Engineering Safety and
               Security Systems, {ESSS} 2014, Singapore, Singapore, 13 May 2014},
  series    = {{EPTCS}},
  volume    = {150},
  pages     = {20--34},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.150.3},
  doi       = {10.4204/EPTCS.150.3},
  timestamp = {Mon, 23 Dec 2019 09:19:12 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/DiekmannHC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hupel14,
  author    = {Lars Hupel},
  title     = {Interactive Simplifier Tracing and Debugging in Isabelle},
  journal   = {CoRR},
  volume    = {abs/1406.0292},
  year      = {2014},
  url       = {http://arxiv.org/abs/1406.0292},
  archivePrefix = {arXiv},
  eprint    = {1406.0292},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/Hupel14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics