fix links
This commit is contained in:
parent
5919642a09
commit
6e25a3d0d3
|
|
@ -61,7 +61,7 @@ Rust, as well as publications about Rust.
|
||||||
* [Reenix: Implementing a Unix-Like Operating System in
|
* [Reenix: Implementing a Unix-Like Operating System in
|
||||||
Rust](http://scialex.github.io/reenix.pdf). Undergrad paper by Alex
|
Rust](http://scialex.github.io/reenix.pdf). Undergrad paper by Alex
|
||||||
Light.
|
Light.
|
||||||
* [Evaluation of performance and productivity metrics of potential programming languages in the HPC environment](http://octarineparrot.com/assets/mrfloya-thesis-ba.pdf).
|
* [Evaluation of performance and productivity metrics of potential programming languages in the HPC environment](https://github.com/1wilkens/thesis-ba).
|
||||||
Bachelor's thesis by Florian Wilkens. Compares C, Go and Rust.
|
Bachelor's thesis by Florian Wilkens. Compares C, Go and Rust.
|
||||||
* [Nom, a byte oriented, streaming, zero copy, parser combinators library
|
* [Nom, a byte oriented, streaming, zero copy, parser combinators library
|
||||||
in Rust](http://spw15.langsec.org/papers/couprie-nom.pdf). By
|
in Rust](http://spw15.langsec.org/papers/couprie-nom.pdf). By
|
||||||
|
|
@ -81,7 +81,7 @@ Rust, as well as publications about Rust.
|
||||||
* [Ownership is Theft: Experiences Building an Embedded OS in Rust - Amit Levy, et. al.](http://amitlevy.com/papers/tock-plos2015.pdf)
|
* [Ownership is Theft: Experiences Building an Embedded OS in Rust - Amit Levy, et. al.](http://amitlevy.com/papers/tock-plos2015.pdf)
|
||||||
* [You can't spell trust without Rust](https://raw.githubusercontent.com/Gankro/thesis/master/thesis.pdf). Alexis Beingessner's master's thesis.
|
* [You can't spell trust without Rust](https://raw.githubusercontent.com/Gankro/thesis/master/thesis.pdf). Alexis Beingessner's master's thesis.
|
||||||
* [Rust-Bio: a fast and safe bioinformatics library](http://bioinformatics.oxfordjournals.org/content/early/2015/10/06/bioinformatics.btv573). Johannes Köster
|
* [Rust-Bio: a fast and safe bioinformatics library](http://bioinformatics.oxfordjournals.org/content/early/2015/10/06/bioinformatics.btv573). Johannes Köster
|
||||||
* [Safe, Correct, and Fast Low-Level Networking](https://octarineparrot.com/assets/msci_paper.pdf). Robert Clipsham's master's thesis.
|
* [Safe, Correct, and Fast Low-Level Networking](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.704.1768). Robert Clipsham's master's thesis.
|
||||||
* [Formalizing Rust traits](http://hdl.handle.net/2429/55609). Jonatan Milewski's master's thesis.
|
* [Formalizing Rust traits](http://hdl.handle.net/2429/55609). Jonatan Milewski's master's thesis.
|
||||||
* [Rust as a Language for High Performance GC Implementation](http://users.cecs.anu.edu.au/~steveb/downloads/pdf/rust-ismm-2016.pdf)
|
* [Rust as a Language for High Performance GC Implementation](http://users.cecs.anu.edu.au/~steveb/downloads/pdf/rust-ismm-2016.pdf)
|
||||||
* [Simple Verification of Rust Programs via Functional Purification](https://github.com/Kha/electrolysis). Sebastian Ullrich's master's thesis.
|
* [Simple Verification of Rust Programs via Functional Purification](https://github.com/Kha/electrolysis). Sebastian Ullrich's master's thesis.
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue