BibTeX records: Lars Hupel

download as .bib file

@article{DBLP:journals/afp/StubingerH24,
  author       = {Terru St{\"{u}}binger and
                  Lars Hupel},
  title        = {Go Code Generation for Isabelle},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Go.html},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/StubingerH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel23,
  author       = {Lars Hupel},
  title        = {Fixed-length vectors},
  journal      = {Arch. Formal Proofs},
  volume       = {2023},
  year         = {2023},
  url          = {https://www.isa-afp.org/entries/Fixed\_Length\_Vector.html},
  timestamp    = {Fri, 15 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Hupel23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-15787,
  author       = {Lars Hupel and
                  Makan Rafiee},
  title        = {How does post-quantum cryptography affect Central Bank Digital Currency?},
  journal      = {CoRR},
  volume       = {abs/2308.15787},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.15787},
  doi          = {10.48550/ARXIV.2308.15787},
  eprinttype    = {arXiv},
  eprint       = {2308.15787},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-15787.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-02704,
  author       = {Terru St{\"{u}}binger and
                  Lars Hupel},
  title        = {Extending Isabelle/HOL's Code Generator with support for the Go programming
                  language},
  journal      = {CoRR},
  volume       = {abs/2310.02704},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.02704},
  doi          = {10.48550/ARXIV.2310.02704},
  eprinttype    = {arXiv},
  eprint       = {2310.02704},
  timestamp    = {Thu, 19 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02704.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  urn          = {urn:nbn:de:bvb:91-diss-20190711-1473785-1-3},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  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. Informaticae},
  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, 09 Apr 2022 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. Reason.},
  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    = {Wed, 02 Sep 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    = {Tue, 05 Jul 2022 08:30:25 +0200},
  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    = {Mon, 26 Jun 2023 20:45:22 +0200},
  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},
  eprinttype    = {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},
  eprinttype    = {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 S. 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    = {Thu, 14 Apr 2022 20:26:16 +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    = {Thu, 24 Jun 2021 16:19:29 +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    = {Wed, 16 Mar 2022 23:55:39 +0100},
  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},
  eprinttype    = {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