Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jan-Oliver Kaiser
@article{DBLP:journals/pacmpl/DangJKD20, author = {Hoang{-}Hai Dang and Jacques{-}Henri Jourdan and Jan{-}Oliver Kaiser and Derek Dreyer}, title = {RustBelt meets relaxed memory}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{POPL}}, pages = {34:1--34:29}, year = {2020}, url = {https://doi.org/10.1145/3371102}, doi = {10.1145/3371102}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/DangJKD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{ICFP}}, pages = {77:1--77:30}, year = {2018}, url = {https://doi.org/10.1145/3236772}, doi = {10.1145/3236772}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/KrebbersJ0TKTCD18.bib}, 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 = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{ICFP}}, pages = {78:1--78:31}, year = {2018}, url = {https://doi.org/10.1145/3236773}, doi = {10.1145/3236773}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/KaiserZKRD18.bib}, 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 = {Dagstuhl Artifacts Ser.}, 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 = {Fri, 22 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/darts/KaiserDDLV17.bib}, 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}, editor = {Peter M{\"{u}}ller}, 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}, series = {LIPIcs}, volume = {74}, pages = {17:1--17:29}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.17}, doi = {10.4230/LIPICS.ECOOP.2017.17}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/KaiserDDLV17.bib}, 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}, editor = {Kathleen Fisher and John H. Reppy}, 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}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2784731.2784764}, doi = {10.1145/2784731.2784764}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/NeisHKMDV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpp/DoczkalKS13, author = {Christian Doczkal and Jan{-}Oliver Kaiser and Gert Smolka}, editor = {Georges Gonthier and Michael Norrish}, 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}, series = {Lecture Notes in Computer Science}, volume = {8307}, pages = {82--97}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03545-1\_6}, doi = {10.1007/978-3-319-03545-1\_6}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/cpp/DoczkalKS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.