dblpbibcloud -- auto merge of bib entries from DBLP and infoscience#6

edbugnion wants to merge 4 commits intodslab-epfl:maindslab-epfl/systems-epfl.github.io:mainfrom

edbugnion:mainedbugnion/systems-epfl.github.io:mainCopy head branch name to clipboard