Computer Science & Maths | ZPF.SITE

LeetCode 刷题技巧总结 - C++篇

记录一下常用的 LeetCode 刷题技巧（C++篇）。

LeetCode 刷题技巧总结 - JAVA篇

记录一下常用的 LeetCode 刷题技巧（JAVA篇）。

#LeetCode #JAVA

SQL 刷题技巧总结

记录一下常用的 SQL 操作。

#SQL

Understanding and Detecting Real-World Safety Issues in Rust 阅读

#Paper #Staitc Analysis

Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs 阅读

#Paper #Staitc Analysis #PLDI #PLDI'20

MirChecker: Detecting Bugs in Rust Programs via Static Analysis 阅读

本文主要从以下2点来进行错误的检测：

利用 Rust 编译器在编译时为无法检查的安全条件自动生成的断言，以其为验证条件，检查例如越界访问和整数溢出等问题。
Unsafe code 破坏所有权系统，导致悬空指针、共享可变别名等问题。

#Paper #Symbolic Execution #Staitc Analysis #CCS #CCS'21

Rust生命周期常见误区

#Rust

Caladan: Mitigating Interference at Microsecond Timescales 阅读

#OSDI #Paper #OSDI'20

Semeru: A Memory-Disaggregated Managed Runtime 阅读

#OSDI #Paper #OSDI'20

C++ 中的优化技巧——虚函数anchor()

#LLVM #Clang #C++

12 3 4

海

内

存

知

己

天

涯

若

比

邻

朋友

诚

宇

申请友链

账号

github

联系

jtzhpf@126.com

访客

本站总访问量次 | 本站访客数人

ZPF.SITE | 由 Hexo 及致远驱动