Idées d'articles

[laurenthuberdeau]

Une liste d'articles que je veux peut-être présenter un jour, mais qui peuvent être choisis par d'autres si désiré.

• Soutei, a Logic-Based Trust-Management System, Andrew Pimlott, Oleg Kiselyov: https://okmij.org/ftp/papers/Soutei.pdf Description: Utilisation d'un système de programmation logique pour déterminer l'accès à des resources dans un système distribué.
• Purely Functional Data Structures, Chris Okasaki: https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.3080&rep=rep1&type=pdf Description: Thèse de Chris Okasaki, qui décrit comment faire de l'analyse de complexité d'algorithmes dans un langage fonctionnel/paresseux. Compilation d'un grand nombre d'algorithmes fonctionnels utiles. Note: Le document fait 162 pages, on en ferait donc une lecture partielle.
• Bounding Data Races in Space and Time, Stephen Dolan, KC Sivaramakrishnan, Anil Madhavapeddy: https://anil.recoil.org/papers/2018-pldi-memorymodel.pdf Description: Modèle de mémoire partagée donnant certains garantie intéressante. Utilisé dans OCaml.
• Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself, Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka: https://dl.acm.org/doi/10.1145/3498700
• Let-floating: moving bindings to give faster programs, Will Partain, André Santos, Simon Peyton Jones: https://dl.acm.org/doi/10.1145/232627.232630

[belmarca]

Ah, on peut mettre des suggestions d'articles ici et les gens peuvent piger si besoin.