Bibliografia

Esta es una lista de lectura de material relevante a Rust. Incluye investigación previa que ha - en un momento u otro - influenciado el diseño de Rust, así como publicaciones relacionadas directamente con Rust.

Sistema de tipos

• Region based memory management in Cyclone
• Safe manual memory management in Cyclone
• Typeclasses: making ad-hoc polymorphism less ad hoc
• Macros that work together
• Traits: composable units of behavior
• Alias burying - Intentamos algo similar, luego lo abandonamos
• External uniqueness is unique enough
• Uniqueness and Reference Immutability for Safe Parallelism
• Region Based Memory Management

Concurrencia

• Singularity: rethinking the software stack
• Language support for fast and reliable message passing in singularity OS
• Scheduling multithreaded computations by work stealing
• Thread scheduling for multiprogramming multiprocessors
• The data locality of work stealing
• Dynamic circular work stealing deque - El deque Chase/Lev
• Work-first and help-first scheduling policies for async-finish task parallelism - Mas general que robo de trabajo completamente estricto
• A Java fork/join calamity - critica de la biblioteca fork/join de Java, particularmente su aplicación de robo de trabajo a computación no estricta
• Scheduling techniques for concurrent systems
• Contention aware scheduling
• Balanced work stealing for time-sharing multicores
• Three layer cake for shared-memory programming
• Non-blocking steal-half work queues
• Reagents: expressing and composing fine-grained concurrency
• Algorithms for scalable synchronization of shared-memory multiprocessors
• Epoch-based reclamation.

Otros

• Crash-only software
• Composing High-Performance Memory Allocators
• Reconsidering Custom Memory Allocation

Papers acerca de Rust

• GPU Programming in Rust: Implementing High Level Abstractions in a Systems Level Language. Trabajo temprano en GPU por Eric Holk.
• Parallel closures: a new twist on an old idea
  • no exactamente acerca de Rust, pero por nmatsakis
• Patina: A Formalization of the Rust Programming Language. Formalización temprana de un subconjunto del sistema de tipos, por Eric Reed.
• Experience Report: Developing the Servo Web Browser Engine using Rust. Por Lars Bergstrom.
• Implementing a Generic Radix Trie in Rust. Paper pre-grado por Michael Sproul.
• Reenix: Implementing a Unix-Like Operating System in Rust. Paper pre-grado por Alex Light.
• Evaluation of performance and productivity metrics of potential programming languages in the HPC environment. Tesis pre-grado por lorian Wilkens. Compara C, Go y Rust.
• Nom, a byte oriented, streaming, zero copy, parser combinators library in Rust. Por Geoffroy Couprie, investigación para VLC.
• Graph-Based Higher-Order Intermediate Representation. Una RI implementada en impala, un lenguaje similar a Rust.
• Code Refinement of Stencil Codes. Otro paper usando Impala.
• Parallelization in Rust with fork-join and friends. Tesis de master de Linus Farnstrand's.
• Session Types for Rust. Tesis de master de Philip Munksgaard's. Investigacion para Servo.
• Ownership is Theft: Experiences Building an Embedded OS in Rust - Amit Levy, et. al.
• You can't spell trust without Rust. Tesis de master de Alexis Beingessner.