BibTeX records: Lars Hupel

download as .bib file

@article{DBLP:journals/afp/Hupel18,
  author    = {Lars Hupel},
  title     = {CakeML},
  journal   = {Archive of Formal Proofs},
  volume    = {2018},
  year      = {2018},
  url       = {https://www.isa-afp.org/entries/CakeML.html},
  timestamp = {Thu, 05 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/afp/Hupel18},
  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   = {Archive of Formal Proofs},
  volume    = {2018},
  year      = {2018},
  url       = {https://www.isa-afp.org/entries/Generic\_Deriving.html},
  timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/afp/RadleH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DiekmannHMHC18,
  author    = {Cornelius Diekmann and
               Lars Hupel and
               Julius Michaelis and
               Maximilian P. L. 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 = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/DiekmannHMHC18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HupelN18,
  author    = {Lars Hupel and
               Tobias Nipkow},
  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},
  pages     = {999--1026},
  year      = {2018},
  crossref  = {DBLP:conf/esop/2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1\_35},
  doi       = {10.1007/978-3-319-89884-1\_35},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/HupelN18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel17,
  author    = {Lars Hupel},
  title     = {Lazifying case constants},
  journal   = {Archive of Formal Proofs},
  volume    = {2017},
  year      = {2017},
  url       = {https://www.isa-afp.org/entries/Lazy\_Case.shtml},
  timestamp = {Thu, 04 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/afp/Hupel17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel17a,
  author    = {Lars Hupel},
  title     = {Constructor Functions},
  journal   = {Archive of Formal Proofs},
  volume    = {2017},
  year      = {2017},
  url       = {https://www.isa-afp.org/entries/Constructor\_Funs.shtml},
  timestamp = {Thu, 04 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/afp/Hupel17a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel17b,
  author    = {Lars Hupel},
  title     = {Dictionary Construction},
  journal   = {Archive of Formal Proofs},
  volume    = {2017},
  year      = {2017},
  url       = {https://www.isa-afp.org/entries/Dict\_Construction.html},
  timestamp = {Thu, 19 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/afp/Hupel17b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/DiekmannH16,
  author    = {Cornelius Diekmann and
               Lars Hupel},
  title     = {Iptables{\_}Semantics},
  journal   = {Archive of Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/Iptables\_Semantics.shtml},
  timestamp = {Mon, 19 Sep 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/afp/DiekmannH16},
  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   = {Archive of Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/IP\_Addresses.shtml},
  timestamp = {Mon, 19 Sep 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/afp/DiekmannMH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/MichaelisHLH16,
  author    = {Julius Michaelis and
               Maximilian P. L. Haslbeck and
               Peter Lammich and
               Lars Hupel},
  title     = {Algorithms for Reduced Ordered Binary Decision Diagrams},
  journal   = {Archive of Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/ROBDD.shtml},
  timestamp = {Mon, 19 Sep 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/afp/MichaelisHLH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HupelK16,
  author    = {Lars Hupel and
               Viktor Kuncak},
  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},
  pages     = {568--577},
  year      = {2016},
  crossref  = {DBLP:conf/cade/2016},
  url       = {https://doi.org/10.1007/978-3-319-40229-1\_38},
  doi       = {10.1007/978-3-319-40229-1\_38},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/HupelK16},
  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/bib/journals/corr/DiekmannHC16},
  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/bib/journals/corr/HupelK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DiekmannHC15,
  author    = {Cornelius Diekmann and
               Lars Hupel and
               Georg Carle},
  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},
  pages     = {195--212},
  year      = {2015},
  crossref  = {DBLP:conf/fm/2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9\_13},
  doi       = {10.1007/978-3-319-19249-9\_13},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fm/DiekmannHC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Hupel14,
  author    = {Lars Hupel},
  title     = {Properties of Random Graphs - Subgraph Containment},
  journal   = {Archive of Formal Proofs},
  volume    = {2014},
  year      = {2014},
  url       = {https://www.isa-afp.org/entries/Random\_Graph\_Subgraph\_Threshold.shtml},
  timestamp = {Mon, 19 Sep 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/afp/Hupel14},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/haskell/2014},
  url       = {https://doi.org/10.1145/2633357.2633359},
  doi       = {10.1145/2633357.2633359},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/BlanchetteHNNT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Hupel14,
  author    = {Lars Hupel},
  title     = {Interactive Simplifier Tracing and Debugging in Isabelle},
  booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
               2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
  pages     = {328--343},
  year      = {2014},
  crossref  = {DBLP:conf/mkm/2014},
  url       = {https://doi.org/10.1007/978-3-319-08434-3\_24},
  doi       = {10.1007/978-3-319-08434-3\_24},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/Hupel14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DiekmannHC14,
  author    = {Cornelius Diekmann and
               Lars Hupel and
               Georg Carle},
  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.},
  pages     = {20--34},
  year      = {2014},
  crossref  = {DBLP:journals/corr/PangL14},
  url       = {https://doi.org/10.4204/EPTCS.150.3},
  doi       = {10.4204/EPTCS.150.3},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DiekmannHC14},
  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/bib/journals/corr/Hupel14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2018,
  editor    = {Amal Ahmed},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1},
  doi       = {10.1007/978-3-319-89884-1},
  isbn      = {978-3-319-89883-4},
  timestamp = {Mon, 16 Apr 2018 12:35:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2016,
  editor    = {Nicola Olivetti and
               Ashish Tiwari},
  title     = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
               2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9706},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-40229-1},
  doi       = {10.1007/978-3-319-40229-1},
  isbn      = {978-3-319-40228-4},
  timestamp = {Sun, 21 May 2017 00:17:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2015,
  editor    = {Nikolaj Bj{\o}rner and
               Frank S. de Boer},
  title     = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9109},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9},
  doi       = {10.1007/978-3-319-19249-9},
  isbn      = {978-3-319-19248-2},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2014,
  editor    = {Wouter Swierstra},
  title     = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2633357},
  isbn      = {978-1-4503-3041-1},
  timestamp = {Mon, 08 Sep 2014 16:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2014,
  editor    = {Stephen M. Watt and
               James H. Davenport and
               Alan P. Sexton and
               Petr Sojka and
               Josef Urban},
  title     = {Intelligent Computer Mathematics - International Conference, {CICM}
               2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8543},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08434-3},
  doi       = {10.1007/978-3-319-08434-3},
  isbn      = {978-3-319-08433-6},
  timestamp = {Wed, 17 May 2017 10:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/PangL14,
  editor    = {Jun Pang and
               Yang Liu},
  title     = {Proceedings Third International Workshop on Engineering Safety and
               Security Systems, {ESSS} 2014, Singapore, Singapore, 13 May 2014},
  series    = {{EPTCS}},
  volume    = {150},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.150},
  doi       = {10.4204/EPTCS.150},
  timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/PangL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier