对用于 Linux 的 Rust 的实证研究:成功、不满与妥协

主要观点:列举了多篇关于不同编程语言相关研究的论文,包括 Java、Python、C#、Rust、Multics 等语言在性能、安全、内存模型等方面的研究。
关键信息:

  • 涉及 Java 的有 Stephen M Blackburn 等人的“Oil and water? high performance garbage collection in java with mmtk”。
  • Python 方面有 Mohamed Ismail 和 G Edward Suh 的“Quantitative overhead analysis for python”。
  • C# 相关的是 Thuan Quang Huynh 和 Abhik Roychoudhury 的“A memory model sensitive checker for c#”。
  • Rust 相关的有 Ralf Jung 等人的“Rustbelt: Securing the foundations of the rust programming language”以及 Yuchen Zhang 等人的“Towards understanding the runtime performance of rust”。
  • Multics 方面是 Paul A Karger 和 Roger R Schell 的“Multics security evaluation: Vulnerability analysis”。
    重要细节:这些论文分别在不同的会议和期刊上发表,如 26th International Conference on Software Engineering、ACM SIGOPS 28th Symposium on Operating Systems Principles、International Symposium on Formal Methods、2018 IEEE International Symposium on Workload Characterization (IISWC)、Proc. ACM Program. Lang.、International Conference on Computer Aided Verification、14th ACM International Conference on Systems and Storage、Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering 等。
阅读 15
0 条评论