BibTeX records: Jan-Oliver Kaiser

download as .bib file

@article{DBLP:journals/pacmpl/KrebbersJ0TKTCD18,
  author    = {Robbert Krebbers and
               Jacques{-}Henri Jourdan and
               Ralf Jung and
               Joseph Tassarotti and
               Jan{-}Oliver Kaiser and
               Amin Timany and
               Arthur Chargu{\'{e}}raud and
               Derek Dreyer},
  title     = {MoSeL: a general, extensible modal framework for interactive proofs
               in separation logic},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{ICFP}},
  pages     = {77:1--77:30},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236772},
  doi       = {10.1145/3236772},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/KrebbersJ0TKTCD18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KaiserZKRD18,
  author    = {Jan{-}Oliver Kaiser and
               Beta Ziliani and
               Robbert Krebbers and
               Yann R{\'{e}}gis{-}Gianas and
               Derek Dreyer},
  title     = {Mtac2: typed tactics for backward reasoning in Coq},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{ICFP}},
  pages     = {78:1--78:31},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236773},
  doi       = {10.1145/3236773},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/KaiserZKRD18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KaiserDDLV17,
  author    = {Jan{-}Oliver Kaiser and
               Hoang{-}Hai Dang and
               Derek Dreyer and
               Ori Lahav and
               Viktor Vafeiadis},
  title     = {Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency
               in Iris (Artifact)},
  journal   = {{DARTS}},
  volume    = {3},
  number    = {2},
  pages     = {15:1--15:2},
  year      = {2017},
  url       = {https://doi.org/10.4230/DARTS.3.2.15},
  doi       = {10.4230/DARTS.3.2.15},
  timestamp = {Mon, 03 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/darts/KaiserDDLV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KaiserDDLV17,
  author    = {Jan{-}Oliver Kaiser and
               Hoang{-}Hai Dang and
               Derek Dreyer and
               Ori Lahav and
               Viktor Vafeiadis},
  title     = {Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency
               in Iris},
  booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
               June 19-23, 2017, Barcelona, Spain},
  pages     = {17:1--17:29},
  year      = {2017},
  crossref  = {DBLP:conf/ecoop/2017},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.17},
  doi       = {10.4230/LIPIcs.ECOOP.2017.17},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/KaiserDDLV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NeisHKMDV15,
  author    = {Georg Neis and
               Chung{-}Kil Hur and
               Jan{-}Oliver Kaiser and
               Craig McLaughlin and
               Derek Dreyer and
               Viktor Vafeiadis},
  title     = {Pilsner: a compositionally verified compiler for a higher-order imperative
               language},
  booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
               1-3, 2015},
  pages     = {166--178},
  year      = {2015},
  crossref  = {DBLP:conf/icfp/2015},
  url       = {https://doi.org/10.1145/2784731.2784764},
  doi       = {10.1145/2784731.2784764},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/NeisHKMDV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/DoczkalKS13,
  author    = {Christian Doczkal and
               Jan{-}Oliver Kaiser and
               Gert Smolka},
  title     = {A Constructive Theory of Regular Languages in Coq},
  booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
               2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
  pages     = {82--97},
  year      = {2013},
  crossref  = {DBLP:conf/cpp/2013},
  url       = {https://doi.org/10.1007/978-3-319-03545-1\_6},
  doi       = {10.1007/978-3-319-03545-1\_6},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/DoczkalKS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2017,
  editor    = {Peter M{\"{u}}ller},
  title     = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
               June 19-23, 2017, Barcelona, Spain},
  series    = {LIPIcs},
  volume    = {74},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-035-4},
  isbn      = {978-3-95977-035-4},
  timestamp = {Mon, 26 Jun 2017 09:52:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015,
  editor    = {Kathleen Fisher and
               John H. Reppy},
  title     = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
               1-3, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2784731},
  isbn      = {978-1-4503-3669-7},
  timestamp = {Tue, 08 Sep 2015 09:21:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2013,
  editor    = {Georges Gonthier and
               Michael Norrish},
  title     = {Certified Programs and Proofs - Third International Conference, {CPP}
               2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8307},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-03545-1},
  doi       = {10.1007/978-3-319-03545-1},
  isbn      = {978-3-319-03544-4},
  timestamp = {Thu, 25 May 2017 00:42:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier