More multicore and effects academic papers

[Octachron]

On a suggestion of @fpottier, this PR proposes to update the list of academic papers about multicore OCaml and effects.

The PR adds the two PLDI articles discussing the OCaml memory model and the implementation of effect handlers, two articles on proving multicore program correct, and a last article on proving programs with effect correct.

I have also added the featured tags to the two PLDI articles. To keep the same number of featured articles, I have removed the featured tag from the Eff article and the previous version (the ICFP one) version of the memory article.

[cuihtlauac]

It looks good to me.

Off-topic remarks:

• Should we include paper DOI?
• List of paper should be sorted in reverse chronological order in order to see fresh papers first

[fpottier]

Hi!

• Most recent papers first sounds wise.
• Regarding DOIs, I don't think the DOI number itself matters. What matters is to provide a URL to a publicly-accessible version of the paper (i.e., not behind a paywall), if possible.

[Octachron]

Idle thought: it could make sense to have the papers data in the bibtex format (or an extension), there are few OCaml libraries that can parse this format, and it is probably the easiest format for academics to submit update to the list of articles.

[cuihtlauac]

Makes a lot of sense. Which library would you recommend?

[Octachron]

There might be less libraries that handle bibtex that I thought. I had my own library in mind when I wrote the message, and there is bibtex2html which can handle transforming bibtex to html, but that would probably require to use that generated html as a data file. Both options could work but I am not sure which one would be lighter for ocaml.org .