rust-inspired-research.md

Rust-inspired research and papers

• https://www.pm.inf.ethz.ch/research/prusti.html

  • Prusti - Separation logic-based proofs, from ETH Zurich

• https://arxiv.org/abs/2011.09012

  • RustViz: Interactively visualizeng ownership

• https://arxiv.org/abs/2011.06171

  • Usability of Ownership

• https://arxiv.org/abs/2007.00752

  • Is Rust Used Safely by Software developers

• https://arxiv.org/abs/2003.03296

  • Memory-safety challenge considered solved

• https://arxiv.org/abs/1904.12210

  • A practical analysis of Rust's concurrency story

• https://arxiv.org/abs/1904.06750

  • A grounded approach to programming language education

• https://cacm.acm.org/magazines/2021/4/251364-safe-systems-programming-in-rust/fulltext

• https://cseweb.ucsd.edu/~yiying/RustStudy-PLDI20.pdf

• https://plv.mpi-sws.org/rustbelt/stacked-borrows/

• oxide paper - https://arxiv.org/pdf/1903.00982.pdf

  • Mezzo and Alms
  • two-phase borrows

• https://arxiv.org/abs/1901.01001

  • Identifying barries to adoption for Rust through online discourse

• https://arxiv.org/abs/1805.05576

  • Borrowing safe pointers from rust in spark

• https://forge.rust-lang.org/bibliography.html

• http://getreu.net/public/downloads/doc/forensic-tool-development-with-rust/Forensic-Tool%20Development%20with%20Rust.html

• https://arxiv.org/abs/1702.02951 - astrophysics

• https://users.rust-lang.org/t/thesis-simple-verification-of-rust-programs-via-functional-purification/9704

• https://www.reddit.com/r/rust/comments/5xgtfg/algebraic_subtyping_pdf_thesis_by_stephen_dolan/

• Structure and Influence of Package dependency networks

  • http://kodu.ut.ee/~riivokik/pubs/msr2017dependency.pdf

• https://arxiv.org/abs/1804.10806

  • KRust, formal semantics

• https://arxiv.org/abs/1804.07608

  • executable ownership semantics

• "Retrofitting Linear Types" - Haskell paper references Rust

• http://pldi17.sigplan.org/event/pldi-2017-papers-simple-fast-and-safe-manual-memory-management

• https://research.vmware.com/publications/system-programming-in-rust-beyond-safety

  • https://users.rust-lang.org/t/paper-system-programming-in-rust-beyond-safety/10631

• jesperson - session types for rust

• http://spw17.langsec.org/papers/chifflier-parsing-in-2017.pdf

• https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf

• Crust: A Bounded Verifier for Rust (N)

  • https://doi.org/10.1109/ASE.2015.77

• Fearless Concurrency? Understanding Concurrent Programming Safety inReal-World Rust Software

  • https://arxiv.org/pdf/1902.01906.pdf

• Energy Efficiency Across Programming Languages

  • https://greenlab.di.uminho.pt/wp-content/uploads/2017/09/paperSLE.pdf

• see also https://rustc-dev-guide.rust-lang.org/appendix/bibliography.html