René's URL Explorer Experiment


Title: Bernhard Kragl

direct link

Domain: bkragl.github.io

Links:

Amazon Web Services (AWS)https://aws.amazon.com/
Institute of Science and Technology Austria (IST Austria)https://ist.ac.at
Thomas A. Henzingerhttps://pub.ist.ac.at/~tah
Technical University of Viennahttps://tuwien.ac.at/en
DBLPhttps://dblp.uni-trier.de/pers/hd/k/Kragl:Bernhard
Google Scholarhttps://scholar.google.com/citations?user=1EskgycAAAAJ&hl=en
ORCIDhttps://orcid.org/0000-0001-7745-9117
[pdf]https://bkragl.github.io/papers/sosp2021.pdf
[doi]https://doi.org/10.1145/3477132.3483540
[website]https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3
[blog]https://aws.amazon.com/blogs/storage/how-automated-reasoning-helps-us-innovate-at-s3-scale
[pdf]https://bkragl.github.io/papers/fmcad2021.pdf
[doi]https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23
[slides]https://bkragl.github.io/papers/fmcad2021-slides.pdf
[video]https://youtu.be/vGMnQqoy6eA
[pdf]https://bkragl.github.io/papers/cav2020.pdf
[doi]https://doi.org/10.1007/978-3-030-53288-8_14
[slides]https://bkragl.github.io/papers/cav2020-slides.pdf
[video]https://youtu.be/anKt3qjo5as?t=1306
[pdf]https://bkragl.github.io/papers/pldi2020.pdf
[doi]https://doi.org/10.1145/3385412.3385980
[artifact]https://doi.org/10.5281/zenodo.3754772
[slides]https://bkragl.github.io/papers/pldi2020-slides.pdf
[video]https://www.youtube.com/watch?v=hShxxspWeb8
[pdf]https://bkragl.github.io/papers/csl2020.pdf
[pdf-extended]https://bkragl.github.io/papers/csl2020-extended.pdf
[doi]https://doi.org/10.4230/LIPIcs.CSL.2020.20
[arXiv]https://arxiv.org/abs/1910.06097
[slides]https://bkragl.github.io/papers/csl2020-slides.pdf
[pdf]https://bkragl.github.io/papers/concur2018.pdf
[doi]https://dx.doi.org/10.4230/LIPIcs.CONCUR.2018.21
[slides]https://bkragl.github.io/papers/concur2018-slides.pdf
[pdf]https://bkragl.github.io/papers/cav2018.pdf
[doi]https://dx.doi.org/10.1007/978-3-319-96145-3_5
[slides]https://bkragl.github.io/papers/cav2018-slides.pdf
[pdf]https://bkragl.github.io/papers/esop2017.pdf
[pdf-extended]https://bkragl.github.io/papers/esop2017-extended.pdf
[doi]https://dx.doi.org/10.1007/978-3-662-54434-1_11
[arXiv]https://arxiv.org/abs/1701.04914
[slides]https://bkragl.github.io/papers/esop2017-slides.pdf
[pdf]https://bkragl.github.io/papers/atva2014.pdf
[doi]https://dx.doi.org/10.1007/978-3-319-11936-6_14
[slides]https://bkragl.github.io/papers/atva2014-slides.pdf
[pdf]https://bkragl.github.io/papers/lpar2013.pdf
[doi]https://dx.doi.org/10.1007/978-3-642-45221-5_13
[slides]https://bkragl.github.io/papers/lpar2013-slides.pdf
Austrian Computer Science Day 2021https://acsd2021.aau.at
[pdf]https://bkragl.github.io/papers/phd-thesis.pdf
[doi]https://doi.org/10.15479/AT:ISTA:8332
CIVLhttps://civl-verifier.github.io
Vampirehttps://github.com/vprover/vampire
extensionality resolutionhttp://www.cse.chalmers.se/~laurako/links/ext_vampire.html
tree interpolationhttp://www.cse.chalmers.se/~laurako/links/tree_vampire.html
Valid HTMLhttps://validator.w3.org/check?uri=referer
Valid CSShttps://jigsaw.w3.org/css-validator/check/referer
URLs of crawlers that visited me.